分七类。凡在正文中作为材料（第 6.4 节规格：可引用的具体结果）引用的原始文献，列在第一类；史学与哲学的二手文献列在第二至六类；第七类是第 35 章为核查三处证据而查证的出处。
>
凡本书未能核对原件、只据二手转引者，条目后标 [转引]。凡真实性在史学上有争议者，标 [存疑] 并在第七类给出争议出处。
Abel, N. H. (1826). Untersuchungen über die Reihe 1 + (m/1)x + … *Journal für die reine und angewandte Mathematik*, 1, 311–339.
Bézout, É. (1779). *Théorie générale des équations algébriques*. Paris.
Bolyai, J. (1832). Appendix scientiam spatii absolute veram exhibens. In F. Bolyai, *Tentamen*, Maros-Vásárhely.
Bombelli, R. (1572). *L'Algebra*. Bologna.
Borel, É. (1909). Les probabilités dénombrables et leurs applications arithmétiques. *Rendiconti del Circolo Matematico di Palermo*, 27, 247–271.
Brahmagupta (628). *Brāhmasphuṭasiddhānta*. （据 Colebrooke 1817 英译本转引）[转引]
Cantor, G. (1874). Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. *Journal für die reine und angewandte Mathematik*, 77, 258–262.
Cantor, G. (1883). *Grundlagen einer allgemeinen Mannigfaltigkeitslehre*. Leipzig: Teubner.
Cardano, G. (1545). *Artis magnae sive de regulis algebraicis liber unus*. Nürnberg.
Cauchy, A.-L. (1821). *Cours d'analyse de l'École royale polytechnique*. Paris.
Cauchy, A.-L. (1815). Mémoire sur le nombre des valeurs qu'une fonction peut acquérir. *Journal de l'École polytechnique*, 10, 1–28.
Cayley, A. (1854). On the theory of groups, as depending on the symbolic equation θⁿ = 1. *Philosophical Magazine*, 7, 40–47.
Cayley, A. (1858). A memoir on the theory of matrices. *Philosophical Transactions of the Royal Society*, 148, 17–37.
Church, A. (1936). An unsolvable problem of elementary number theory. *American Journal of Mathematics*, 58, 345–363.
Dedekind, R. (1871). Supplement X. In P. G. L. Dirichlet, *Vorlesungen über Zahlentheorie*, 2nd ed. Braunschweig: Vieweg.
Dedekind, R. (1872). *Stetigkeit und irrationale Zahlen*. Braunschweig: Vieweg.
Dedekind, R., & Weber, H. (1882). Theorie der algebraischen Functionen einer Veränderlichen. *Journal für die reine und angewandte Mathematik*, 92, 181–290.
Descartes, R. (1637). *La Géométrie*. Leiden.
Dirac, P. A. M. (1930). *The Principles of Quantum Mechanics*. Oxford: Clarendon Press.
Dirichlet, P. G. L. (1829). Sur la convergence des séries trigonométriques. *Journal für die reine und angewandte Mathematik*, 4, 157–169.
Dirichlet, P. G. L. (1837). Über die Darstellung ganz willkürlicher Functionen durch Sinus- und Cosinusreihen. *Repertorium der Physik*, 1, 152–174.
Eilenberg, S., & Mac Lane, S. (1945). General theory of natural equivalences. *Transactions of the American Mathematical Society*, 58, 231–294.
Euclid. *Elements*.（据 Heath 1908 英译本）
Euler, L. (1748). *Introductio in analysin infinitorum*. Lausanne.
Euler, L. (1770). *Vollständige Anleitung zur Algebra*. St. Petersburg.
Fourier, J. (1822). *Théorie analytique de la chaleur*. Paris: Firmin Didot.
Frobenius, G. (1878). Über lineare Substitutionen und bilineare Formen. *Journal für die reine und angewandte Mathematik*, 84, 1–63.
Galois, É. (1846). Œuvres mathématiques (éd. J. Liouville). *Journal de mathématiques pures et appliquées*, 11, 381–444.
Gauss, C. F. (1801). *Disquisitiones arithmeticae*. Leipzig.
Gauss, C. F. (1828). *Disquisitiones generales circa superficies curvas*. Göttingen.
Gauss, C. F. (1831). Anzeige zu: Theoria residuorum biquadraticorum, commentatio secunda. *Göttingische gelehrte Anzeigen*.
Gödel, K. (1930). Die Vollständigkeit der Axiome des logischen Funktionenkalküls. *Monatshefte für Mathematik und Physik*, 37, 349–360.
Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. *Monatshefte für Mathematik und Physik*, 38, 173–198.
Grandi, G. (1703). *Quadratura circuli et hyperbolae*. Pisa.
Grassmann, H. (1844). *Die lineale Ausdehnungslehre*. Leipzig: Wigand.
Hamilton, W. R. (1837). Theory of conjugate functions, or algebraic couples. *Transactions of the Royal Irish Academy*, 17, 293–422.
Hamilton, W. R. (1844). On quaternions. *Philosophical Magazine*, 25, 489–495.
Hankel, H. (1867). *Vorlesungen über die complexen Zahlen und ihre Functionen*. Leipzig.
Hausdorff, F. (1918). Dimension und äußeres Maß. *Mathematische Annalen*, 79, 157–179.
Hensel, K. (1897). Über eine neue Begründung der Theorie der algebraischen Zahlen. *Jahresbericht der DMV*, 6, 83–88.
Hilbert, D. (1899). *Grundlagen der Geometrie*. Leipzig: Teubner.
Hilbert, D., & Ackermann, W. (1928). *Grundzüge der theoretischen Logik*. Berlin: Springer.
Kolmogorov, A. N. (1933). *Grundbegriffe der Wahrscheinlichkeitsrechnung*. Berlin: Springer.
Kronecker, L. (1881). Grundzüge einer arithmetischen Theorie der algebraischen Grössen. *Journal für die reine und angewandte Mathematik*, 92, 1–122.
Kummer, E. E. (1847). Zur Theorie der complexen Zahlen. *Journal für die reine und angewandte Mathematik*, 35, 319–326.
Lagrange, J.-L. (1770–71). Réflexions sur la résolution algébrique des équations. *Mémoires de l'Académie royale des sciences et belles-lettres de Berlin*.
Lagrange, J.-L. (1797). *Théorie des fonctions analytiques*. Paris.
Leray, J. (1934). Sur le mouvement d'un liquide visqueux emplissant l'espace. *Acta Mathematica*, 63, 193–248.
Leray, J. (1946). L'anneau d'homologie d'une représentation. *Comptes rendus de l'Académie des sciences*, 222, 1366–1368.
Lobachevsky, N. I. (1829–30). О началах геометрии. *Казанский вестник*.
Ostrowski, A. (1916). Über einige Lösungen der Funktionalgleichung φ(x)·φ(y) = φ(xy). *Acta Mathematica*, 41, 271–284.
Riemann, B. (1854/1868). Über die Hypothesen, welche der Geometrie zu Grunde liegen. *Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen*, 13, 133–150.
Robinson, A. (1961). Non-standard analysis. *Indagationes Mathematicae*, 23, 432–440.
Robinson, A. (1966). *Non-standard Analysis*. Amsterdam: North-Holland.
Saccheri, G. (1733). *Euclides ab omni naevo vindicatus*. Milan.
Schwartz, L. (1950–51). *Théorie des distributions*, 2 vols. Paris: Hermann.
Sobolev, S. L. (1936). Méthode nouvelle à résoudre le problème de Cauchy pour les équations linéaires hyperboliques normales. *Matematicheskii Sbornik*, 1(43), 39–72.
Turing, A. M. (1936). On computable numbers, with an application to the Entscheidungsproblem. *Proceedings of the London Mathematical Society*, s2-42, 230–265.
von Neumann, J. (1932). *Mathematische Grundlagen der Quantenmechanik*. Berlin: Springer.
Weyl, H. (1913). *Die Idee der Riemannschen Fläche*. Leipzig: Teubner.
Zermelo, E. (1908). Untersuchungen über die Grundlagen der Mengenlehre I. *Mathematische Annalen*, 65, 261–281.
Grothendieck, A., & Dieudonné, J. (1960–67). Éléments de géométrie algébrique. *Publications mathématiques de l'IHÉS*, 4, 8, 11, 17, 20, 24, 28, 32.
Cavaillès, J. (1938). *Méthode axiomatique et formalisme*. Paris: Hermann.
Crowe, M. J. (1975). Ten "laws" concerning patterns of change in the history of mathematics. *Historia Mathematica*, 2, 161–166.
Gillies, D. (ed.) (1992). *Revolutions in Mathematics*. Oxford: Oxford University Press.
Grosholz, E. (2007). *Representation and Productive Ambiguity in Mathematics and the Sciences*. Oxford: Oxford University Press.
Hacking, I. (2014). *Why Is There Philosophy of Mathematics At All?* Cambridge: Cambridge University Press.
Kitcher, P. (1984). *The Nature of Mathematical Knowledge*. Oxford: Oxford University Press.
Lakatos, I. (1976). *Proofs and Refutations: The Logic of Mathematical Discovery*. Cambridge: Cambridge University Press.
Nagel, E. (1935). "Impossible numbers": A chapter in the history of modern logic. *Studies in the History of Ideas*, 3, 429–474.
Benacerraf, P. (1965). What numbers could not be. *Philosophical Review*, 74, 47–73.
Corfield, D. (2003). *Towards a Philosophy of Real Mathematics*. Cambridge: Cambridge University Press.
Ferreirós, J. (2016). *Mathematical Knowledge and the Interplay of Practices*. Princeton: Princeton University Press.
Maddy, P. (1997). *Naturalism in Mathematics*. Oxford: Clarendon Press.
Mancosu, P. (ed.) (2008). *The Philosophy of Mathematical Practice*. Oxford: Oxford University Press.
Manders, K. (2008). The Euclidean diagram. In Mancosu (ed.), 80–133.
Marquis, J.-P. (2009). *From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory*. Dordrecht: Springer.
Shapiro, S. (1997). *Philosophy of Mathematics: Structure and Ontology*. Oxford: Oxford University Press.
Wilson, M. (2006). *Wandering Significance: An Essay on Conceptual Behavior*. Oxford: Clarendon Press.
Bourbaki, N. (1960). *Éléments d'histoire des mathématiques*. Paris: Hermann.
Kline, M. (1972). *Mathematical Thought from Ancient to Modern Times*. New York: Oxford University Press.
Wilder, R. L. (1968). *Evolution of Mathematical Concepts: An Elementary Study*. New York: Wiley.
MacTutor History of Mathematics Archive, University of St Andrews. https://mathshistory.st-andrews.ac.uk/
Avigad, J. (2006). Methodology and metaphysics in the development of Dedekind's theory of ideals. In J. Ferreirós & J. Gray (eds.), *The Architecture of Modern Mathematics*, 159–186. Oxford: Oxford University Press.
Bottazzini, U. (1986). *The Higher Calculus: A History of Real and Complex Analysis from Euler to Weierstrass*. New York: Springer.
Corry, L. (2004). *Modern Algebra and the Rise of Mathematical Structures*, 2nd ed. Basel: Birkhäuser.
Crowe, M. J. (1967). *A History of Vector Analysis*. Notre Dame: University of Notre Dame Press.
Dauben, J. W. (1979). *Georg Cantor: His Mathematics and Philosophy of the Infinite*. Cambridge, MA: Harvard University Press.
Dauben, J. W. (1995). *Abraham Robinson: The Creation of Nonstandard Analysis*. Princeton: Princeton University Press.
Davis, M. (2000). *The Universal Computer: The Road from Leibniz to Turing*. New York: Norton.
Dieudonné, J. (1985). *History of Algebraic Geometry*. Monterey: Wadsworth.
Edwards, H. M. (1977). *Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory*. New York: Springer.
Edwards, H. M. (1980). The genesis of ideal theory. *Archive for History of Exact Sciences*, 23, 321–378.
Ehrhardt, C. (2012). *Itinéraire d'un texte mathématique: Réélaborations des écrits de Galois au XIXe siècle*. Paris: Hermann.
Ferreirós, J. (2007). *Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics*, 2nd ed. Basel: Birkhäuser.
Fowler, D. (1987). *The Mathematics of Plato's Academy: A New Reconstruction*. Oxford: Clarendon Press.
Gandy, R. (1988). The confluence of ideas in 1936. In R. Herken (ed.), *The Universal Turing Machine: A Half-Century Survey*, 55–111. Oxford: Oxford University Press.
Grabiner, J. (1981). *The Origins of Cauchy's Rigorous Calculus*. Cambridge, MA: MIT Press.
Gray, J. (1989). *Ideas of Space: Euclidean, Non-Euclidean, and Relativistic*, 2nd ed. Oxford: Clarendon Press.
Gray, J. (2007). *Worlds Out of Nothing: A Course in the History of Geometry in the 19th Century*. London: Springer.
Hochkirchen, T. (1999). *Die Axiomatisierung der Wahrscheinlichkeitsrechnung und ihre Kontexte*. Göttingen: Vandenhoeck & Ruprecht.
Kiernan, B. M. (1971). The development of Galois theory from Lagrange to Artin. *Archive for History of Exact Sciences*, 8, 40–154.
Knorr, W. (1975). *The Evolution of the Euclidean Elements*. Dordrecht: Reidel.
Krömer, R. (2007). *Tool and Object: A History and Philosophy of Category Theory*. Basel: Birkhäuser.
Laugwitz, D. (1999). *Bernhard Riemann 1826–1866: Turning Points in the Conception of Mathematics*. Boston: Birkhäuser.
Lützen, J. (1982). *The Prehistory of the Theory of Distributions*. New York: Springer.
Lützen, J. (2003). Between rigor and applications: Developments in the concept of function. In M. J. Nye (ed.), *The Cambridge History of Science*, vol. 5, 468–487.
McLarty, C. (2007). The rising sea: Grothendieck on simplicity and generality. In J. Gray & K. Parshall (eds.), *Episodes in the History of Modern Algebra*, 301–325. Providence: AMS.
Menninger, K. (1958). *Zahlwort und Ziffer*, 2nd ed. Göttingen: Vandenhoeck & Ruprecht.
Nahin, P. J. (1998). *An Imaginary Tale: The Story of √−1*. Princeton: Princeton University Press.
Pycior, H. M. (1976). *The Role of Sir William Rowan Hamilton in the Development of British Modern Algebra*. Ph.D. dissertation, Cornell University.
Scholz, E. (1980). *Geschichte des Mannigfaltigkeitsbegriffs von Riemann bis Poincaré*. Boston: Birkhäuser.
Schappacher, N. (2010). Rewriting points. In *Proceedings of the ICM 2010*.
Shafer, G., & Vovk, V. (2006). The sources of Kolmogorov's *Grundbegriffe*. *Statistical Science*, 21, 70–98.
Sieg, W. (1994). Mechanical procedures and mathematical experience. In A. George (ed.), *Mathematics and Mind*, 71–117. Oxford: Oxford University Press.
Sieg, W. (2009). On computability. In A. Irvine (ed.), *Philosophy of Mathematics*, 535–630. Amsterdam: Elsevier.
Torretti, R. (1978). *Philosophy of Geometry from Riemann to Poincaré*. Dordrecht: Reidel.
Ullrich, P. (1998). The genesis of Hensel's p-adic numbers. In *Charlemagne and His Heritage: 1200 Years of Civilization and Science in Europe*, vol. 2, 163–178. Turnhout: Brepols.
van der Waerden, B. L. (1976). Hamilton's discovery of quaternions. *Mathematics Magazine*, 49, 227–234.
von Plato, J. (1994). *Creating Modern Probability*. Cambridge: Cambridge University Press.
Wussing, H. (1969). *Die Genesis des abstrakten Gruppenbegriffes*. Berlin: VEB Deutscher Verlag der Wissenschaften.
Youschkevitch, A. P. (1976). The concept of function up to the middle of the 19th century. *Archive for History of Exact Sciences*, 16, 37–85.
Bishop, E. (1977). Review of *Elementary Calculus* by H. J. Keisler. *Bulletin of the American Mathematical Society*, 83, 205–208.
Brouwer, L. E. J. (1918–19). Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. *Verhandelingen der KNAW*.
Troelstra, A. S., & van Dalen, D. (1988). *Constructivism in Mathematics*, 2 vols. Amsterdam: North-Holland.
van Dalen, D. (1999–2005). *Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer*, 2 vols. Oxford: Clarendon Press.
Gray, J. (1991). Did Poincaré say "set theory is a disease"? *The Mathematical Intelligencer*, 13(1), 19–22. [本书据此把该语标为存疑]
Mac Lane, S. (1997). The PNAS way back then. *Proceedings of the National Academy of Sciences*, 94, 5983–5985. [「general abstract nonsense」的自述出处]
Smith, C., & Wise, M. N. (1989). *Energy and Empire: A Biographical Study of Lord Kelvin*. Cambridge: Cambridge University Press. [Kelvin 1892 年致 Hayward 信的转引出处]
Mitchell, B. (1965). *Theory of Categories*. New York: Academic Press. [序言中关于范畴论受到的轻视]
第一版七类原样沿用。第二版新增第八类（一固层各例的原始文献与史学专著）与第九类（分层、纲领与硬核的理论文献）。
>
体例同第一版：凡未核对原件、只据二手转引者标 [转引]；凡真实性在史学上有争议者标 [存疑]。
E 固化·产过程
Descartes, R. (1637). *La Géométrie*. Leiden.（已见第一类，此处标其在一固层的用途）
Fermat, P. de (1636/1679). Ad locos planos et solidos isagoge. In *Varia opera mathematica*. Toulouse.
Bos, H. J. M. (2001). *Redefining Geometrical Exactness: Descartes' Transformation of the Early Modern Concept of Construction*. New York: Springer. [第 8.5 节最近占位者]
Mancosu, P. (1996). *Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century*. Oxford: Oxford University Press.
Klein, F. (1872). *Vergleichende Betrachtungen über neuere geometrische Forschungen*（埃尔朗根纲领）. Erlangen: Deichert.
Hawkins, T. (1984). The Erlanger Programm of Felix Klein: Reflections on its place in the history of mathematics. *Historia Mathematica*, 11, 442–470.
Lebesgue, H. (1902). Intégrale, longueur, aire. *Annali di Matematica Pura ed Applicata*, 7, 231–359.
Hawkins, T. (1975). *Lebesgue's Theory of Integration: Its Origins and Development*, 2nd ed. New York: Chelsea.
Leray, J. (1946). L'anneau spectral et l'anneau filtré d'homologie d'un espace localement compact. *Journal de mathématiques pures et appliquées*, 29, 1–139.（谱序列；层见第一类）
Dantzig, G. B. (1963). *Linear Programming and Extensions*. Princeton: Princeton University Press.（单纯形法）
E 固化·产单位
Fréchet, M. (1906). Sur quelques points du calcul fonctionnel. *Rendiconti del Circolo Matematico di Palermo*, 22, 1–74.（度量空间）
Hausdorff, F. (1914). *Grundzüge der Mengenlehre*. Leipzig: Veit.（拓扑空间）
Banach, S. (1922). Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. *Fundamenta Mathematicae*, 3, 133–181.
Weber, H. (1893). Die allgemeinen Grundlagen der Galois'schen Gleichungstheorie. *Mathematische Annalen*, 43, 521–549.（抽象群的通行定义）
Steinitz, E. (1910). Algebraische Theorie der Körper. *Journal für die reine und angewandte Mathematik*, 137, 167–309.
Noether, E. (1921). Idealtheorie in Ringbereichen. *Mathematische Annalen*, 83, 24–66.
Birkhoff, G. (1940). *Lattice Theory*. Providence: AMS.
Hilbert, D. (1904–1910). Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen（六篇）. *Nachrichten der Göttinger Gesellschaft der Wissenschaften*. [第 19.1 节：希尔伯特空间]
Fischer, E. (1907). Sur la convergence en moyenne. *Comptes rendus*, 144, 1022–1024.
Riesz, F. (1907). Sur les systèmes orthogonaux de fonctions. *Comptes rendus*, 144, 615–619.
Bernkopf, M. (1966). The development of function spaces with particular reference to their origins in integral equation theory. *Archive for History of Exact Sciences*, 3, 1–96. [第 19.1 节最近占位者]
Houzel, C. (1998). Histoire de la théorie des faisceaux. In *Matériaux pour l'histoire des mathématiques au XXe siècle*, 101–119. Paris: SMF. [第 19.2 节：层]
S 固化·产单位
Seidel, P. L. (1847). Note über eine Eigenschaft der Reihen, welche discontinuirliche Functionen darstellen. *Abhandlungen der Bayerischen Akademie*, 5, 381–393.
Stokes, G. G. (1849). On the critical values of the sums of periodic series. *Transactions of the Cambridge Philosophical Society*, 8, 533–583.
Baire, R. (1899). Sur les fonctions de variables réelles. *Annali di Matematica*, 3, 1–123.（半连续）
Borel, É. (1895). Sur quelques points de la théorie des fonctions. *Annales scientifiques de l'ENS*, 12, 9–55.（覆盖紧的雏形）
Sobolev, S. L. (1938). Sur un théorème d'analyse fonctionnelle. *Matematicheskii Sbornik*, 4(46), 471–497.
D 固化·产在场者
Frobenius, G. (1878). Über lineare Substitutionen und bilineare Formen.（已见第一类）
Cauchy, A.-L. (1829). Sur l'équation à l'aide de laquelle on détermine les inégalités séculaires. *Exercices de mathématiques*, 4.（特征值）
Sylvester, J. J. (1851–52). On the principles of the calculus of forms. *Cambridge and Dublin Mathematical Journal*.（不变量）
Ricci, G., & Levi-Civita, T. (1900). Méthodes de calcul différentiel absolu et leurs applications. *Mathematische Annalen*, 54, 125–201.
Cartan, É. (1899). Sur certaines expressions différentielles et le problème de Pfaff. *Annales scientifiques de l'ENS*, 16, 239–332.（微分形式）
Hawkins, T. (1977). Another look at Cayley and the theory of matrices. *Archives internationales d'histoire des sciences*, 27, 82–112. [第 12.8 节最近占位者]
Hawkins, T. (2013). *The Mathematics of Frobenius in Context*. New York: Springer.
Parshall, K. H. (1989). Toward a history of nineteenth-century invariant theory. In D. Rowe & J. McCleary (eds.), *The History of Modern Mathematics*, vol. 1, 157–206. Boston: Academic Press.
二固层对照组
Zadeh, L. A. (1965). Fuzzy sets. *Information and Control*, 8, 338–353.（模糊集；其受到的拒绝见第 23.2 节）
Lakatos, I. (1970). Falsification and the methodology of scientific research programmes. In I. Lakatos & A. Musgrave (eds.), *Criticism and the Growth of Knowledge*, 91–196. Cambridge: Cambridge University Press. [第 26.2 节：硬核＝固化维]
Kuhn, T. S. (1962/1970). *The Structure of Scientific Revolutions*, 2nd ed. Chicago: University of Chicago Press. [第 26.1 节]
Laudan, L. (1977). *Progress and Its Problems*. Berkeley: University of California Press.
Hacking, I. (2002). *Historical Ontology*. Cambridge, MA: Harvard University Press.
Netz, R. (1999). *The Shaping of Deduction in Greek Mathematics*. Cambridge: Cambridge University Press.（第 7 章不可通约量的史料背景）