foundational axiom in nLab

+-- {: .rightHandSide}
+-- {: .toc .clickDown tabindex="0"}
### Context
#### Foundations
+-- {: .hide}
[[!include foundations - contents]]
=--
=--
=--

# Contents
* table of contents
{: toc}

## Idea

A  _foundational axiom_ is an [[axiom]] that would be used in [[foundations]].


## Examples


[[!include foundational axiom - contents]]


[[!redirects foundational axiom]]
[[!redirects foundational axioms]]

[[!redirects fundamental axiom]]
[[!redirects fundamental axioms]]