About: http://dbpedia.org/resource/Category:Formal_theories_of

Property	Value
rdf:type	skos:Concept
rdfs:label	Formal theories of arithmetic
skos:broader	dbpedia:Category:Arithmetic dbpedia:Category:Formal_systems dbpedia:Category:Theories_of_deduction dbpedia:Category:Mathematical_logic
skos:prefLabel	Formal theories of arithmetic
is skos:subject of	dbpedia:Undecidable_problem dbpedia:Peano_axioms dbpedia:Presburger_arithmetic dbpedia:Robinson_arithmetic dbpedia:Non-standard_arithmetic dbpedia:Second-order_arithmetic dbpedia:Set-theoretic_definition_of_natural_numbers dbpedia:Typographical_Number_Theory

About: http://dbpedia.org/resource/Category:Formal_theories_of_arithmetic