「axiomatic set theory」を解説文に含む見出し語の検索結果(11~20/118件中)
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
集合論において、スコットのトリック(英: Scott's trick)とは真クラス上の同値関係についての同値類の定義を、累積的階層のレベルを参照することによって与える方法である[1...
集合論において、スコットのトリック(英: Scott's trick)とは真クラス上の同値関係についての同値類の定義を、累積的階層のレベルを参照することによって与える方法である[1...
数学において、従属選択公理(英語: axiom of dependent choice; DCと略される)とは、選択公理(AC)の弱い形で、しかし実解析の大部分を行うのに十分な公理である。これ...
代替集合論(だいたいしゅうごうろん)とは、広義には、集合概念に対して代替的なアプローチを採用した集合論をあらわす総称である。具体的には、現在の事実上の標準的集合論といえる、ツェルメロ=フレンケル集合論...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
数学基礎論において、モース-ケリー集合論(MK, 英: Morse-Kelley set theory)、ケリー-モース集合論(KM)、モース-タルスキー集合論(MT)、クワイン-モース集合論...
数学基礎論において、モース-ケリー集合論(MK, 英: Morse-Kelley set theory)、ケリー-モース集合論(KM)、モース-タルスキー集合論(MT)、クワイン-モース集合論...