<N, S(・), +>は決定可能だから
前提するのがこれだけなら認識論的な仮定はかなり弱い気がする。

だから個人的には、存在論的な仮定も同じくらい弱いような気分はする。
でも認識論的な仮定の弱さから存在論的な仮定も弱いということが
どうやって出て来るんだとか言われたらDummettがやってるような
晦渋な議論をしないといけないんだろうな。