ZFC系統無法確定的命題列表

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