del ett axiom att , der grundlagen kommer i strid med enannan