About: Formal systems

Property	Value
rdf:type	skos:Concept
rdfs:label	Formal systems
skos:broader	dbpedia:Category:Categories_for_deletion dbpedia:Category:Formal_languages dbpedia:Category:Mathematical_logic dbpedia:Category:Metalogic
skos:prefLabel	Formal systems
is skos:broader of	dbpedia:Category:Logical_calculi dbpedia:Category:Rules_of_inference dbpedia:Category:Systems_of_set_theory dbpedia:Category:Formal_theories_of_arithmetic dbpedia:Category:Systems_of_formal_logic
is skos:subject of	dbpedia:Axiom dbpedia:Formal_proof dbpedia:Rule_of_inference dbpedia:Axiom_schema dbpedia:Deductive_system dbpedia:Formal_system