1. Beth, E.W.: Semantic Entailment and Formal Derivability, Mededlingen van den Koninklijke Nederlandse Akademie van wetenschappen, afd. Letterkunde, new series, vol. 18, no. 13, pp. 309–342. N.V. Noord-Hollandsche Uitgevers Maatschappij, Amsterdam (1955)
2. Brouwer, L.E.J.: Over de grondslagen der wiskunde, Maas and van Suchtelen. Amsterdam and Leipzig; Noordhoff, Groningen (1907)
3. Burali-Forti, C.: Una questione sui numeri transfiniti. Rendiconti del Circolo Matematico di Palermo 11, 154–164 (1897);
4. English translation in van Heijenoort 1967, 104–111
5. Burali-Forti, C.: Sulle classi ben ordinate. Rendiconti del Circolo Matematico di Palermo 11, 260 (1897);