自然数の定義ってどんなの？
漏れは
for( i = 0; hoge; ++i );
を有限回ループして得られる値iの集合 程度の認識なんだけど。