875 名前： are in H_aleph_0”、 ”the class of sets representing the natural numbers, i.e it includes each element in the standard model of natural numbers.” となるわけだ ４．上記3のNは、一階述語論理では示せない。表現力弱いから（レーヴェンハイム-スコーレムの定理） ５．「natural numbers Nが出来ている」と言いたい。そのために、「無限公理を置いた」ってことね（細かい技術的な話があるが省く） ６．つまり、自然数の集合Nの元∀n達は、後者suc(a)=a∪{a}で尽くせると、考えて良い。というか、そう考えるべきなのだ で、1,2,3,・・n・・(→∞) が、数直線の上に並んで、ずっと無限に続く 一方で、y=1/xで、逆数を作ると、1,1/2,1/3,・・1/n・・→0 に写せる 1,1/2,1/3,・・1/n・・ 達は、全て有限で、列全体の長さは可算無限、つまり自然数Nの元を並べた列と同じ長さになる （ここで、逆数を使ったのは、https://encyclopediaofmath.org/wiki/Ordinal_number Ordinal number の記述を参考にした。有理数Ｑの稠密性を使う議論は分かり易いね）
