Достаточная система аксиом: различия между версиями
Lenskij (обсуждение | вклад) |
Lenskij (обсуждение | вклад) |
||
| Строка 2: | Строка 2: | ||
Теперь, когда понятно, что математика принадлежит одному из видов ума (см. [[Виды ума]]), то минимальное число аксиом чётко <span style="color:blue">совпадёт</span> со <span style="color:blue">свойствами ума</span>. | Теперь, когда понятно, что математика принадлежит одному из видов ума (см. [[Виды ума]]), то минимальное число аксиом чётко <span style="color:blue">совпадёт</span> со <span style="color:blue">свойствами ума</span>. | ||
| − | Например, построения современной математики ставит аксиомы произвольно <span style="color:blue"> | + | Например, построения современной математики ставит аксиомы произвольно <span style="color:blue">вытекающие из уже имеющихся построений двухполярного ума</span> исследователей (математиков). Парадоксально, но сами свойства ума у математиков прошли как само собой разумеющееся и не определены аксиомами. |
Назовём это <span style="color:blue">произвольной системой аксиом.</span> Произвольную систему аксиом можно строить с базиса <span style="color:blue">любого</span> уже имеющегося построения. | Назовём это <span style="color:blue">произвольной системой аксиом.</span> Произвольную систему аксиом можно строить с базиса <span style="color:blue">любого</span> уже имеющегося построения. | ||
Версия 07:07, 13 марта 2009
Абсолютная система аксиом
Теперь, когда понятно, что математика принадлежит одному из видов ума (см. Виды ума), то минимальное число аксиом чётко совпадёт со свойствами ума. Например, построения современной математики ставит аксиомы произвольно вытекающие из уже имеющихся построений двухполярного ума исследователей (математиков). Парадоксально, но сами свойства ума у математиков прошли как само собой разумеющееся и не определены аксиомами.
Назовём это произвольной системой аксиом. Произвольную систему аксиом можно строить с базиса любого уже имеющегося построения.
Так как у всех математиков до нашего времени (и современных тоже) имеется только двухполярный линейный ум, то свойства этого ума проявили себя достаточно, чтобы определить абсолютную систему аксиом.
Аксиома первая
Существуют различающиеся объекты восприятия