Puede probarse que, con solamente estos tres esquemas de axiomas y la regla de inferencia modus ponens, todas las tautologías del cálculo proposicional son demostrables.