- Induksjonsbevis
- En bevismetode med to steg (basissteg og induksjonssteg) som viser en påstand for alle hele tall fra et startpunkt og oppover.
- Basissteg
- Det første steget i et induksjonsbevis – å vise at påstanden stemmer for det minste tallet.
- Induksjonshypotese
- Antakelsen om at påstanden stemmer for et vilkårlig tall n=k, brukt til å bevise at den også stemmer for k+1.
- Motsigelsesbevis
- En bevismetode som antar det motsatte av påstanden, og viser at antakelsen fører til noe umulig.
- Rasjonalt tall
- Et tall som kan skrives som en brøk qp av to hele tall.