>>225
ぜんぜんワカラン。珍説だ。ペアノがa の　successorと言ったときは、0,1,…,a-1
の自然数の存在を仮定した上のことだ。