Dicho sistema resultó insatisfactorio porque permitía probar el teorema siguiente, cuyas consecuencias son absurdas: