Where do axioms come from?