Menu
home
members
web interface
examples
Burali-Forti paradox
Group Theory
Landau
tutorial
formal mathematics seminar
downloads
internship
Enviroments
Arrows
Relations
Symbols
% Try this example or insert your own text. Axiom. There is no $y$ such that $y \in \emptyset$. Define $x$ to be transitive if and only if for all $u$, $v$, if $u \in v$ and $v \in x$ then $u\in x$. Define $x$ to be an ordinal if and only if $x$ is transitive and for all $y$, if $y \in x$ then $y$ is transitive. Then $\emptyset$ is an ordinal.