nLab stable equality

Contents

Context

Equality and Equivalence

Foundations

foundations

The basis of it all

 Set theory

set theory

Foundational axioms

foundational axioms

Removing axioms

Contents

Definition

In constructive mathematics, a set XX has stable equality if any two elements of XX are equal if (hence iff) they are not not equal.

Examples

See also

References

Last revised on November 28, 2023 at 03:09:42. See the history of this page for a list of all contributions to it.