Axiom schema - CaLiGraph

Property	Value
rdf:type	Mathematical logic topic owl:NamedIndividual Mathematical axiom Formal system
rdfs:label	Axiom schema
owl:sameAs	dbr:Axiom_schema
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Mathematical_axioms http://en.wikipedia.org/wiki/List_of_formal_systems http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(A%E2%80%93C) http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics http://en.wikipedia.org/wiki/Implicational_propositional_calculus http://en.wikipedia.org/wiki/Q0_(mathematical_logic) http://en.wikipedia.org/wiki/Category:Formal_systems
skos:prefLabel	Axiom schema
skos:altLabel	schemes schema schemata Axiom schema#Finite axiomatization axiom ''schema'' axiom schema axiom schemes axiomatic principle finitely axiomatizable finitely axiomatized

About: clgr:Axiom_schema