20/08/09 11:19:34.53 QmjvhqAQ.net
>>142
つづき
URLﾘﾝｸ(ja.wikipedia.org)
自然数
(抜粋)
集合論においては、自然数は
物の個数を数える基数のうちで有限のものであると考えることもできる
物の並べ方を示す順序数のうちで有限のものであると考えることもできる。
自然数と同様に整数の全体も可算無限集合である。
（補足）
URLﾘﾝｸ(www.cs-study.com)
形式的論理体系の定義から
レーベンハイム・スコーレムの定理までの大急ぎのまとめ by Akihiko Koga 27th Mar. 2020 (Update)
(抜粋)
まず，公理という用語から定義する．その体系で選ばれた論理式を公理という． 公理は有限個でも無限個でも構わない．ただし，どんな体系を作るにしても，論理的体系を 成立させるために，最初から選ばれている公理がある．例えば，P→P などである．
（ダウンワード）レーベンハイム・スコーレムの定理成立の本質
当然のことながら証明は厳密にしなければならないのだが，レーベンハイム・スコーレムの 定理が成り立つ本質的な理由は，
有限，あるいは可算無限個の関数記号や述語記号から 作り出すことができる要素の総体は可算無限個である
ことによる．
(引用終り)
以上