「外延性公理」を解説文に含む見出し語の検索結果(1～10/25件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/27 01:10 UTC 版)「ラッセルのパラドックス」の記事における「矛盾の解消」の解説ラッセルの時代には何をもって...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/03 23:44 UTC 版)「ツェルメロ＝フレンケル集合論」の記事における「パラドックスの回避」の解説ツェルメロが ...
ラッセルのパラドックス（英: Russell's paradox）とは、素朴集合論において、自身を要素として持たない集合全体からなる集合の存在を認めると矛盾が導かれるというパラドックス。バート...
ラッセルのパラドックス（英: Russell's paradox）とは、素朴集合論において、自身を要素として持たない集合全体からなる集合の存在を認めると矛盾が導かれるというパラドックス。バート...
ラッセルのパラドックス（英: Russell's paradox）とは、素朴集合論において、自身を要素として持たない集合全体からなる集合の存在を認めると矛盾が導かれるというパラドックス。バート...
数学の集合論において、集合Sが順序数定義可能（じゅんじょすうていぎかのう、英: ordinal definable）であるとは、非形式的には、有限個の順序数によって一階述語論理式による定義を用...
数学の集合論において、集合Sが順序数定義可能（じゅんじょすうていぎかのう、英: ordinal definable）であるとは、非形式的には、有限個の順序数によって一階述語論理式による定義を用...
数学における冪集合公理（べきしゅうごうこうり、英: axiom of power set）とは、公理的集合論のツェルメロ＝フレンケルの公理系の一つである。ツェルメロ＝フレンケルの公理系の形式言...
数学における冪集合公理（べきしゅうごうこうり、英: axiom of power set）とは、公理的集合論のツェルメロ＝フレンケルの公理系の一つである。ツェルメロ＝フレンケルの公理系の形式言...
選択公理（せんたくこうり、英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があった...
< 前の結果 | 次の結果 >