完全性定理 на русском wánquán xìng dìnglǐ Значения Примеры использования В начале слов Сегментирование сущ. мат. теорема полноты ; теорема о полноте + Добавить перевод