「カントールの対角線論法」を解説文に含む見出し語の検索結果(11~20/269件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/23 09:52 UTC 版)「冪集合」の記事における「冪集合の濃度」の解説S の部分集合 A とその指示関数 ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/14 09:56 UTC 版)「小数」の記事における「進んだ注意」の解説殆どの場合に異なる無限小数表示は異なる実数を与...
和集合の公理(わしゅうごうのこうり、axiom of union)は、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものである。対の公理と合わせるこ...
和集合の公理(わしゅうごうのこうり、axiom of union)は、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものである。対の公理と合わせるこ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/10 16:14 UTC 版)「シミュレーション仮説」の記事における「CantGoTu(カントール-ゲーデル-チューリ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/03 05:45 UTC 版)「可算集合」の記事における「例と性質」の解説無限集合においては、その真部分集合と濃度が等...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/01/08 15:15 UTC 版)「μ再帰関数」の記事における「決定可能性の問題」の解説ここである疑問が生じる。ここで説明...
外延性の公理(がいえんせいのこうり、英: axiom of extensionality)は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...
外延性の公理(がいえんせいのこうり、英: axiom of extensionality)は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...
外延性の公理(がいえんせいのこうり、英: axiom of extensionality)は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...