部分的な定義
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/01 07:39 UTC 版)
基数が「巨大基数的性質」を持つための必要条件の一つは、そのような基数の存在がZFCと矛盾することが知られておらず、かつ、ZFC の無矛盾性を仮定した場合に ZFC + 「そのような基数は存在しない」という主張が無矛盾であることである。
※この「部分的な定義」の解説は、「巨大基数」の解説の一部です。
「部分的な定義」を含む「巨大基数」の記事については、「巨大基数」の概要を参照ください。
- 部分的な定義のページへのリンク