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 interpretation

Mathematics / Foundations and Logic / Axioms / Peano Arithmetic

Gödel interpretation Church lambda-abstraction Peano axioms Heyting formal system Constructive logic Formal mathematical analysis

citescited by

Canonical sources

Gödel interpretationencyclopedia_of_mathematics Gödel interpretationencyclopedia_of_mathematics

Classification

Peano ArithmeticMathematics / Foundations and Logic / Axioms / Peano Arithmetic

References

Church lambda-abstraction Peano axioms

Referenced by

Heyting formal system Constructive logic Formal mathematical analysis

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.