40 We use cookies. Read the Privacy and Cookie Policy I accept 40 Упомянутая процедура заключается во вложении системы ZF в систему Гёделя—Бернайса; см. [56], глава 2.