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