例えば

全ての空でない自然数の部分集合には最小元が存在する。

も "常識" で切って捨てたら、もはや数学とは呼べない気はするな。
少なくともペアノの公理くらいは見せておくのが筋かもしれない。