No label defined (Q4714461)
From MaRDI portal
scientific article; zbMATH DE number 941487
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 941487 |
Statements
4 November 1996
0 references
order relations
0 references
Quine's New Foundations
0 references
intermediate level textbook
0 references
history of set theory
0 references
paradoxes of naive set theory
0 references
first order logic
0 references
Zermelo-Fraenkel axioms
0 references
cardinal arithmetic
0 references
ZFC
0 references
Peano axioms
0 references
natural numbers
0 references
rational numbers
0 references
real numbers
0 references
ordinal numbers
0 references
transfinite recursion
0 references
axiom of choice
0 references
constructible sets
0 references
forcing
0 references
constructible universe
0 references
Cohen's forcing
0 references
continuum hypothesis
0 references
Shoenfield unramified forcing
0 references
independence
0 references
Bernays-von Neumann axioms
0 references
Kelly-Morse axioms
0 references
Gödel's incompleteness theorem
0 references