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).
Albatross and Nautilus. Not really sure why, just like the sound of the words and the nautical theme. I still have 2 or 3 laying around unnamed because I haven't thought of any good words that fit the theme