Axiomatization is what one does last, it's rubbish. It's the hygiene of mathematics, axiomatization.
Serge Lang (2012). “The Beauty of Doing Mathematics: Three Public Dialogues”, p.19, Springer Science & Business Media