「カントールの対角線論法」を解説文に含む見出し語の検索結果(151～160/269件中)
.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...
数学において、従属選択公理(英語: axiom of dependent choice; DCと略される)とは、選択公理(AC)の弱い形で、しかし実解析の大部分を行うのに十分な公理である。これ...
数学において、集合が有限（ゆうげん、英語: finite）であるとは、自然数 n を用いて {1, 2, ..., n} という形にあらわされる集合との間に全単射...
数学において、集合が有限（ゆうげん、英語: finite）であるとは、自然数 n を用いて {1, 2, ..., n} という形にあらわされる集合との間に全単射...
正則性公理（せいそくせいこうり、英: axiom of regularity）は、別名「基礎の公理」（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理...
正則性公理（せいそくせいこうり、英: axiom of regularity）は、別名「基礎の公理」（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理...
正則性公理（せいそくせいこうり、英: axiom of regularity）は、別名「基礎の公理」（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理...
正則性公理（せいそくせいこうり、英: axiom of regularity）は、別名「基礎の公理」（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理...
決定性公理（けっていせいこうり、英: axiom of determinacy、AD と略される）とは、1962年にミシェルスキー（英語版）、ユゴー・スタインハウス（英語版）によって提案された...