A menudo, estas toman la forma de una demostración por contradicción (reducción al absurdo) probando que si una proposición no fuese cierta, entonces conduciría a una contradicción.