:: NUMERALS semantic presentation

:: Showing IDV graph ... (Click the Palm Trees again to close it)

theorem :: NUMERALS:1

:: Showing IDV graph ... (Click the Palm Tree again to close it)

0 is Element of NAT by ORDINAL2:19, SUBSET_1:def 2;