Axiomaschema

Uit Wikipedia, de vrije encyclopedie
(Doorverwezen vanaf Axioma-schema)
Ga naar: navigatie, zoeken

Een axiomaschema is in de wiskundige logica een generalisatie van een axioma. Bekende voorbeelden van axiomaschema's zijn: