A system of axiomatic set theory—Part I

DOI10.2307/2268862zbMath0019.29403OpenAlexW4246326106WikidataQ55933844 ScholiaQ55933844MaRDI QIDQ5770887

Paul Bernays

Publication date: 1937

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268862

zbMATH Keywords

axiomatic set theory

Mathematics Subject Classification ID

Set theory (03Exx)

Related Items

Inception of Quine's ontology ⋮ Issues in commonsense set theory ⋮ Verallgemeinerte Kontinuumshypothese und Auswahlaxiom ⋮ The GOEDEL program ⋮ Developing arithmetic in set theory without infinity: some historical remarks ⋮ The Empty Set, The Singleton, and the Ordered Pair ⋮ Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen ⋮ A finite approximation to models of set theory ⋮ Elimination of bound variables in logic with an arbitrary quantifier ⋮ Constructive negation and constraint logic programming with sets ⋮ Why Sets? ⋮ Bernays and Set Theory ⋮ An axiomatic set theory ⋮ Axiomatics of set theory without element relation