My main server is named Postulate (an idea that you assume for the sake of argument), my desktop is named Axiom (a proved postulate), and my backup server is named Corollary (an idea that follows from an axiom).
having read all these other comments, i'm now feeling like i should come up with a more creative naming scheme... for what it's worth, my phone is named bob.