Axiomatic (and non-axiomatic) mathematics