It can be shown that with only these three axiom schemata and modus ponens, one can prove all tautologies of the propositional calculus.
On võimalik näidata, et ainult nende kolme aksiomaatilise skeemi ja modus ponens järeldusreegli kaudu saab tõestada kõik lausearvutuslikud tautoloogiad.