Обсуждение:Система аксиом фон Неймана — Бернайса — Гёделя