синтаксическая полнота

Мат. syntactic completeness