Refine
Year of publication
- 1999 (1)
Document Type
- Article (1) (remove)
Language
- English (1)
Has Fulltext
- yes (1)
Keywords
- conservative extension (1) (remove)
Faculty / Organisational entity
We show how to buildup mathematical knowledge bases usingframes. We distinguish three differenttypes of knowledge: axioms, definitions(for introducing concepts like "set" or"group") and theorems (for relating theconcepts). The consistency of such know-ledge bases cannot be proved in gen-eral, but we can restrict the possibilit-ies where inconsistencies may be impor-ted to very few cases, namely to the oc-currence of axioms. Definitions and the-orems should not lead to any inconsisten-cies because definitions form conservativeextensions and theorems are proved to beconsequences.