Robinsonova aritmetika (také Robinsonova aritmetika Q nebo jen aritmetika Q) je jeden z axiomatických systémů formální teorie aritmetiky. Je podstatně slabší než Peanova aritmetika ale na rozdíl od ní je konečně axiomatizovaná. Pojmenována je po americkém matematikovi Raphaelu Mitchelovi Robinsonovi.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Robinsonova aritmetika (také Robinsonova aritmetika Q nebo jen aritmetika Q) je jeden z axiomatických systémů formální teorie aritmetiky. Je podstatně slabší než Peanova aritmetika ale na rozdíl od ní je konečně axiomatizovaná. Pojmenována je po americkém matematikovi Raphaelu Mitchelovi Robinsonovi.
dbpedia-owl:wikiPageID
  • 146897 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3262 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 33 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 9883077 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Robinsonova
  • Robinsonova aritmetika
  • Robinsonovy aritmetiky
  • Robinsonovu aritmetiku
  • Robinsonova aritmetika#Jazyk aritmetiky
dcterms:subject
rdfs:comment
  • Robinsonova aritmetika (také Robinsonova aritmetika Q nebo jen aritmetika Q) je jeden z axiomatických systémů formální teorie aritmetiky. Je podstatně slabší než Peanova aritmetika ale na rozdíl od ní je konečně axiomatizovaná. Pojmenována je po americkém matematikovi Raphaelu Mitchelovi Robinsonovi.
rdfs:label
  • Robinsonova aritmetika
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of