19/01/19 12:15:55.05 Pl9ydUsa.net
>>659
詳しい事は分からないけどペアノで本来自然数が持ってるべき性質をペアノの公理じゃ記述仕切れてないって話なのかな？
zfcだとそれが記述仕切れてると。
それならzfcがどうとか以前にペアノの公理の方に問題があるって事にならない？
俺の主張としてはzfcを使うより本質を表した公理を使いたいって事だからペアノが自然数の本質を表しきれてないならペアノを改良した公理を用いればzfcはいらないしその傾いてしまうってのも解決できるよね？zfcがなくても