Обсуждение:Формальная система

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску


Утверждается: "После выяснения противоречивости теория, как правило, не имеет дальнейшего ни теоретического, ни практического применения" "Как правило", насколько понимаю, означает в большинстве случаев, но не всегда. Интересно было бы узнать примеры противоречивых теорий, которые имеют теоретическое применение и которые имеют практическое применение. 93.157.190.194 23:13, 29 января 2010 (UTC)[ответить]

Да, очень интересно.
да и вообще в Определении желательно бы привести неск. примеров предмета статьи. Tpyvvikky 13:43, 13 марта 2011 (UTC)[ответить]

В статье говорится следующее: "формальная арифметика и все теории, содержащие ее, в том числе теория действительных чисел, являются неполными". А что, их непротиворечивость уже установлена?--193.124.221.88 01:51, 6 мая 2011 (UTC)[ответить]

Теории первого порядка

[править код]

Неплохо бы определить "теории первого порядка" прежде чем делать о них выводы. МетаСкептик12 15:31, 20 августа 2015 (UTC)[ответить]

Переадресации с "аксиоматического метода" и "аксиоматической теории"

[править код]

Их следует убрать. Аксиоматический метод и аксиоматические теории существовали до появления формальных теорий, это не одно и то же. И должна быть отдельная статья про аксиоматические теории. Eozhik (обс.) 13:58, 12 октября 2019 (UTC)[ответить]