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 afscheiding en het axiomaschema van vervanging die deel uitmaken van de standaard ZFC-axiomatisering van de verzamelingenleer.

Geplaatst op:
16-07-2009

Dit artikel is een beginnetje over wiskunde. U wordt uitgenodigd om op bewerken te klikken om uw kennis aan dit artikel toe te voegen.