正則性公理(せいそくせいこうり、英: axiom of regularity)は、別名「基礎の公理」(きそのこうり、英: axiom of foundation) とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。

Property Value
dbo:abstract
  • 正則性公理(せいそくせいこうり、英: axiom of regularity)は、別名「基礎の公理」(きそのこうり、英: axiom of foundation) とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。 (ja)
  • 正則性公理(せいそくせいこうり、英: axiom of regularity)は、別名「基礎の公理」(きそのこうり、英: axiom of foundation) とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2774652 (xsd:integer)
dbo:wikiPageLength
  • 4952 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 91828218 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:title
  • Axiom of Foundation (ja)
  • Axiom of Foundation (ja)
prop-ja:urlname
  • AxiomofFoundation (ja)
  • AxiomofFoundation (ja)
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 正則性公理(せいそくせいこうり、英: axiom of regularity)は、別名「基礎の公理」(きそのこうり、英: axiom of foundation) とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。 (ja)
  • 正則性公理(せいそくせいこうり、英: axiom of regularity)は、別名「基礎の公理」(きそのこうり、英: axiom of foundation) とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。 (ja)
rdfs:label
  • 正則性公理 (ja)
  • 正則性公理 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of