Противоречивость СС

Из теорем о неполноте, которые австрийский математик Курт Гёдель доказал ещё в 1930 году, следуют принципиальные ограничения формальной арифметики и, как следствие, всякой формальной системы, к числу которых относится, в частности, судебная система.

Согласно одной из этих теорем, в непротиворечивой формальной систем существует невыводимая и неопровержимая формула. Согласно другой – в такой системе невыводима формула, содержательно утверждающая непротиворечивость этой системы.



Таким образом, судебная система не может не быть противоречивой и её невозможно определить, пользуясь исключительно терминами этой системы. Сказанное касается, в частности, науки, дать научное определение которой в принципе невозможно.

Заметим, что теоремы о неполноте Курта Гёделя применимы везде: математика, слава Богу, пока ещё находится вне юрисдикции российской СС.