Uma forma de demonstração muito utilizada na matemática é a demonstração por redução ao absurdo. Esta demonstração prova a veracidade de uma afirmação, mostrando que a falsidade da afirmação produziria um absurdo. A forma matemática deste tipo de demonstração é: 

De acordo com a argumentação anterior, pode-se afirmar que: