そもそも、1を始まりとするペアノ算術も普通に作れるんだから、
数学的帰納法の初期元が0である必然性はまったくないんだよ

分かったらもう寝ろ、馬鹿w