Finite orderings have order types which are natural numbers:
The type of
The type of the linear ordering which has all even natural numbers followed by all odd natural numbers is
We avoid the Burali-Forti paradox by not letting the ordinals have an ordinal type.
Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.
Copyright © 2014 Barry Watson. All rights reserved.