Near Matches
Ignore Exact
Everything
2
Gödel-Bernays set theory
Axiom of Continuum
diagonal argument
ZFC
Gödel
countable
GB
Log in
or
register
to write something here or to contact authors.