:: NUMERALS semantic presentation

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