Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
空集合の公理 (くうしゅうごうのこうり、英: axiom of empty set) は、ツェルメロ=フレンケル集合論やKP集合論の公理の一つで、「いかなる要素も含まない集合が存在する」ことを主張するものである。ただし、この公理を採用しないZF公理系の定式化も存在する。 「ある集合 x が存在して、任意の
ここで P は A の冪集合 P ( A ) {\displaystyle {\mathcal {P}}(A)} を表す。この公理を通常の言葉で言い直すと、次のようになる: 任意の集合 A が与えられたとき、ある集合 P ( A ) {\displaystyle {\mathcal {P}}(A)}
}^{\infty }(m,m+1]} が成り立つ。 集合 X {\displaystyle X} に対して, P ( X ) {\displaystyle {\mathcal {P}}(X)} を X {\displaystyle X} の冪(ベキ)集合とする.全体集合 U を固定し、∪∅ を考えると、定義により
公理的集合論(こうりてきしゅうごうろん、axiomatic set theory)とは、公理化された集合論のことである。 現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理(Axiom of Choice)を加えた ZFC公理系(Zermelo-Fraenkel
(1)いくつかのものを一か所に集めること。 また, 集まること。 聚合。
集合の圏 Set における始対象は空集合(に空写像をその唯一の射と考えたもの)で与えられ、終対象は任意の単集合(で、始域のすべての元をその唯一の元に写す写像を射としたもの)で与えられる。ゆえに集合の圏 Set において零対象は存在しない。 集合の圏 Set は完備かつ余完備である。Set
(1)一般に広く通用する真理・道理。
(1)論理にかなっていて理性でとらえることができること。