Формальная система: различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
→Непротиворечивость: отмена правки Blue signal flare, было правильно |
Amk1925 (обсуждение | вклад) →См. также: Ссылки на страницы Логика первого порядка Логика высшего порядка. Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим |
||
Строка 89:
'''Примеры формальных систем'''
* [[Исчисление высказываний]]
* [[
** [[Формальная арифметика]]
** [[Аксиоматическая теория множеств]]
** [[Теория групп]]
* [[Логика высшего порядка|Теории высших порядков (Логики высшего порядка)]]
* [[Лямбда-исчисление]]
** [[Лямбда-исчисление с типами]]
| |||