История изменений
Исправление www_linux_org_ru, (текущая версия) :
Тогда такую формальную систему можно смело выкидывать.
прикол в том, что нет
я как-то походил по ссылкам из ссылок, которые 
jtootf давал кажется прямо на лоре, и нашел интересный вариант: системы с противоречиями, но при этом вывести все что угодно нельзя — т.е. те выводы, которые как-то можно проверить (экспериментально? не помню) остаются верными (т.е. там противоречий не возникает)
попробуй походи по ссылкам из http://en.wikipedia.org/wiki/Universe_(mathematics)
Исходная версия www_linux_org_ru, :
Тогда такую формальную систему можно смело выкидывать.
прикол в том, что нет
я как-то походил по ссылкам из ссылок, которые jtootf давал кажется прямо на лоре, и нашел интересный вариант: системы с противоречиями, но при этом вывести все что угодно нельзя — т.е. те выводы, которые как-то можно проверить (экспериментально? не помню) остаются верными
попробуй походи по ссылкам из http://en.wikipedia.org/wiki/Universe_(mathematics)