Теорія доведення
З Вікіпедії, безкоштовно encyclopedia
Теорія доведення (доказів)— розділ математичної логіки, який представляє докази у вигляді формальних математичних об'єктів, здійснюючи їх аналіз за допомогою математичних методів. Докази, як правило, представлені у вигляді індуктивно визначеної структур даних, таких як списки і дерева, створених відповідно до аксіом і правил виводу формальних систем. Таким чином, теорія доказів є синтаксичною, на відміну від семантичної теорії моделей.