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).
Lazarus: My desktop PC that randomly died one day and would only work again after literally every component was replaced.
Akamas: My Fairphone 4, named after the son of Theseus, which was my Fairphone 3.
I mean, yeah, given how I replaced everything. However, my Fairphone 3 (which, in case you don't know, is designed to have all components replacable) was already Theseus at that time, so I went for the 'resurrection' theme instead