0227132人目の素数さん垢版 | 大砲2019/12/05(木) 11:17:46.74ID:fxoUDmL1 例えば 全ての空でない自然数の部分集合には最小元が存在する。 も "常識" で切って捨てたら、もはや数学とは呼べない気はするな。 少なくともペアノの公理くらいは見せておくのが筋かもしれない。