1. In der Vorrede zur 2. Ausgabe der „Kritik der reinen Vernunft“.
2. Das hier benutzte Axiomensystem für „alle“ und „es gibt”, das in den Formeln e) bis f) sowie den Regeln y zum Ausdruck kommt, ist von P. Bernays angegeben worden.
3. Durch die Bezeichnung der Formeln soll kenntlich gemacht werden, aus welcher der schon bewiesenen identischen Formeln die betreffende Formel gemäß dem Dualitätsprinzip hervorgeht.
4. Skolem, Tx.: Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme Tiber dichte Mengen. Vid. Skrifter I, Mat.-nat. Klasse 1920, Nr. 4.
5. Hilbert, D. u. P. Bernays: Grundlagen der Mathematik I. Berlin 1934.