数学的帰納法の再定義まで。