翻訳と辞書
Words near each other
・ 外巻きの
・ 外巻込
・ 外師両立維管束
・ 外師包囲維管束
・ 外師管状中心柱
・ 外師複並立維管束
・ 外幌
・ 外庭
・ 外廓
・ 外延
外延性の公理
・ 外延性公理
・ 外延量
・ 外廷
・ 外弁
・ 外弁法
・ 外弓状線維
・ 外張り断熱
・ 外張り断熱工法
・ 外弾――


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

外延性の公理 : ミニ英和和英辞書
外延性の公理[がいえんせいのこうり]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [そと, ほか, げ, がい]
 【名詞】 1. other place 2. the rest 
外延 : [がいえん]
 【名詞】 1. extension 2. denotation
: [こう]
  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 extensionality)は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものである。
== 定義 ==
''A'', ''B''を任意の集合とするとき、もし任意の集合''X''について「''X''がAの要素であるならば、そのときに限りXはBの要素である」が成り立つならば、AとBは等しい。すなわち、
:\forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \Rightarrow A = B)

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「外延性の公理」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.