История логики, формальная аксиоматическая система, логика и исчисление предикатов, эрбановская интерпретация.