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