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
| |
dbo:wikiPageLength
|
- 25986 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
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
| |
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
| |
dct:subject
| |
rdfs:label
|
- Peano-aritmetika (hu)
- Peano-aritmetika (hu)
|
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is foaf:primaryTopic
of | |