---
tag: E7VCDWARPB
kind: statement
role: proposition
name: Axiom of non-choice
aliases: [axiom-of-unique-choice]
sources:
  - wikipedia: en:52675596@r1244150011
    locator: Axiom of non-choice
    note: adopted
    mention: wikipedia://en/52675596
    sections: [Statement]
same_as:
  wikidata: Q28456649
  wikipedia: Axiom of non-choice
inventory: [WC8CHCVVRD]
---

## 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|0HTGB13FE2]] is that in the antecedent, the existence of $y$ is already granted to be unique for each $x$.