Логика предикатов как формальная аксиоматическая теория

Рассказ о логике предикатов первого порядка как формальной аксиоматической теории, включающей в себя свой синтаксис (алфавит и правила построений формул и термов), логику (аксиомы и правила логического вывода) и семантику (14 января 2023 г.).