本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は(ZFCが無矛盾であれば)ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。

Property Value
dbo:abstract
  • 本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は(ZFCが無矛盾であれば)ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。 (ja)
  • 本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は(ZFCが無矛盾であれば)ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。 (ja)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 3315837 (xsd:integer)
dbo:wikiPageLength
  • 3721 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 91197599 (xsd:integer)
dbo:wikiPageWikiLink
prop-en:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は(ZFCが無矛盾であれば)ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。 (ja)
  • 本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は(ZFCが無矛盾であれば)ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。 (ja)
rdfs:label
  • ZFCから独立な命題の一覧 (ja)
  • ZFCから独立な命題の一覧 (ja)
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of