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

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
не нужно на этдельного АИ,это содеражание теоремыотмена правки 39220399 участника 178.140.229.28 (обс)
Строка 33:
Формула называется ''теоремой'', если существует вывод, в котором эта формула является последней.
 
Теория, для которой существует эффективный алгоритм, позволяющий узнавать по данной формуле, существует ли ее вывод, называется ''разрешимой''; в противном случае теория называется ''неразрешимойнеразрешемой''.
 
Теория, в которой не все формулы являются теоремами, называется ''абсолютно непротиворечивой''.