1. Bernard Bolzano, « Anhang über die Kantische Lehre von der Construction der Begriffe durch Anschauungen », Beyträge zu einer begründeteren Darstellung der Mathematik, Prague, Caspar Widtmann, 1810, pp. 135-152 (trad. Fr. « Sur la doctrine kantienne de la construction des concepts par les intuitions », Philosophie, n° 27, § 8, 1990, pp. 3-12).
2. Bernard Bolzano, Wissenschaftslehre, Sulzbach, J.E. v. Seidel, 1837.
3. Luitzen E.J. Brouwer, « Historical Background, Principles and Methods of Intuitionism », South African Journal of Science, 49, 1952, pp. 139-146 (trad. Fr. « Base historique, principes et méthodes de l'intuitionisme », Intuitionisme et théorie de la démonstration, textes réunis par Jean Largeault, Paris, Vrin, 1992, pp. 445-458).
4. Luitzen E.J. Brouwer, Extrait des « Signifische dialogen », Synthese, 2, 1937, pp. 168–174, pp. 261–268 and pp. 316–324 (trad. Ang. « Signific dialogues », Collected Works, Amsterdam, North Holland, 1975, pp. 447-452).
5. Georg Cantor, « Uber unendliche, lineare Punktmannigfaltigkeiten », Mathematische Annalen, 21, 1883, pp. 545-586 (trad. Fr. partielle « Fondements d'une théorie générale des ensembles », Cahiers pour l'Analyse, vol. 10, 1969, pp. 35-52.