Vi ønsker å bevise utsagnet «det eksisterer ikke noen minste positiv brøk». Vi bruker negasjonen av dette utsagnet som premiss og utleder en selvmotsigende konklusjon: Premiss: «Det eksisterer en minste positiv brøk » Konklusjon 1: «Tallet er den minste positive brøken» Definisjon: «Tallet defineres som halvparten av » Konklusjon 2: «Tallet er en positiv brøk og mindre enn » Konklusjon 2 strider mot konklusjon 1. Altså må premisset være usant, og vårt opprinnelige utsagn sant. Det klassiske eksempelet på en reductio ad absurdum er Euklids bevis for at kvadratroten av 2 er et irrasjonalt tall (se beviset her).