Система аксиом фон Неймана — Бернайса — Гёделя: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Rsc (обсуждение | вклад) Перевод аналогичной статьи с английской Википедии. |
Rsc (обсуждение | вклад) Нет описания правки |
||
Строка 161:
*Pudlak, P., 1998, "The lengths of proofs" in Buss, S., ed., ''Handbook of Proof Theory''. North-Holland: 547-637.
* [[John von Neumann]], 1925, "An Axiomatization of Set Theory." English translation in [[Jean van Heijenoort]], ed., 1967. ''From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931''. Harvard University Press. 393 - 413
{{DEFAULTSORT:Von Neumann–Bernays–Godel set theory}}
| |||