UINTELL
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

Axiom scheme

Mathematics / Foundations and Logic / Axioms / Induction Axiom

Axiom schemeAxiomAutomata, methods of specification ofDouble negation, law ofPropositional calculus(2)Derivation rule
citescited by

Canonical sources

Axiom schemeencyclopedia_of_mathematics

Classification

Induction AxiomMathematics / Foundations and Logic / Axioms / Induction Axiom

References

Axiom

Referenced by

Automata, methods of specification ofDouble negation, law ofPropositional calculus(2)Derivation rule
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.