Here is a list of articles in the category Mathematical axioms of the Computing portal that unifies foundations of mathematics and computations using computers.
This category has only the following subcategory.
- ► Axioms of set theory (1 C, 31 P)
Pages in category "Mathematical axioms"
The following 22 pages are in this category, out of 22 total.
- Axiom (computing)
- Axiom of countability (computing)
- Blum axioms (computing)
- Cantor–Dedekind axiom (computing)
- Eilenberg–Steenrod axioms (computing)
- Gluing axiom (computing)
- Huzita–Hatori axioms (computing)
- Kuratowski closure axioms (computing)
- Mereotopology (computing)
- Relation algebra (computing)
- Whitehead's point-free geometry (computing)