"Reasonable" set theories (like ZF) include Mostowski's
Collapsing Theorem: any well-ordered set is isomorphic to
a von Neumann ordinal. In really screwy theories (e.g. NFU --
New Foundations with Urelemente) this theorem is false.