3 ms·

And as is demonstrated by this article, arguing about axioms is a very useful way of doing math exposition :)