Inductie (wiskunde): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
→Structurele inductie: Verbetering zinsbouw Labels: Bewerking via mobiel Bewerking via mobiele website |
||
Regel 46:
#alle mogelijke basisobjecten een bepaalde eigenschap <math>P</math> hebben; en
#alle manieren om een nieuw object te maken uit oude objecten waarvoor die eigenschap <math>P</math> geldt, weer een object opleveren waarvoor <math>P</math> geldt
dan geldt
Ook structurele inductie is een vorm van welgefundeerde inductie (ook structurele inductie kan als equivalente sterke variant worden gedefinieerd).
|