Цитата:
Здесь работает теорема Курта Геделя: Существуют формальные системы истинность или ложность которых неопределима в рамках самой этой системы. необходимы системы более высокого порядка.
|
:В рамках рассматриваемой формальной системы существует как минимум 2 утверждения, истинность или ложность которых не возможно ни докозать, ни опровергнуть. Доказать их истинность или ложность можно только с позиции ситемы более выского порядка.
Так думаю немного поточнее.
Сергей,
Не обижайтесь на мои слова Выше. Я не хотел задеть Ваше самолюбие, а всего лишь помочь. Больше не буду.