[1] H. Hermes, H. Scholz: Mathematische Logik. Enzyklopädie der mathematischen Wissenschaften, Bd. I 1, Heft 1, Teil I; Teubner, Leipzig, 1952. MR 0065488 | Zbl 0047.24801

[2] D. Hilbert, P. Bernays: Grundlagen der Mathematik. Bd. I., Springer, Berlin, 1934; S. 76. Zbl 0009.14501