Axiom of non-choice
id:
axiom-of-non-choice-179-7184796
title:
Axiom of non-choice
text:
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 y is already granted to be unique for each x. The principle is important but as an axiom it is of interest merely for theories that have weak comprehension and the capability to encode functions. This is the case, for example, in some weak constructive set theo
brand slug:
wiki
category slug:
encyclopedia
description:
Axiom of set theory
original url:
https://en.wikipedia.org/wiki/Axiom_of_non-choice
date created:
2016-12-24T07:07:48Z
date modified:
2024-09-05T10:11:46Z
main entity:
{"identifier":"Q28456649","url":"https://www.wikidata.org/entity/Q28456649"}
image:
fields total:
13
integrity:
15