Выберите верные утверждения.
Исчисление высказываний – разрешимая формальная аксиоматическая теория.
Исчисление высказываний имеет язык первого порядка.
Исчисление высказываний – полная формальная аксиоматическая теория.