>>829
「点」と「直線」と「角」の代わりに「椅子」と「テーブル」と「ビールジョッキ」
と書き換えたとしても、それらの間に成立する関係が規定されていれば同じモデル
が構築される。それぞれの術語がどんなものであるかということは構築されるモデル
にとってはどうでもいい情報だから個々の術語は定義しない。個々の術語の意味を
定義しないからと言って、それぞれの概念は公理系によってきちんと定義されている
ので、それを混同してはいけない。

＞公理系を定めて集合論を展開すると、公理の数が足りないために、
＞やはり集合を定義できないと聞いた。
コレは間違い。公理的に「集合」が構築されていく結果、ラッセルの
逆理に現れるものは集合よりも巨大な類であるというだけのこと。
公理的集合論においては集合はきちんと定義されている。そして、
厳密に言えば素朴集合論では集合はきちんと定義されていない。