Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
List of theorems
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
==Logics and foundations== *[[Ax–Grothendieck theorem]] (''[[model theory]]'') *[[Barwise compactness theorem]] (''[[mathematical logic]]'') *[[Borel determinacy theorem]] (''[[set theory]]'') *[[Büchi-Elgot-Trakhtenbrot theorem]] (''[[mathematical logic]]'') *[[Cantor–Bernstein–Schröder theorem]] (''[[set theory]]'', ''[[cardinal number]]s'') *[[Cantor's theorem]] (''[[set theory]]'', ''[[Cantor's diagonal argument]]'') *[[Church–Rosser theorem]] (''[[lambda calculus]]'') *[[Compactness theorem]] (''[[mathematical logic]]'') *[[Conservativity theorem]] (''[[mathematical logic]]'') *[[Craig's theorem]] (''[[mathematical logic]]'') *[[Craig's interpolation theorem]] (''[[mathematical logic]]'') *[[Cut-elimination theorem]] (''[[proof theory]]'') *[[Deduction theorem]] (''[[logic]]'') *[[Diaconescu's theorem]] (''[[mathematical logic]]'') *[[Easton's theorem]] (''[[set theory]]'') *[[Erdős–Dushnik–Miller theorem]] (''[[set theory]]'') *[[Erdős–Rado theorem]] (''[[set theory]]'') *[[Feferman–Vaught theorem]] (''[[model theory]]'') *[[Friedberg–Muchnik theorem]] (''[[mathematical logic]]'') *[[Fundamental theorem of equivalence relations]] (''[[set theory]]'') *[[Double-negation translation#Propositional logic|Glivenko's theorem]] (''[[mathematical logic]]'') *[[Gödel's completeness theorem]] (''[[mathematical logic]]'') *[[Gödel's incompleteness theorem]] (''[[mathematical logic]]'') *[[Goodstein's theorem]] (''[[mathematical logic]]'') *[[Herbrand's theorem]] (''[[logic]]'') *[[Independence of the axiom of choice]] (''[[mathematical logic]]'') *[[Continuum hypothesis#Independence from ZFC|Independence of the continuum hypothesis]] (''[[mathematical logic]]'') *[[Kanamori–McAloon theorem]] (''[[mathematical logic]]'') *[[Kirby–Paris theorem]] (''[[proof theory]]'') *[[Kleene's recursion theorem]] (''[[recursion theory]]'') *[[König's theorem (set theory)|König's theorem]] (''[[set theory]], [[mathematical logic]]'') *[[Lindström's theorem]] (''[[mathematical logic]]'') *[[Löb's theorem]] (''[[mathematical logic]]'') *[[Łoś' theorem]] (''[[model theory]]'') *[[Löwenheim–Skolem theorem]] (''[[mathematical logic]]'') *[[Matiyasevich's theorem]] (''[[mathematical logic]]'') *[[Morley's categoricity theorem]] (''[[model theory]]'') *[[Paris–Harrington theorem]] (''[[mathematical logic]]'') *[[Post's theorem]] (''[[mathematical logic]]'') *[[Richardson's theorem]] (''[[mathematical logic]]'') *[[Robinson's joint consistency theorem]] (''[[mathematical logic]]'') *[[Sahlqvist correspondence theorem]] (''[[modal logic]]'') *[[Soundness theorem]] (''[[mathematical logic]]'') *[[Tarski's indefinability theorem]] (''[[mathematical logic]]'') *[[Tennenbaum's theorem]] (''[[model theory]]'') *[[Cardinality of the continuum#Uncountability|Uncountability of the continuum]] (''[[set theory]]'') *[[Well-ordering theorem]] (''[[mathematical logic]]'') *[[Wilkie's theorem]] (''[[model theory]]'') *[[Zorn's lemma]] (''[[set theory]]'')
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)