40

40

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

Более 800 000 книг и аудиокниг! 📚

Получи 2 месяца Литрес Подписки в подарок и наслаждайся неограниченным чтением

ПОЛУЧИТЬ ПОДАРОК