About: True arithmetic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

The set of all true first-order statements about the arithmetic of natural numbers

Property	Value
dbo:description	the set of all true first-order statements about the arithmetic of natural numbers (en)
dbo:wikiPageWikiLink	dbr:Peano_axioms dbr:Signature_(logic) dbr:Arithmetic dbr:First-order_logic dbc:Formal_theories_of_arithmetic dbr:Analytical_hierarchy dbr:Sentence_(mathematical_logic) dbr:Arithmetical_hierarchy dbr:Post's_theorem dbr:Annals_of_Mathematics dbr:Tarski's_undefinability_theorem dbr:Intended_interpretation dbr:Structure_(mathematical_logic) dbr:Alfred_Tarski dbc:Model_theory dbr:Mathematical_logic dbr:Turing_degree dbr:Partial_order dbr:Complete_theory dbr:Second-order_arithmetic dbr:Natural_number dbr:Type_(model_theory) dbr:Domain_of_discourse dbr:Cardinality_of_the_continuum dbr:Stable_theory dbr:Theory_(mathematical_logic) dbr:Peano_arithmetic dbr:Elementarily_equivalent dbr:Recursively_enumerable_set dbr:Decidable_set dbr:Recursively_enumerable_Turing_degree dbr:Gödel_number dbr:Nonstandard_arithmetic
dbp:title	Arithmetic (en) Peano Arithmetic (en) Tarski's Theorem (en)
dbp:urlname	Arithmetic (en) PeanoArithmetic (en) TarskisTheorem (en)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Citation dbt:MathWorld dbt:Harvtxt dbt:Short_description
dct:subject	dbc:Formal_theories_of_arithmetic dbc:Model_theory
gold:hypernym	dbr:Set
rdfs:label	True arithmetic (en) Arithmétique vraie (fr) 真の算術 (ja)
owl:sameAs	freebase:True arithmetic yago-res:True arithmetic wikidata:True arithmetic dbpedia-fr:True arithmetic dbpedia-ja:True arithmetic dbpedia-global:True arithmetic
prov:wasDerivedFrom	wikipedia-en:True_arithmetic?oldid=1223144157&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:True_arithmetic
is dbo:wikiPageRedirects of	dbr:Complete_arithmetic
is dbo:wikiPageWikiLink of	dbr:Löwenheim–Skolem_theorem dbr:Gödel's_incompleteness_theorems dbr:Turing_degree dbr:Second-order_arithmetic dbr:Skolem_arithmetic_(disambiguation) dbr:Theory_(mathematical_logic) dbr:Complete_arithmetic
is foaf:primaryTopic of	wikipedia-en:True_arithmetic