при чем тут непротиворечивость, аксиомы, теоремы?! это понятия, придуманные математиками для своих игр, с помощью которых они ничего похожего на окружающий мир описать не могут. бросают 2 шарика и радуются в своем узком кругу, что шарики летят примерно по коническим сечениям (для 3х шариков понадобились усилия многих поколений математиков и Сам Иван Ганди, думаю, решения этой задачи не знает:). физики и инженеры, близкие к математикам, научились умело загрязнять окружающий мир, других побед за ними не числится... противоречивые йоги достигают гораздо лучших и приятных результатов, не обращаясь ко всем этим игрушкам... так что не надо быть высокомерным, дорогой экс-математик...