ZFCにおけるパラドックスの解決
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/14 07:51 UTC 版)
「ブラリ＝フォルティのパラドックス」の記事における「ZFCにおけるパラドックスの解決」の解説
現代的な公理的集合論においては、無制限な包括原理、つまり「性質 P {\displaystyle P} を満たす全てのものの集合」というような集合の構成を単純に禁止することでこの矛盾を回避している。例えばゴットロープ・フレーゲの公理系ではこれはまだ禁止されていなかった。なお、NFでは異なった解決法が採られている。
※この「ZFCにおけるパラドックスの解決」の解説は、「ブラリ＝フォルティのパラドックス」の解説の一部です。
「ZFCにおけるパラドックスの解決」を含む「ブラリ＝フォルティのパラドックス」の記事については、「ブラリ＝フォルティのパラドックス」の概要を参照ください。
ウィキペディア小見出し辞書の「ZFCにおけるパラドックスの解決」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- ZFCにおけるパラドックスの解決のページへのリンク
