text: В аксиоматических системах типа Гёделя — Бернайса позволяется образование терма { x ∣ P } {\displaystyle \{x\mid P\}} для произвольных P {\displaystyle P} , но с оговоркой, что он может оказаться не множеством, а классом.