ZFC系统无法确定的命题列表 编辑
ZFC系统无法确定的命题列表乃一数学命题列表。在策梅洛-弗兰克尔集合论系统被假设为一致性的前提下，以下的数学命题被证明了与ZFC系统彼此独立。与ZFC独立乃指该命题不能从ZFC的公理出发而被证明或证否。
1