Axiom of non-choice
Statement
The axiom of non-choice, also called axiom of unique choice, axiom of function choice or function comprehension principle is a function existence postulate. The difference to the axiom of choice is that in the antecedent, the existence of is already granted to be unique for each .
Further reading
- Wikipedia, page 52675596, revision 1244150011, Axiom of non-choice. adopted
About this page
| Tag | E7VCDWARPB |
|---|---|
| URI | m2://E7VCDWARPB |
| Aliases | axiom-of-unique-choice |
| Kind | statement, proposition |
| Writing | W0 stub |
| Status | This copy of the site has no build data. Run m2 status E7VCDWARPB. |
| Same as | |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- edge uses out: each definition that the statement needs (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.