Theorems in the foundations of mathematics

Satz von Bourbaki-Witt In der Mathematik, das Bourbaki-Witt-Theorem in der Ordnungstheorie, named after…

Cut-elimination theorem The cut-elimination theorem (or Gentzen's Hauptsatz) is the central result…

Paris–Harrington theorem In mathematical logic, the Paris–Harrington theorem states that a certain…

Kategoriale Theorie (Redirected from Morley's categoricity theorem) Jump to navigation Jump to…

Rice–Shapiro theorem In computability theory, the Rice–Shapiro theorem is a generalization of…

Kanamori–McAloon theorem In mathematical logic, the Kanamori–McAloon theorem, due to Kanamori &…

Craig's theorem In mathematical logic, Craig's theorem states that any recursively enumerable…