Математика как иностранный. A2-1. Исчисление предикатов.

Обсуждаем термо- и формулостроение в формальных теориях с определенной сигнатурой. Определяем отношение выводимости на формулах, приводим теорему о дедукции.