nLab Category — foundational axiom

Overview

The nLab has 37 pages in this category.

Pages

• (classical) axiom of multiple choice
• almost open subspace
• axiom of choice
• axiom of extensionality
• axiom of foundation
• axiom of full comprehension
• axiom of infinity
• axiom of materialization
• axiom of multiple choice
• axiom of pairing
• axiom of replacement
• axiom of separation
• axiom of union
• cartesian product
• choice operator
• countable choice
• dependent choice
• disjoint union
• empty set
• excluded middle
• function set
• Grothendieck universe
• Markov's principle
• Mostowski's collapsing lemma
• n-types cover
• perfect space
• power set
• presentation axiom
• quotient set
• regular extension axiom
• small cardinality selection axiom
• small violations of choice
• subset collection
• transitive set
• Vopěnka's principle
• Whitehead theorem
• WISC