Ett erkändt axiom ärdet