E
а в классической геометрии <=1
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 November 23
E
вы в трех соснах путаетесь ))
E
пример конкретнее некуда. геометрити взял, чтобы было содержательно
[
Они могут взаимосуществовать, но мы не можем добавить ≥1 в теорию, где есть ≤1 без ломания теории
E
мы получим другую теорию
E
другую геометрию, тоже непротиворечивую
[
Но эти аксиомы редуцируются до =1
E
лобачевского на вас нет. более 150 лет прошло, а воз и ныне там
[
У нас не остаётся оригинальной ≤1
[
Т.е. это замена аксиомы на более конкретную
E
акиома это просто универсальное утверждение
E
пусть одна утвреждает не более одного, а вторая не менее одного. мы вольны сделать так
s
Погоди, но в классической геометрии не только лишь прямые или пересекаются или нет.
[
У нас получается конкретизация аксиомы для создания теории-сабсета родительской
s
А кроме того, *существует* прямая, не пересекающая данную.
E
но проективная геометрия это не просто сабсет классической, она содержательно другая
s
Это уже совсем другое дело, которое противоречит тому, что любые две прямые пересекаются.
E
там вообще больше аксиом. и прямые должны быть различные