>>32
それが>>20のことだね。
自然数という概念もまずは定義してから使わないといけないから、数学的帰納法を先に持ってくるわけだけど。