Related terms:
hilbert
brouwer
axioms
tarski
dedekind
david hilbert
s axioms
analytic geometry
incompleteness theorem
constructions
mathematik
least upper bound
intuitionism
euclidean geometry
supremum
proof by contradiction
all real numbers
proof theory
logika
zermelo
foundations of mathematics
diagonal argument
compass and straightedge
georg cantor
computability theory
continuum hypothesis
parallel postulate
modal logic
carl friedrich gauss
countable
Wikipedia sources:
Geometry
0.999...
Mathematics
Mathematical logic
Euclidean geometry
Modal logic
Real number
David Hilbert
Category theory
Computational complexity theory
Mathematical proof
Certainty
History of geometry
Georg Cantor
Context for words:
axiomatic
|
|