bewijsschema

Een bewijs met volledige inductie ziet er meestal zo uit:

• Basisstap: neem $n=...$ en laat zien dat de stelling waar is voor $n=...$
• Inductiestap: neem aan de stelling waar is voor alle $n$
• Bewijs: als de stelling waar is voor $n$ dan is de stelling ook waar voor $n+1$
• Conclusie: als de basisstap en de inductiestap zijn bewezen dan is de stelling waar...