Axiomaschema
Van Wikipedia, de vrije encyclopedie
Een axiomaschema is in de wiskundige logica een generalisatie van een axioma. In een axiomaschema komen variabelen voor die door willekeurige logische formules kunnen worden vervangen. Zo ontstaan (aftelbaar) oneindig veel axioma's. Axiomaschema's worden bijvoorbeeld gebruikt in de eerste-orde logica, waarin niet over predicaten kan worden gekwantificeerd, om toch uitspraken over alle predicaten te kunnen doen.
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
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.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.