User:FB100Z/Nonrecursive ordinals