Mathematical logic Metatheorems Theorems in the foundations of mathematics
Mathematical logic Mathematical logic stubs Theorems in the foundations of mathematics
Lindström's theorem
Mathematical logic
Axiom of choice Cardinal numbers Mathematical logic
König's theorem (set theory)
Mathematical logic Model theory Theorems in the foundations of mathematics
Categorical theory
Barwise compactness theorem
Barwise compactness theorem In mathematical logic, the Barwise compactness theorem, named after…
Ver teorema Mathematical logic Metatheorems Philosophy of logic
Tarski's undefinability theorem
Tarski's undefinability theorem (Redirected from Tarski's indefinability theorem) Jump to navigation Jump…
Ver teorema Mathematical logic Metatheorems Model theory
Compactness theorem
Compactness theorem In mathematical logic, the compactness theorem states that a set…
Ver teorema Mathematical logic Model theory Nonstandard analysis
Ultraproduct
Ultraproduct (Redirected from Łoś' theorem) Jump to navigation Jump to search The…
Ver teorema Mathematical logic Modal logic Theorems in the foundations of mathematics
Löb's theorem
Löb's theorem In mathematical logic, Löb's theorem states that in Peano arithmetic…
Ver teorema Mathematical logic Order theory Theorems in discrete mathematics
Kruskal's tree theorem
Kruskal's tree theorem In mathematics, Kruskal's tree theorem states that the set…
Ver teorema Mathematical logic Model theory Theorems in the foundations of mathematics
Gödel's incompleteness theorems
Gödel's incompleteness theorems (Redirected from Gödel's incompleteness theorem) Jump to navigation Jump…
Ver teorema