Axiom:Axiom of Extension/Also known as

Axiom of Extension: Also known as
The axiom of extension is also known as the axiom of extensionality.