:: NUMERALS semantic presentation

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