This HTML5 document contains 24 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n8https://youproof.hu/kriptografia/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://hu.dbpedia.org/resource/Sablon:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n12http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Peano-aritmetika
rdfs:label
Peano-aritmetika
dct:subject
n12:Matematikai_logika
dbo:wikiPageID
139537
dbo:wikiPageRevisionID
22521565
dbo:wikiPageExternalLink
n8:11-peano-axiomarendszer-termeszetes-szam-muvelet-osszeadas-kommutativitas-asszociativitas-teljes-indukcio n8:12-szorzas-disztributivitas-teljes-indukcio-indirekt-bizonyitas-relacio-teljes-rendezes-rendezett-halmaz
prop-hu:wikiPageUsesTemplate
n7:Jegyzetek n7:Cite_book
prop-hu:author
Petr Hájek, Pavel Pudlák George Boolos
prop-hu:isbn
0
prop-hu:location
New York Berlin Heidelberg
prop-hu:publisher
Cambridge University Press Springer-Verlag
prop-hu:title
Metamathematics of First-Order Arithmetic The Logic of Provability
prop-hu:year
1993
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.
prov:wasDerivedFrom
wikipedia-hu:Peano-aritmetika?oldid=22521565&ns=0
dbo:wikiPageLength
25986
foaf:isPrimaryTopicOf
wikipedia-hu:Peano-aritmetika
Subject Item
dbpedia-hu:Peano-axiómarendszer
dbo:wikiPageRedirects
dbpedia-hu:Peano-aritmetika
Subject Item
wikipedia-hu:Peano-aritmetika
foaf:primaryTopic
dbpedia-hu:Peano-aritmetika