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

Axiomatic set theory

Axiomatic set theory Axiom of choice Continuum hypothesis Gödel incompleteness theorem Gödel constructive set Antinomy Infinity, axiom of Forcing method Types, theory of Formalized language Mathematical logic Logico-mathematical calculus Atom Class ZFC Assertion Antinomy

citescited by

Canonical sources

Axiomatic set theoryencyclopedia_of_mathematics

Classification

No taxonomy classification is available yet.

References

Axiom of choice Continuum hypothesis Gödel incompleteness theorem Gödel constructive set Antinomy Infinity, axiom of Forcing method Types, theory of

Referenced by

Formalized language Mathematical logic Logico-mathematical calculus Atom Class ZFC Assertion Antinomy

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.