Då ett axiom är , attintet