Una tercera posibilidad es probar teoremas sin usar ni el axioma ni su negación, la táctica preferida en matemáticas constructivas.