無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。

Property Value
dbo:abstract
  • 無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。 (ja)
  • 無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。 (ja)
dbo:wikiPageID
  • 2499324 (xsd:integer)
dbo:wikiPageLength
  • 5593 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 90773016 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。 (ja)
  • 無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。 (ja)
rdfs:label
  • 無限論理 (ja)
  • 無限論理 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of