#axiom-free