Axiom:Axiom of Extension/Also known as

: Also known as
The  is also known as:
 * the 
 * the .