知識は永遠の輝き

学問全般について語ります

ある組織-6a-現実のモノの集まり

2010-10-31 06:31:19 | 数学基礎論/論理学
現実のモノの集まりは有限な自然数の集合と1対1に対応します。 . . . 本文を読む
コメント

ある組織-6-置換公理

2010-10-17 06:31:19 | 数学基礎論/論理学
規則8は置換公理と呼ばれています。 . . . 本文を読む
コメント

ある組織-5-内包公理

2010-10-11 06:31:19 | 数学基礎論/論理学
組織Vの規則は残り3つです。規則7は内包公理とも呼ばれます。 . . . 本文を読む
コメント

ある組織-4a-己自身の主人たれ?

2010-10-06 06:31:19 | 数学基礎論/論理学
自身を要素とする集合とはいかなるものでしょうか。自身の上司である員か、容器自身を中に入れた容器か。 . . . 本文を読む
コメント

ある組織-4-現実のモノの集まりはZF公理系のモデルではない

2010-10-04 06:31:19 | 数学基礎論/論理学
現実のモノの集まりは公理的集合論でのZF公理系のモデルではありません。 . . . 本文を読む
コメント