choose your axioms wisely