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