Формальная система: различия между версиями

== Свойства дедуктивных теорий ==

 

Теория, в которой множество теорем покрывает всё множество формул (все формулы являются теоремами, «истинными высказываниями»), называется ''противоречивой''. В противном случае теория называется ''непротиворечивой''. Выяснение противоречивости теории — одна из важнейших и иногда сложнейших задач формальной логики.

После выяснения противоречивости теория, как правило, не имеет дальнейшего ни теоретического, ни практического применения.