indirekte bevis

i logikken også kalt apagoge, er et bevis hvor man beviser riktigheten av en sats ved å påvise at hvis man antar at den er uriktig, blir man ledet til en motsigelse. Se reductio ad absurdum.