text: Он содержит 0 {\displaystyle 0} , числовые переменные, символы ( = , + , ⋅ , ′ {\displaystyle =,+,\cdot ,'} ) и логические связки ( & , ← , ∀ , ∃ , ∨ , e {\displaystyle \And ,\leftarrow ,\forall ,\exists ,\lor ,{\mathcal {e}}} ), постулатами являются постулаты предикатов исчисления.