Axiom:Axiom of Extension/Also known as

From ProofWiki
Jump to navigation Jump to search

Axiom of Extension: Also known as

The axiom of extension is also known as:

the axiom of extensionality
the axiom of extent.