ZFC系統無法確定的命題列表
ZFC 系統無法確定的命題列表乃一數學命題列表。在 ZFC 系統（ZF 公理加上選擇公理，公理化集合論之典範）被假設為相容的前提下，以下的數學命題被證明了與 ZFC 系統彼此獨立。與 ZFC 獨立（有時稱為在 ZFC 中不能確定）乃指該命題不能從 ZFC 的公理出發而被證明或證否。