じゃあ自然数を1,2,・・・と定義したらどうか？
そのときP(1)=「√2は有理数である」が偽。すなわち数学的帰納法の前件は偽だから「後件∀n(P(n))は真」は帰結されない。