axiomaschema

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

• Het inductie-axioma als onderdeel van de axioma's van Peano voor de rekenkunde van natuurlijke getallen.
• Het axiomaschema van vervanging dat deel uitmaakt van de standaard ZFC-axiomatisering van de verzamelingenleer.