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

Formal mathematical analysis

Mathematics / Analysis / General Analysis / Real Analysis

Formal mathematical analysis Formalization method Gödel incompleteness theorem Intuitionism Constructive mathematics Bar induction Arithmetic, formal Gödel interpretation Formal system Gödel incompleteness theorem

citescited by

Canonical sources

Formal mathematical analysisencyclopedia_of_mathematics

Classification

Real AnalysisMathematics / Analysis / General Analysis / Real Analysis

References

Formalization method Gödel incompleteness theorem Intuitionism Constructive mathematics Bar induction Arithmetic, formal Gödel interpretation

Referenced by

Formal system Gödel incompleteness theorem

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.