формальная система

Русская Википедия - свободная энциклопедияСкачать словарь
Формальная теория
Форма́льная тео́рия — это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства.

Определение:
Формальная теория — это:

  1. множество  символов, образующих алфавит;
  2. множество слов в алфавите , которые называются формулами;
  3. подмножество формул, , которые называются аксиомами;
  4. множество отношений на множестве формул, , которые называются правилами вывода.

Множество символов может быть конечным или бесконечным. Обычно для образования символов используют конечное множество букв, к которым при необходимости, приписываются в качестве индексов целые числа или выражения.


Продолжение на Wikipedia.οrg...


© Текстовое содержимое использует материал из Википедии® и доступно в соответствии с лицензией свободной документации GNU