ограниченная полнота

Мат. bounded completeness