Axiomatization is what one does last, it's rubbish. It's the hygiene of mathematics, axiomatization.
or simply: