1. Ackermann, W. (1937). Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Mathematische Annalen, 114, 305–315.
2. Becker, O. (1927). Mathematische Existenz. Jahrbuch für Philosophie und phänomenologische Forschun., VIII, 439–809.
3. Benacerraf, P., & Putnam, H. (1983). Philosophy of mathematics: Selected readings (2nd ed.). Cambridge: Cambridge University Press.
4. Berkeley, G. (1969). In A. D. Lindsay (Ed.), 1710, Principles of human knowledge. London: Everyman.
5. Curry, H. (1941). A formalization of recursive arithmetic. American Journal of Mathematics, 41, 263–282.