исчисление предикатов с равенством Значения Примеры использования В начале слов сущ. мат. 带恒等式的谓词演算 dài héngděngshì de wèicí yǎnsuàn + Добавить перевод