Abstract
The purpose of this chapter is to describe once and for all a certain number of formative constructions and proofs (cf. Chapter I, § 1, no. 3 and § 2, no. 2) which arise very frequently in mathematics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
O. Neugebauer, Vorlesungen über die Geschichte der antiken Mathematik, Vol. I, Vorgriechische Mathematik, Berlin (Springer), 1934.
The Works of Aristotle, translated under the editorship of J. A. Smith and W. D. Ross (12 volumes, Oxford, 1908–1952).
(bis). T. L. Heath, Mathematics in Aristotle, Oxford (Clarendon Press), 1949.
T. L. Heath, The Thirteen Books of Euclid’s Elements…, 3 volumes, Cambridge, 1908.
Archimedes Opera Omnia, 3 volumes, edited by J. L. Heiberg, 2nd edition, 1913–1915.
(bis). T. L. Heath, The Method of Archimedes, Cambridge, 1912.
J. M. Bochenski, Ancient Formal Logic, Studies in Logic, Amsterdam (North Holland Pub. Co.), 1951.
P. Böhner, Medieval Logic, an Outline of its Development from 1250to ca. 1400, Chicago, 1952.
D. Francisci Maurolyci, Abbatis Messamensis, Mathematici Celeberrimi, Arithmeticorum Libri Duo, Venice, 1575.
Galileo Galilei, Opere, Ristampa della Edizione Nazionale, 20 volumes, Florence (Barbara), 1929–39.
A. Girard, Invention nouvelle en l’Algèbre, 1629 (new edition, Bierens de Haan, 1884).
R. Descartes, Ceuvres, edited by C. Adam and P. Tannery, 11 volumes, Paris (L. Cerf), 1897–1909.
B. Pascal, Euvres, edited by Brunschvicg, 14 volumes, Paris (Hachette), 1904–1914.
G. W. Leibntz: Mathematische Schriften, edited by C. I. Gerhardt, 7 volumes, Berlin-Halle (Asher-Schmidt), 1849–1863;
G. W. Leibntz: Philosophische Schriften, edited by C. I. Gerhardt, 7 volumes, Berlin, 1840–1890
G. W. Leibntz: Opuscules et fragments inédits, edited by L. Couturat, Paris (Alcan), 1903.
(bis). L. ?outurat, La logique de Leibniz d’après des documents inédits, Paris (Alcan), 1901.
D’Alembert, Encyclopédie, Paris, 1751–1765, articles “Négatif”, “Imaginaire”, “Définition”.
C. F. Gauss, Werke, 12 volumes, Göttingen, 1870–1927.
N. Lobatschevsky, Pangeometrie, Ostwald’s Klassiker, no. 130, Leipzig (Engelmann), 1902.
G. Boole: The Mathematical Analysis of Logic, Cambridge-London, 1847 (= Collected Logical Works, edited by P. Jourdain, Chicago-London, 1916, vol. I)
G. Boole: An Investigation of the Laws of Thought, Cambridge-London, 1854 (= Collected Logical Works, vol. II).
H. Gkjissmann, Gesammelte Werke, 6 volumes, Leipzig (Teubner), 1894.
B. Bolzano, Paradoxien des Unendlichen, Leipzig, 1851.
B. Riemann, Gesammelte mathematische Werke, 2nd edition, Leipzig (Teubner), 1892.
H. Hankel, Theorie der complexen,Zahlensysteme, Leipzig (Voss), 1867.
A. De Morgan:“On the syllogism (III)”, Trans. Garb. Phil. Soc., 10 (1858), pp. 173–230
A. De Morgan “On the syllogism (IV) and on the logic of relations”, Trans. Garb. Phil. Soc., 10 (1860) pp. 331–358.
C. S. Peirce “Upon the logic of mathematics”, Proc. Amer. Acad. Arts and Sci., 7 (1865–1868), pp. 402–412
C. S. Peirce “On the algebra of logic”, Amer. Journ. of Math., 3 (1880), pp. 49–57
C. S. Peirce“On the algebra of logic”, Amer. Journ. of Math., 7 (1884), pp. 190–202.
E. Schröder, Vorlesungen über die Algebra der Logik, 3 volumes, Leipzig (Teubner), 1890.
G. Frege, Begriffsschrift eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle, 1879;
G. Frege Die Grundlagen der Arithmetik, 2nd edition with an English translation by J. L. Austin, New York, 1950
G. Frege Grundgesetze der Arithmetik, begrif ffsschriftlich abgeleitet, 2 volumes, Jena, 1893–1903.
G. Cantor, Gesammelte Abhandlungen, Berlin (Springer), 1932.
(bis). G. Cantor, R. Dedekind, Briefwechsel, edited by J. Cavaillès and E. Noether, Act. Sci. et Ind., no. 518, Paris (Hermann), 1937.
R. Dedekind, Gesammelte mathematische Werke, 3 volumes, Braunschweig (Vieweg), 1932.
C. Hermrte, T. Stieltjes, Correspondance, 2 volumes, Paris (Gauthier-Villars), 1905.
M. Pasch und M. Dehn, Vorlesungen über neuere Geometrie, 2nd edition, Berlin, (Springer), 1926.
G. Peauo, Arithmeticae principia, novo modo exposita, Turin, 1889
G. Peauo, I principii di Geometria, logicamente espositi, Turin, 1889
G. Peauo, Formulaire de Mathematiques, 5 volumes, Turin, 1895–1905.
D. Hilbert, Grundlagen der Geometrie, 7th edition, Leipzig-Berlin (Teubner), 1930.
D. Hilbert, Gesammelte Abhandlungen, vol. III, Berlin (Springer), 1935.
D. Hilbert, W. Ackermann, Grundzüge der theoretischen Logik, 3rd edition, Berlin (Springer), 1949.
H. Poincaré: Science et hypothése, Paris (Flammarion), 1906
E. Poincaré Science et méthode, Paris (Flammarion), 1920.
J. Richard, “Les principes des mathématiques et le problète des ensembles”, Rev. Gen. des Sci. Pures et Appl, 16 (1905), pp. 541–543.
R. Baire, E. Borel, J. Hadamard, H. Lebesgue, “Cinq lettres sur la théorie des ensembles”, Bull. Soc. Math. de France, 33 (1905), pp. 261–273.
E. Zermelo, “Beweis dass jede Menge wohlgeordnet werden kann”, Math. Ann., 59 (1904), pp. 514–516
E. Zermelo“Neuer Beweis fur die Möglichkeit einer Wohlordnung”, Math. Ann, 65 (1908), pp. 107–128
E. Zermelo“Untersuchungen über die Grundlagen der Mengenlehre”, Math. Ann, 65 (1908), pp. 261–281.
B. Russell and A. N. Whitehead, Principia Mathematica, 3 volumes, Cambridge, 1910–1913.
L. E. J. Brouwer, “Intuitionism and formalism”, Bull. Amer. Math. Soc., 20 (1913), pp. 81–96
L. E. J. Brouwer“Zur Begründung des intuitionistischen Mathematik”, Math. Ann., 93 (1925), pp. 244–257; 95 (1926), pp. 453–473; 96 (1926), pp. 451–458.
T. Skolem, “Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre”, Wiss. Vorträge, 5 Kongress Skand. Math., Helsingfors, 1922.
K. Kuratowski, “Une méthode d’élimination des nombres transfinis des raisonnements mathématiques”, Fund. Math, 5 (1922), pp. 76–108.
A. Fraenkel “Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre”, Math. Ann., 86 (1922), pp. 230–237
A. Fraenkel Zehn Vorlesungen über die Grundlgaung der Mengenlehre, Wiss. und Hypothese vol. 31, Leipzig-Berlin, 1927
A. Fraenkel Einleitung in die Mengenlehre, 3rd edition, Berlin (Springer), 1928.
J. Herbrand, “Recherches sur la théorie de la démonstration”, Tray. Soc. Sci. et Lett. Varsovie, cl. II (1930), pp. 33–160.
J. Von Neumann “Eine Axiomatisierung der Mengenlehre”, Crepe, 154 (1925), pp. 219–240
J. Von Neumann “Die Axiomatisierung der Mengenlehre”, Math.,Zeitsсhr., 27 (1928), pp. 669–752
J. Von Neumann“Zur Hilbertschen Beweistheorie”, Math.Zeitschr., 26 (1927), pp. 1–46.
K. Godel: “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme”, Monatsh. für Math. u. Phys., 38 (1931), pp. 173–198
K. Godel The consistency of the axiom of choice and of the generalized continuum hypothesis, Ann. of Math. Studies, no. 3, Princeton, 1940.
M. Zorn, “A remark on method in transfinite algebra”, Bull. Amer. Math. Soc., 41 (1935), pp. 667–670.
A. Heyting, Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie, Ergebnisse der Math., vol. 3, Berlin (Springer), 1934.
G. Gentzen, Die gegenwartige Lage in der mathematischen Grundlagenforschung. Neue Fassung des Widerspruchfreiheitsbвweises fйr die reine Zahlentheorie, Forschungen der Logik…, Нefc 4, Leipzig (Hirzel), 1938.
S. Kleene, Introduction to Metamathematics, New York, 1952.
P. J. Cohen, “The independence of the continuum hypothesis”, Proc. Nat. Acad. Sci., 50 (1963), pp. 1143–1148 and 51 (1964), pp. 105–110.
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bourbaki, N. (2004). Structures. In: Theory of Sets. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59309-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-59309-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22525-6
Online ISBN: 978-3-642-59309-3
eBook Packages: Springer Book Archive