40

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

Заберите 20% скидку на все книги Литрес с нашим промокодом