自然数を素朴に信用したら駄目なんだよ
少なくとも有限集合を定義する際にはな、気を抜くと循環定義に陥るから