theorem :: ORDINAL2:4

0 is limit_ordinal by ZFMISC_1:2;