40 40 Упомянутая процедура заключается во вложении системы ZF в систему Гёделя—Бернайса; см. [56], глава 2.