:: NUMERALS semantic presentation
begin
theorem
:: NUMERALS:1
{}
: ( ( ) ( )
set
) is ( ( ) ( )
Element
of
omega
: ( ( ) ( )
set
) ) ;