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