もう少し正確に書くと

余談だが、ω無矛盾な一階の算術なら量化子を使わずに数学的帰納法は表現できる