|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 対 : [つい] 【名詞】 1. pair 2. couple 3. set ・ 公 : [こう] 1. (n,suf) prince 2. lord 3. duke 4. public 5. daimyo 6. companion 7. subordinate ・ 公理 : [こうり] 【名詞】 1. axiom 2. maxim 3. self-evident truth ・ 理 : [り] 【名詞】 1. reason
対の公理(ついのこうり、axiom of pairing)は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合(対、pair)が存在することを主張するものである。 == 定義 == 任意の二つの元x,yに対し、xとyのみを要素とする集合zが存在する。すなわち、 : あるいは、より弱い主張である : が公理として採用される場合もある。 こちらは、zがxとyを含むことのみしか要請しないが、置換公理(あるいはもっと弱く分出公理)のもとで上の定義と同等になる。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「対の公理」の詳細全文を読む スポンサード リンク
|