Article NUMERALS, MML version 4.99.1005
::
NUMERALS:th 1
theorem
{}
is
Element
of
omega
;