What about the complex numbers, from the way all the theorems of complex analysis fit together so well.
Also: NGB set theory (I mean the formal object Th NBG, not the general informal topic): finitely axiomatizable through an intricate argument, and proves just about everything in mathematics.
