ZFC系统无法确定的命题列表维基媒体列表条目 / 维基百科,自由的 encyclopedia ZFC系统无法确定的命题列表乃一数学命题列表。在ZFC系统(ZF公理加上选择公理,公理化集合论之典范)被假设为相容的前提下,以下的数学命题被证明了与ZFC系统彼此独立。与ZFC独立(有时称为在ZFC中不能确定)乃指该命题不能从ZFC的公理出发而被证明或证否。 此条目中有过多未翻译的专业术语,可能需要翻译或解释。
ZFC系统无法确定的命题列表乃一数学命题列表。在ZFC系统(ZF公理加上选择公理,公理化集合论之典范)被假设为相容的前提下,以下的数学命题被证明了与ZFC系统彼此独立。与ZFC独立(有时称为在ZFC中不能确定)乃指该命题不能从ZFC的公理出发而被证明或证否。 此条目中有过多未翻译的专业术语,可能需要翻译或解释。