ZFC系統無法確定的命題列表維基媒體列表條目 / 維基百科,自由的 encyclopedia ZFC系統無法確定的命題列表乃一數學命題列表。在ZFC系統(ZF公理加上選擇公理,公理化集合論之典範)被假設為相容的前提下,以下的數學命題被證明了與ZFC系統彼此獨立。與ZFC獨立(有時稱為在ZFC中不能確定)乃指該命題不能從ZFC的公理出發而被證明或證否。 此條目中有過多未翻譯的專業術語,可能需要翻譯或解釋。
ZFC系統無法確定的命題列表乃一數學命題列表。在ZFC系統(ZF公理加上選擇公理,公理化集合論之典範)被假設為相容的前提下,以下的數學命題被證明了與ZFC系統彼此獨立。與ZFC獨立(有時稱為在ZFC中不能確定)乃指該命題不能從ZFC的公理出發而被證明或證否。 此條目中有過多未翻譯的專業術語,可能需要翻譯或解釋。