а | [а] | гласный, безударный |
к | [к] | согласный, глухой парный, твердый парный |
с | [с'] | согласный, глухой парный, мягкий парный |
и | [и] | гласный, безударный |
о | [́о] | гласный, ударный |
м | [м] | согласный, звонкий непарный (сонорный), твердый парный |
Попробуем с помощью системы аксиом Логикологии определить, что есть Истина, сущность Истины, где система аксиом: 45 что + 72 есть + 72 Истина = 202 будет
Аксиом, я прибыл из
нет вообще, т.е. что арифметическая система аксиом -не полна.
Эта минимальная система аксиом обладает важными и интересными свойствами.
На самом деле построить геометрию из аксиом и постулатов Эвклида (а равно из аксиом Гильберта) НЕВОЗМОЖНО.
А из разных систем аксиом уж точно получатся разные выводы.
Может ли объединение этих аксиом в систему быть корректным
Вопрос чисто риторический...
В противном случае данная группа аксиом оказывается несовместной.
Даже если у нас бесконечное количество аксиом. Поэтому Гёдель начинает с аксиом и доказывает, что аксиомы есть.
Отсюда вывод: третий постулат Евклида исключён из аксиом Гильберта и не влияет на формирование последующих аксиом и постулатов.
В математике справедлива теорема Гёделя о неполноте:
любая система аксиом арифметики либо является противоречивой, либо содержит утверждения, которые
Но количество этих аксиом весьма невелико, и врятли мы с их помощью сможем ответить на вечные и весьма серьезные вопросы.
Мой оппонент начал с того что восприятие нашей жизни основывается и отталкивается от абстрактных аксиом являющихся как бы данными нам изначально.
-- В природе не существует аксиом, кроме аксиом нравственных.
-- Поиск нравственных идеалов присущ только людям безнравственным. Так что Ж.
Затем формулирование либо аксиом, либо менее формализованных исходных посылок принимаемых без дедуктивного вывода - доказательства.
Одна из причин ложного обоснования теорий -- выбор не адекватного уровня обобщения для допущений(аксиом) на которых она основывается.
Поэтому конечное число аксиом -- в любой противоречивой теории. А значит, аксиомы ошибочны. Но мы ведь взяли верные аксиомы!
Нет ничего занудливее аксиом, если пытаешься их сформулировать и изложить. Нет ничего привлекательнее аксиом, когда они становятся тобою.
Из аксиом квантовой механики и квантовой электродинамики не проверена эксприментально ни одна.
"Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы.