Property Value
dbo:abstract
  • A Peano-aritmetika a természetes számok egy elsőrendű axiómarendszere. Szokásos jelölése: PA. Első, a maitól még kissé eltérő alakját Giuseppe Peano olasz matematikusnak köszönhetjük, aki 1889-ben jegyezte le axiómáit. (hu)
  • A Peano-aritmetika a természetes számok egy elsőrendű axiómarendszere. Szokásos jelölése: PA. Első, a maitól még kissé eltérő alakját Giuseppe Peano olasz matematikusnak köszönhetjük, aki 1889-ben jegyezte le axiómáit. (hu)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 139537 (xsd:integer)
dbo:wikiPageLength
  • 25986 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 22521565 (xsd:integer)
prop-hu:author
  • George Boolos (hu)
  • Petr Hájek, Pavel Pudlák (hu)
  • George Boolos (hu)
  • Petr Hájek, Pavel Pudlák (hu)
prop-hu:isbn
  • 0 (xsd:integer)
prop-hu:location
  • New York (hu)
  • Berlin Heidelberg (hu)
  • New York (hu)
  • Berlin Heidelberg (hu)
prop-hu:publisher
  • Springer-Verlag (hu)
  • Cambridge University Press (hu)
  • Springer-Verlag (hu)
  • Cambridge University Press (hu)
prop-hu:title
  • The Logic of Provability (hu)
  • Metamathematics of First-Order Arithmetic (hu)
  • The Logic of Provability (hu)
  • Metamathematics of First-Order Arithmetic (hu)
prop-hu:wikiPageUsesTemplate
prop-hu:year
  • 1993 (xsd:integer)
dct:subject
rdfs:label
  • Peano-aritmetika (hu)
  • Peano-aritmetika (hu)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is foaf:primaryTopic of