Related terms:
tarski
zermelo
axioms
hilbert
proof
logic
dedekind
kronecker
axiomatic
countable
intuitionism
weierstrass
david hilbert
van heijenoort
intuitionistic
mathematicians
continuum hypothesis
mathematical logic
incompleteness theorem
principia mathematica
Wikipedia sources:
Law of excluded middle
Georg Cantor
David Hilbert
Mathematical logic
Philosophy of mathematics
Dutch colonization of the Americas
Context for words:
brouwer
|
|