Ключевые компоненты:
1) Алфавит (язык теории) - набор символов: переменные, константы, логические связки (¬, ∧, ∨, →), кванторы (∀, ∃).
2) Аксиомы - исходные утверждения, принимаемые без доказательства.
3) Правила вывода - механизмы получения новых теорем из аксиом.
4) Теоремы - утверждения, логически выведенные из аксиом.
5) Семантика - придание смысла символам (например, истинностные значения: «истина», «ложь»).