19/01/14 17:45:54.21 4a+lb34j.net
>>112
>1,･･･,m}はmが
>に反してます (m+1が含まれてない)
だから、それ有限モデルで反例を”一つ,”追加すれば良いだけですよ
{1,･･･,m,m+1}にすればね
>で、上記の集合にm+1を追加しても今度はm+2が含まれていないのでやはり
>「2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する
>（suc(a) は a + 1 の "意味"）。」
え？
{1,･･･,m,m+1,m+2}にすればいいだけしょ？
言っている意味がわからない（＾＾；