>>102
>”ペアノの公理に反している”?

ええ、
{1,・・・,m}はmが
「2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する
(suc(a) は a + 1 の "意味")。」
に反してます (m+1が含まれてない)

で、上記の集合にm+1を追加しても今度はm+2が含まれていないのでやはり
「2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する
(suc(a) は a + 1 の "意味")。」
に反してます

>因みに、mは任意の自然数(正整数)ですよ

いかなるmであっても、{1,・・・,m}にはm+1が含まれません
小学生でもわかることですが、サルのスレ主には
どうしても理解できないようですね? 白痴?