LINUX.ORG.RU

История изменений

Исправление cvs-255, (текущая версия) :

Тогда бы ты знал, что для существования математической конструкции достаточно ее непротиворечивости.

Геометрия евклида с точками и прямыми непротиворечива и существует как математическая конструкция.

Исходная версия cvs-255, :

Тогда бы ты знал, что для существования математической конструкции достаточно ее непротиворечивости самой себе.