Source-linked topology

Mathematics knowledge graph

Explore mathematical concepts through their taxonomy and citation relationships. Uintell stores graph metadata and canonical links, not a copied corpus.

8658concepts

10281sources

45444citations

Concept topology

Gödel completeness theorem

Mathematics / History, Language, and Terminology / Terminology / Pure Mathematics

Gödel completeness theorem Gentzen formal system Predicate calculus Equational logic Categorical logic General validity Mathematical logic Skolem paradox Consistency Recursive model theory

citescited by

Canonical sources

Gödel completeness theoremencyclopedia_of_mathematics Gödel completeness theoremencyclopedia_of_mathematics Gödel completeness theoremencyclopedia_of_mathematics Gödel completeness theoremencyclopedia_of_mathematics Gödel completeness theoremencyclopedia_of_mathematics

Classification

Pure MathematicsMathematics / History, Language, and Terminology / Terminology / Pure Mathematics

References

Gentzen formal system

Referenced by

Predicate calculus Equational logic Categorical logic General validity Mathematical logic Skolem paradox Consistency Recursive model theory

Source records retain attribution and canonical links. The public graph does not reproduce article bodies. See the Encyclopedia of Mathematics licensing notice before republishing source text.