Indirekta bevis finns av två slag: antagandet (ur vilket en motsägelse härleds) kan ha formen A och slutsatsen formen icke-A, eller också kan antagandet ha formen icke-A och slutsatsen formen A; sistnämnda form godtas inte av intuitionismen.