０は自然数か？ [無断転載禁止]©2ch.net

[0794 １３２人目の素数さん 2019/02/03(日) 20:30:36.13 ID:u0l5MpOe]

>>793
ん？ >>783 で言ってる構文論的完全性ってのは >>781 の命題に関しては別に関係ないって事なの？

ペアノを満たせばそれは、最大限がなくて、最小限があって、稠密関係を満たさないような線形順序集合であるっての。