Я имею в виду, что полученная система может оказаться эквивалентом более простой. Получается как бы смыкание двух ветвей этого дерева. А раз дерево анизотропное, то обратная операция будет нетривиальной.

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

(Reply to this) (Parent)