Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:defines |
A formula or pattern that generates an infinite set of axioms in a formal system.
|
| gptkbp:example |
gptkb:Axiom_Schema_of_Replacement
gptkb:Axiom_Schema_of_Specification gptkb:Axiom_Schema_of_Separation |
| https://www.w3.org/2000/01/rdf-schema#label |
Axiom Schema
|
| gptkbp:relatedTo |
gptkb:Titan
gptkb:Zermelo-Fraenkel_Set_Theory |
| gptkbp:usedIn |
gptkb:logic
gptkb:Set_Theory Formal Systems |
| gptkbp:bfsParent |
gptkb:Axiom_Schema_of_Subsets
|
| gptkbp:bfsLayer |
8
|