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

Мат. formalized metalogic

Источник: Полный русско-английский словарь на Gufo.me