:: NUMERALS  semantic presentation begin  
theorem :: NUMERALS:1 (Bool (Set   ($#k1_xboole_0 :::"{}"::: )  ) "is"    ($#m1_subset_1 :::"Element"::: )   "of" (Set   ($#k4_ordinal1 :::"omega"::: )  )) ;