Википедия

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

Интерактивная навигация по истории
(Показать все непатрулированные изменения)
[отпатрулированная версия][отпатрулированная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
→‎Система понятий: Добавлена запятая
Метки: с мобильного устройства из мобильной версии
Строка 120:
 
== Литература ==
* {{cite bookкнига |last=Adámek |first=Jiří |coauthors=Herrlich, Horst, and Strecker, George E |titleзаглавие=Abstract and Concrete Categories (The Joy of Cats) |origyear=1990 |urlссылка=http://katmat.math.uni-bremen.de/acc/ |format=PDF |yearгод=2004 |publisherиздательство=[[John Wiley & Sons|Wiley & Sons]] |locationместо=New York |isbn=0-471-60922-6 |ref=Adámek |язык=en |автор=Adámek, Jiří; Herrlich, Horst, and Strecker, George E.}}
* {{cite bookкнига | author=Bernays, Paul | titleзаглавие=Axiomatic Set Theory | publisherиздательство=[[Dover Publications]] | yearгод=1991 | isbn=0-486-66637-9 |язык=und |автор=Bernays, Paul}}
* Mendelson, Elliott, 1997. ''An Introduction to Mathematical Logic'', 4th ed. London: Chapman & Hall. ISBN 0-412-80830-7. pp. 225–86 contain the classic textbook treatment of NBG, showing how it does what we expect of set theory, by grounding relations, order theory, ordinal numbers, transfinite numbers, etc.
* [[Монтегю, Ричард|Richard Montague]], 1961, Semantic Closure and Non-Finite Axiomatizability I, in ''Infinitistic Methods: Proceedings of the Symposium on Foundations of Mathematics'', (Warsaw, 2—9 September 1959). Pergamon: 45—69.
Источник — https://ru.wikipedia.org/wiki/Система_аксиом_фон_Неймана_—_Бернайса_—_Гёделя