1. Vgl. P. Bernays, Axiomatische Untersuchung des Aussagenkalküls der “Principia Mathematica”. Math. Zeitschr. 25, 1926.
2. Es stimmt (bis auf das von P. Bernays als überflüssig erwiesene associative principle) mit dem in Princ. Math., I, Nr. 1 und Nr. 10, gegebenen überein.
3. Diese sind bei Russell-Whitehead nicht alle explizit formuliert, werden aber in den Deduktionen fortwährend verwendet.
4. Ein analoger Satz gilt für v statt &.
5. Vgl. Hilbert-Ackermann, Grundz. d. theor. Logik, III, § 8.