「カントールの対角線論法」を解説文に含む見出し語の検索結果(21~30/269件中)
対の公理(ついのこうり、axiom of pairing)は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合(対、pair)が存在することを主張するものである。
対の公理(ついのこうり、axiom of pairing)は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合(対、pair)が存在することを主張するものである。
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/03/20 10:14 UTC 版)「原始再帰関数」の記事における「限界」の解説原始再帰関数は、計算可能関数とはどのようなも...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "可算集合" – ニュース ...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "可算集合" – ニュース ...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "可算集合" – ニュース ...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "可算集合" – ニュース ...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "可算集合" – ニュース ...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "可算集合" – ニュース ...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "可算集合" – ニュース ...