Talk:Alternative Definition of Ordinal in Well-Founded Theory

Naming
New day, same problems. This definition only works if one accepts the axiom of foundation. Otherwise things like the set $a = \{ a \}$ end up being ordinals, which we do not want. --Dfeuer (talk) 21:20, 4 April 2013 (UTC)