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