формализованная металогика

Мат. formalized metalogic