Description:_om is the smallest limit ordinal and can be defined as such
(although the Axiom of Infinity is needed to ensure that at least one
limit ordinal exists). Theorem 1.23 of Schloeder p. 4. (Contributed by FL, 22-Feb-2011)(Revised by Mario Carneiro, 2-Feb-2013)