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

Mathematical logic

Mathematics / Foundations and Logic

Mathematical logic Gödel constructive set Axiomatic set theory Gentzen formal system Algebraic system Gödel incompleteness theorem Elementary theory Gödel completeness theorem Axiomatic method Hilbert 2nd problem Equational logic Mathematics Idempotent analysis Immersion operation Algorithms, theory of Proof theory Horn clauses, theory of

citescited by

Canonical sources

Mathematical logicencyclopedia_of_mathematics

Classification

Foundations and LogicMathematics / Foundations and Logic

References

Gödel constructive set Axiomatic set theory Gentzen formal system Algebraic system Gödel incompleteness theorem Elementary theory Gödel completeness theorem Axiomatic method

Referenced by

Hilbert 2nd problem Equational logic Mathematics Idempotent analysis Immersion operation Algorithms, theory of Proof theory Horn clauses, theory of

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.