Category:Choice Principles

From ProofWiki
Jump to navigation Jump to search

This category is for theorems requiring a choice principle weaker than the Axiom of Choice that does not have its own specialized category.