Related articles:
Axiom of choice
David Hilbert
Logic
Model theory
First-order logic
Gottlob Frege
Modal logic
Set theory
Category theory
Mathematical proof
Georg Cantor
Fuzzy logic
Boolean algebra (structure)
Geometry
If and only if
Set (mathematics)
Logic programming
Mathematical induction
Mathematical analysis
Lambda calculus
Alfred North Whitehead
Bertrand Russell
Arithmetic
Alan Turing
Abstract algebra
Algebraic geometry
Semantics
Charles Sanders Peirce
Syllogism
George Boole
Key terms:
axioms
zf
computability
logika
cardinality
kleene
mathematical logic
recursion theory
intuitionistic
proof theory
zermelo
axiomatic
quantifiers
boole
peano
axiom of choice
formal logic
countable
dedekind
subfield
brouwer
tarski
skolem
incompleteness theorem
van heijenoort
axiom system
intuitionistic logic
continuum hypothesis
fraenkel
modal logic
provability
infinitary
consistency proof
transfinite
weierstrass
undecidable
compactness theorem
sufficiently strong
constructive mathematics
intuitionism
david hilbert
reprinted in english translation
computable function
foundational theory
computability theory
principia mathematica
axioms for geometry
logical consequence
algorithmically unsolvable
generalized recursion theory
Search external links cited by footnotes on Wikipedia page Mathematical logic:
|
|