- 134 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/14(月) 17:45:54.21 ID: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}にすればいいだけしょ？
言っている意味がわからない（＾＾；
