Теория (математическая логика)
- Теория — это набор предложений, связанных с определенной областью исследования.
- Теории могут быть дедуктивными, основанными на формальных дедуктивных системах.
- Синтаксически непротиворечивая теория не может быть доказана для каждого предложения на базовом языке.
- Удовлетворительная теория имеет модель, которая удовлетворяет каждому предложению теории.
- Полная непротиворечивая теория содержит либо доказуемое предложение, либо его отрицание.
- Интерпретация теории связывает теорию с предметом исследования через однозначное соответствие между утверждениями.
- Теории первого порядка включают набор предложений на формальном языке первого порядка.
- Существуют различные формальные системы вывода для логики первого порядка.
Полный текст статьи: