blott ett enda axiom , och dettakan