Metatheorems Proof theory Theorems in the foundations of mathematics
Mathematical logic Metatheorems Theorems in the foundations of mathematics
Barwise compactness theorem
Metatheorems
Mathematical logic Metatheorems Philosophy of logic
Tarski's undefinability theorem
Mathematical logic Metatheorems Model theory
Compactness theorem
Courcelle's theorem
Courcelle's theorem In the study of graph algorithms, Courcelle's theorem is the…
Ver teoremaHerbrand's theorem
Herbrand's theorem Not to be confused with Herbrand–Ribet theorem or Herbrand's theorem…
Ver teorema Metatheorems Model theory Theorems in the foundations of mathematics
Gödel's completeness theorem
Gödel's completeness theorem Not to be confused with Gödel's incompleteness theorems. The…
Ver teorema Deductive reasoning Metatheorems Proof theory
Deduction theorem
Deduction theorem In mathematical logic, a deduction theorem is a metatheorem that…
Ver teorema Mathematical logic Metatheorems Model theory
Löwenheim–Skolem theorem
Löwenheim–Skolem theorem In mathematical logic, the Löwenheim–Skolem theorem is a theorem on…
Ver teorema