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

Теория называется ''[[Полная теория|полной]]'', если в ней для любого [[Предложение (логика)|предложения]] (замкнутой формулы) <math>F</math> выводимо либо само <math>F</math>, либо его отрицание <math>\neg F</math>. В противном случае, теория содержит [[недоказуемые утверждения]] (утверждения, которые нельзя ни доказать, ни опровергнуть средствами самой теории), и называется ''неполной''.