>>60-61
どうも
コメントありがとう

＞わかっているなら　mod　nとか馬鹿丸出しの誤りは決して出ない筈ですよ

確かにね。それ書いたときは、
by Akihiko Koga>>44
を十分見ていなかった

>何の「可算無限集合」、何の「有限部分集合」かわかってますか？
>わかってるなら、集合の要素は何か、ズバリ「単語」で答えてください

それ>>18-19のレーヴェンハイム・スコーレム 例と帰結で
・「可算無限集合」：(N, +, ×, 0, 1) の理論（真の一階算術の理論）のN（自然数の集合）
・何の「有限部分集合」：N（自然数の集合）の有限部分集合じゃね？

ところで、ちょっと聞きたいが、
by Akihiko Koga>>44 は、どの程度信頼できると思っているのかな？
Akihiko Koga氏は、大学数学科教員とか、どこかの研究所の数学スペシャリストではないみたい
ソフト会社の社員みたいだから、
大学は数学隣接の情報系か、
あるいは数学科卒からソフト会社へ就職かと推察しているのだが？
（いままで見た範囲では、それなりに正確で、おかしなことは書いていないと見たけど）