☰

исчисление предикатов с равенством

сущ.
мат.
带恒等式的谓词演算 dài héngděngshì de wèicí yǎnsuàn