 The chief purpose of the propositions of this number [∗10] is to extend to formal implications (i.e. to propositions of the form \(\forall x (\phi x \supset \psi x)\) as many as possible of the propositions proved previously for material implications, i.e. for propositions of the form \(p \supset q\). (notation updated)