0994132人目の素数さん垢版 | 大砲2018/02/27(火) 13:24:56.66ID:6QNrQUgr もう少し正確に書くと 余談だが、ω無矛盾な一階の算術なら量化子を使わずに数学的帰納法は表現できる