También se puede probar que ningún par de estos esquemas es suficiente para demostrar todas las tautologías utilizando "modus ponens".