Цитата:
Сообщение от Sirin
1) Сочли бы. Всех сочли уместными.
2) Тема весьма интересная, не хотите ли написать статью?
|
Разумеется.
Пока я не придумал явных примеров неполноты и противоречивости. Проблема в том, что без таких примеров опять останется лазейку для демагогии.
Поясняют. Неполнота это такое свойство что существует хотя бы одна теорема, которую невозможно доказать. Другими словами существует такая комбинация аксиом, которая ни верна, ни неверна. Теорема это по сути комбинаторика аксиом. Без явного примера всегда существует желание ввести аксиому, которой нет в рассматриваемой аксиоматика. Но для обособленной системы нет иных аксиом. Или иными словами - за рамками системы ничего нет.
Сумбурно?
Вот и требуется придумать пример явный.