Metatheorems Proof theory Theorems in the foundations of mathematics

Mathematical logic Metatheorems Theorems in the foundations of mathematics

Barwise compactness theorem

Mathematical logic Metatheorems Theorems in the foundations of mathematics

Barwise compactness theorem

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 teorema Metatheorems Proof theory Theorems in the foundations of mathematics

Herbrand'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