Википедия

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

Интерактивная навигация по истории
(Показать все непатрулированные изменения)
[отпатрулированная версия][отпатрулированная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
untagged isolated.
м →‎Дискуссии: орфография, replaced: Не смотря на → Несмотря на
Строка 130:
Ознакомиться с философскими и онтологическими вопросами, вызванными NBG, особенно в связи с различиями с ZFC и MK можно в приложении C книги Potter (2004).
 
Не смотряНесмотря на то, что NBG является расширением ZFC, некоторые теоремы могут более просто элегантно доказываться в NBG, чем в ZFC (или наоборот). Для обзора известных результатов в этой области см. Pudlak (1998).
 
=== Теория моделей ===
Источник — https://ru.wikipedia.org/wiki/Система_аксиом_фон_Неймана_—_Бернайса_—_Гёделя