Исправление Nervous, (текущая версия) :
Например, в модели Пуанкаре геометрии Лобачевского прямыми являются полуокружности.
Но у нас-то разговор о геометрии Евклида. Или ты думаешь, что если утверждение ложно в одной системе аксиом, то оно автоматически ложно и в другой? %)
Исходная версия Nervous, :
Например, в модели Пуанкаре геометрии Лобачевского прямыми являются полуокружности.
Но у нас-то разговор о геометрии Евклида. Или ты думаешь, что если утверждение ложно в одной модели, то оно автоматически ложно и в другой? %)