@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/resource/Category:> .
dbpedia:Undecidable_problem	skos:subject	ns2:Formal_theories_of_arithmetic .
dbpedia:Peano_axioms	skos:subject	ns2:Formal_theories_of_arithmetic .
dbpedia:Presburger_arithmetic	skos:subject	ns2:Formal_theories_of_arithmetic .
dbpedia:Robinson_arithmetic	skos:subject	ns2:Formal_theories_of_arithmetic .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
ns2:Formal_theories_of_arithmetic	rdf:type	skos:Concept .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns2:Formal_theories_of_arithmetic	rdfs:label	"Formal theories of arithmetic"@en ;
	skos:prefLabel	"Formal theories of arithmetic"@en ;
	skos:broader	ns2:Arithmetic ,
		ns2:Theories_of_deduction ,
		ns2:Formal_systems ,
		ns2:Mathematical_logic .
dbpedia:Non-standard_arithmetic	skos:subject	ns2:Formal_theories_of_arithmetic .
dbpedia:Second-order_arithmetic	skos:subject	ns2:Formal_theories_of_arithmetic .
dbpedia:Set-theoretic_definition_of_natural_numbers	skos:subject	ns2:Formal_theories_of_arithmetic .
dbpedia:Typographical_Number_Theory	skos:subject	ns2:Formal_theories_of_arithmetic .