Roots - kipawaa/Proof-Tree GitHub Wiki

What are Roots?

Root articles are those with no dependencies, i.e. the foundations of modern mathematics. This article contains a list of all root articles.

Root Articles

• Axiom of Regularity
• Axiom of Existence
• Empty Set
• Group
• Axiom of Extensionality
• Axiom Schema of Comprehension
• Least Element
• Successor
• Subset
• No Set Contains Itself
• Intersection
• Ordered Pair
• Axiom of Power Set
• Cardinality
• Axiom of Union
• Axiom of Pairing
• Transitive Set