:: NUMERALS semantic presentation
theorem
:: NUMERALS:1
{}
is
Element
of
omega
proof
end;