funnit ett axiom alldeles solklart ochotvifvelaktigt