메뉴 건너뛰기




Volumn , Issue , 2011, Pages 1-360

Set Theory and its Philosophy: A Critical Introduction

Author keywords

Axiom candidates; Cardinal arithmetic; Foundations of mathematics; Hierarchy of levels; Ordinal arithmetic; Paradoxes; Set theory; Set theoretic reduction

Indexed keywords


EID: 84921978689     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1093/acprof:oso/9780199269730.001.0001     Document Type: Book
Times cited : (81)

References (396)
  • 1
    • 34250418152 scopus 로고
    • Nonstandard models for arithmetic and analysis
    • Abian, A. (1974), 'Nonstandard models for arithmetic and analysis', Studia Logica, 33: 11-22
    • (1974) Studia Logica , vol.33 , pp. 11-22
    • Abian, A.1
  • 2
    • 84921969760 scopus 로고
    • CSLI Lecture Notes, CSLI, Stanford
    • Aczel, P. (1988), Non-well-founded Sets, CSLI Lecture Notes, 14, CSLI, Stanford
    • (1988) Non-well-founded Sets , vol.14
    • Aczel, P.1
  • 3
    • 65849475072 scopus 로고
    • Axioms for the set-theoretic hierarchy
    • Aken, J. V. (1986), 'Axioms for the set-theoretic hierarchy', J. Symb. Logic, 51: 992-1004
    • (1986) J. Symb. Logic , vol.51 , pp. 992-1004
    • Aken, J.V.1
  • 4
    • 0039349612 scopus 로고
    • sur la puissance des ensembles mesurables B
    • Alexandroff, P. S. (1916), 'sur la puissance des ensembles mesurables B', C. R. Acad. Sci. Paris, 162:323-5
    • (1916) C. R. Acad. Sci. Paris , vol.162 , pp. 323-325
    • Alexandroff, P.S.1
  • 6
  • 7
    • 0001016950 scopus 로고
    • Diophantine problems on local fields
    • Ax, J. and Kochen, S. (1965), 'Diophantine problems on local fields', Amer. J. Math., 87: 605-30
    • (1965) Amer. J. Math. , vol.87 , pp. 605-630
    • Ax, J.1    Kochen, S.2
  • 9
    • 84880077519 scopus 로고
    • sur les fonctions discontinues qui se rattachent avec fonctions continues
    • Baire, R. (1898), 'sur les fonctions discontinues qui se rattachent avec fonctions continues', C. R. Acad. Sci. Paris, 126: 1621-3
    • (1898) C. R. Acad. Sci. Paris , vol.126 , pp. 1621-1623
    • Baire, R.1
  • 10
    • 84921962394 scopus 로고
    • sur la représentation des fonctions discontinues II
    • Bachmann, H. (1909), 'sur la représentation des fonctions discontinues II', Acta Math., 32:97-176
    • (1909) Acta Math. , vol.32 , pp. 97-176
    • Bachmann, H.1
  • 12
    • 0001342461 scopus 로고
    • sur la décomposition des ensembles de points en parties respectivement congruentes
    • Banach, S. and Tarski, A. (1924), 'sur la décomposition des ensembles de points en parties respectivement congruentes', Fund. Math., 6: 244-77
    • (1924) Fund. Math. , vol.6 , pp. 244-277
    • Banach, S.1    Tarski, A.2
  • 16
    • 84981426985 scopus 로고
    • Fregean extensions of first-order theories
    • Barwise, J. and Etchemendy, J. (1994), 'Fregean extensions of first-order theories', Math. Logic Quart., 40: 27-30
    • (1994) Math. Logic Quart. , vol.40 , pp. 27-30
    • Barwise, J.1    Etchemendy, J.2
  • 17
    • 0012586667 scopus 로고
    • What numbers could not be
    • Benacerraf, P. (1965), 'What numbers could not be', Phil. Rev., 74: 47-73
    • (1965) Phil. Rev. , vol.74 , pp. 47-73
    • Benacerraf, P.1
  • 19
    • 0010098285 scopus 로고
    • Quelques théorèmes de la théorie des ensembles de points
    • Bendixson, I. (1883), 'Quelques théorèmes de la théorie des ensembles de points', Acta Math., 2:415-29
    • (1883) Acta Math. , vol.2 , pp. 415-429
    • Bendixson, I.1
  • 21
    • 0013157662 scopus 로고
    • sur le platonisme en mathématiques
    • trans, in Benacerraf and Putnam 1964, pp. 258-71
    • Bernays, P. (1935), 'sur le platonisme en mathématiques', Enseignement Math., 34: 52-69 (trans, in Benacerraf and Putnam 1964, pp. 258-71)
    • (1935) Enseignement Math. , vol.34 , pp. 52-69
    • Bernays, P.1
  • 22
    • 0002127415 scopus 로고
    • A system of set theory I
    • Bernays, P. (1937), 'A system of set theory I', J. Symb. Logic, 2: 65-77
    • (1937) J. Symb. Logic , vol.2 , pp. 65-77
    • Bernays, P.1
  • 23
    • 0002127415 scopus 로고
    • A system of set theory III
    • Bernays, P. (1942), 'A system of set theory III', J. Symb. Logic, 7: 65-89
    • (1942) J. Symb. Logic , vol.7 , pp. 65-89
    • Bernays, P.1
  • 24
    • 0000500225 scopus 로고
    • Über die Reihe der transfiniten Ordnungszahlen
    • Bernstein, F. (1905a), 'Über die Reihe der transfiniten Ordnungszahlen', Math. Ann., 60:187-93
    • (1905) Math. Ann. , vol.60 , pp. 187-193
    • Bernstein, F.1
  • 25
    • 34250965454 scopus 로고
    • Untersuchungen aus der Mengenlehre
    • Bernstein, F. (1905b), 'Untersuchungen aus der Mengenlehre', Math. Ann., 61:117-55
    • (1905) Math. Ann. , vol.61 , pp. 117-155
    • Bernstein, F.1
  • 28
    • 49549142576 scopus 로고
    • Introduction
    • Birkhoff, G. (1975), 'Introduction', Hist. Math., 2: 535
    • (1975) Hist. Math. , vol.2 , pp. 535
    • Birkhoff, G.1
  • 29
    • 0040307619 scopus 로고
    • The Baire category theorem implies the principle of dependent choices
    • Blair, G. E. (1977), 'The Baire category theorem implies the principle of dependent choices', Bull. Acad. Polon. Sci, Sér. Sci. Math., Astron. Phys., 25: 933-4
    • (1977) Bull. Acad. Polon. Sci, Sér. Sci. Math., Astron. Phys. , vol.25 , pp. 933-934
    • Blair, G.E.1
  • 30
    • 34248545557 scopus 로고
    • Fortsetzung Riemannscher Flaschen
    • Bochner, S. (1928), 'Fortsetzung Riemannscher Flaschen', Math. Ann., 98: 406-21
    • (1928) Math. Ann. , vol.98 , pp. 406-421
    • Bochner, S.1
  • 31
    • 0007460531 scopus 로고
    • Axiome et schéma de fondement dans le système de Zermelo
    • Boffa, M. (1969), 'Axiome et schéma de fondement dans le système de Zermelo', Bull. Acad. Polon. Sci, Sér. Sci. Math., 17: 113-15
    • (1969) Bull. Acad. Polon. Sci, Sér. Sci. Math. , vol.17 , pp. 113-115
    • Boffa, M.1
  • 33
    • 0010030589 scopus 로고
    • The iterative conception of set
    • Boolos, G. (1971), 'The iterative conception of set', J. Phil, 68: 215-31
    • (1971) J. Phil , vol.68 , pp. 215-231
    • Boolos, G.1
  • 34
    • 0009373432 scopus 로고
    • On second-order logic
    • Bolzano, B. (1975), 'On second-order logic', J. Phil, 72: 509-27
    • (1975) J. Phil , vol.72 , pp. 509-527
    • Bolzano, B.1
  • 35
    • 34250099340 scopus 로고
    • A curious inference
    • Bolzano, B. (1987), 'A curious inference', J. Phil. Logic, 16: 1-12
    • (1987) J. Phil. Logic , vol.16 , pp. 1-12
    • Bolzano, B.1
  • 36
    • 4043096810 scopus 로고
    • Iteration again
    • Bolzano, B. (1989), 'Iteration again', Phil. Topics, 17: 5-21
    • (1989) Phil. Topics , vol.17 , pp. 5-21
    • Bolzano, B.1
  • 38
    • 84921946889 scopus 로고
    • The advantages of honest toil over theft
    • George 1994
    • Bolzano, B. (1994), 'The advantages of honest toil over theft', in George 1994, pp. 27-44
    • (1994) , pp. 27-44
    • Bolzano, B.1
  • 39
    • 84921988128 scopus 로고    scopus 로고
    • Must we believe in set theory?
    • Sher and Tieszen 2000
    • Bolzano, B. (2000), 'Must we believe in set theory?', in Sher and Tieszen 2000, pp. 257-68
    • (2000) , pp. 257-268
    • Bolzano, B.1
  • 42
    • 0008857733 scopus 로고
    • Quelques remarques sur les principes de la théorie des ensembles
    • Borel, E. (1905), 'Quelques remarques sur les principes de la théorie des ensembles', Math. Ann., 60: 194-5
    • (1905) Math. Ann. , vol.60 , pp. 194-195
    • Borel, E.1
  • 45
    • 0002717685 scopus 로고
    • Foundations of mathematics for the working mathematician
    • Bourbaki, N. (1949a), 'Foundations of mathematics for the working mathematician', J. Symb. Logic, 14:1-8
    • (1949) J. Symb. Logic , vol.14 , pp. 1-8
    • Bourbaki, N.1
  • 47
    • 0011263727 scopus 로고
    • Actualités scientifiques et industrielles, Paris: Hermann
    • Bourbaki, N. (1954), Théorie des ensembles, chs I et II, Actualités scientifiques et industrielles, 1212, Paris: Hermann
    • (1954) Théorie des ensembles, chs I et II , vol.1212
    • Bourbaki, N.1
  • 48
    • 0011263727 scopus 로고
    • Actualités scientifiques et industrielles, Paris: Hermann.
    • Bourbaki, N. (1956), Théorie des ensembles, ch. III, Actualités scientifiques et industrielles, 1243, Paris: Hermann.
    • (1956) Théorie des ensembles, ch. III , vol.1243
    • Bourbaki, N.1
  • 51
  • 52
    • 0000152991 scopus 로고
    • Una questione sui numeri transfiniti
    • Bourbaki, N. (1897b), 'Una questione sui numeri transfiniti', Rend. Circ. Mat. Palermo, 11:154-64
    • (1897) Rend. Circ. Mat. Palermo , vol.11 , pp. 154-164
    • Bourbaki, N.1
  • 53
    • 21844505230 scopus 로고
    • On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics
    • Buss, S. R. (1994), 'On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics', J. Symb. Logic, 59: 737-56
    • (1994) J. Symb. Logic , vol.59 , pp. 737-756
    • Buss, S.R.1
  • 55
    • 0010940533 scopus 로고
    • The origins of Zorn's lemma
    • Campbell, P.J. (1978), 'The origins of Zorn's lemma', Hist. Math., 5: 77-89
    • (1978) Hist. Math. , vol.5 , pp. 77-89
    • Campbell, P.J.1
  • 56
    • 34447609850 scopus 로고
    • Über die Ausdehnung eines Satzes aus der Theorie der trigonimetrischen Reihen
    • Cantor, G. (1872), 'Über die Ausdehnung eines Satzes aus der Theorie der trigonimetrischen Reihen', Math. Ann., 5: 123-32
    • (1872) Math. Ann. , vol.5 , pp. 123-132
    • Cantor, G.1
  • 57
    • 78649699122 scopus 로고
    • Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen
    • Cantor, G. (1874), 'Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen', J. reine angew. Math., 77: 258-62
    • (1874) J. reine angew. Math. , vol.77 , pp. 258-262
    • Cantor, G.1
  • 58
    • 0039941908 scopus 로고
    • Ein Beitrag ZUr Mannigfaltigkeitslehre
    • Cantor, G. (1878), 'Ein Beitrag ZUr Mannigfaltigkeitslehre', J. reine angew. Math., 84: 242-58
    • (1878) J. reine angew. Math. , vol.84 , pp. 242-258
    • Cantor, G.1
  • 60
    • 28244432050 scopus 로고
    • Über die verschiedenen Standpunkte in bezug auf das aktuelle Unendliche
    • Cantor, G. (1886), 'Über die verschiedenen Standpunkte in bezug auf das aktuelle Unendliche', Zeitschr. Phil. phil. Krit., 88: 224-33
    • (1886) Zeitschr. Phil. phil. Krit. , vol.88 , pp. 224-233
    • Cantor, G.1
  • 61
    • 0003161212 scopus 로고
    • Mitteilungen ZUr Lehre vom Transfiniten I
    • Cantor, G. (1887), 'Mitteilungen ZUr Lehre vom Transfiniten I', Zeitschr. Phil. phil. Krit., 91: 81-125
    • (1887) Zeitschr. Phil. phil. Krit. , vol.91 , pp. 81-125
    • Cantor, G.1
  • 62
    • 0002846271 scopus 로고
    • Über eine elementare Frage der Mannigfaltigkeitslehre
    • Cantor, G. (1892), 'Über eine elementare Frage der Mannigfaltigkeitslehre', Jahresber. Deutsch.Math.-Ver., 1: 75-8
    • (1892) Jahresber. Deutsch.Math.-Ver , vol.1 , pp. 75-78
    • Cantor, G.1
  • 63
    • 34447604271 scopus 로고
    • Beiträge ZUr Begründung der transfiniten Mengenlehre I
    • Cantor, G. (1895), 'Beiträge ZUr Begründung der transfiniten Mengenlehre I', Math. Ann., 47: 481-512
    • (1895) Math. Ann. , vol.47 , pp. 481-512
    • Cantor, G.1
  • 64
    • 0000523603 scopus 로고
    • Beiträge ZUr Begründung der transfiniten Mengenlehre II
    • Cantor, G. (1897), 'Beiträge ZUr Begründung der transfiniten Mengenlehre II', Math. Ann., 49: 207-46
    • (1897) Math. Ann. , vol.49 , pp. 207-246
    • Cantor, G.1
  • 66
    • 0012804960 scopus 로고
    • Berlin: Springer
    • Cantor, G. (1991), Briefe, Berlin: Springer
    • (1991) Briefe
    • Cantor, G.1
  • 67
    • 0039548944 scopus 로고
    • Die logizistische Grundlegung der Mathematik
    • Carnap, R. (1931), 'Die logizistische Grundlegung der Mathematik', Erkenntnis, 2:91-105
    • (1931) Erkenntnis , vol.2 , pp. 91-105
    • Carnap, R.1
  • 68
    • 84908550695 scopus 로고
    • sur le fondement logique des mathématiques
    • Cartan, H. (1943), 'sur le fondement logique des mathématiques', Rev. Sci. (Rev. Rose), 81: 3-11
    • (1943) Rev. Sci. (Rev. Rose) , vol.81 , pp. 3-11
    • Cartan, H.1
  • 71
    • 84921969594 scopus 로고
    • La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes
    • Cegielski, P. (1981), 'La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes', C. R. Acad. Sci. Paris, 290: 351-2
    • (1981) C. R. Acad. Sci. Paris , vol.290 , pp. 351-352
    • Cegielski, P.1
  • 72
    • 84919974246 scopus 로고
    • Dummett on indefinite extensibility
    • Clark, P. (1993a), 'Dummett on indefinite extensibility', Proc. Arist. Soc., Supp. Vol., 67:235-49
    • (1993) Proc. Arist. Soc., Supp. Vol. , vol.67 , pp. 235-249
    • Clark, P.1
  • 73
    • 84963067393 scopus 로고
    • Logicism, the continuum and anti-realism
    • Clark, P. (1993b), 'Logicism, the continuum and anti-realism', Analysis, 53:129-41
    • (1993) Analysis , vol.53 , pp. 129-141
    • Clark, P.1
  • 74
    • 84920010249 scopus 로고    scopus 로고
    • Dummett's argument for the indefinite extensibility of set and real number
    • Brandl and Sullivan 1998
    • Clark, P. (1998), 'Dummett's argument for the indefinite extensibility of set and real number', in Brandl and Sullivan 1998, pp. 51-63
    • (1998) , pp. 51-63
    • Clark, P.1
  • 75
    • 0000762939 scopus 로고
    • The independence of the continuum hypothesis
    • Cohen, P.J. (1963), 'The independence of the continuum hypothesis', Proc. Natl. Acad. Sci. USA, 50: 1143-8
    • (1963) Proc. Natl. Acad. Sci. USA , vol.50 , pp. 1143-1148
    • Cohen, P.J.1
  • 77
    • 84921950412 scopus 로고
    • A large power set axiom
    • Cohen, P.J. (1973), 'A large power set axiom', J. Symb. Logic, 40: 48-54
    • (1973) J. Symb. Logic , vol.40 , pp. 48-54
    • Cohen, P.J.1
  • 79
    • 21244485739 scopus 로고
    • Finite axiomatizability using additional predicates
    • Craig, W. and Vaught, R. (1958), 'Finite axiomatizability using additional predicates', J. Symb. Logic, 23: 289-308
    • (1958) J. Symb. Logic , vol.23 , pp. 289-308
    • Craig, W.1    Vaught, R.2
  • 83
    • 0011542907 scopus 로고
    • Infinite games of perfect information
    • M. Dresher, L. S. Shapley and A. W. Tucker, eds, Princeton University Press
    • Davis, M. (1964), 'Infinite games of perfect information', in M. Dresher, L. S. Shapley and A. W. Tucker, eds, Advances in Game Theory, Princeton University Press, pp. 85-101
    • (1964) Advances in Game Theory , pp. 85-101
    • Davis, M.1
  • 85
  • 88
    • 0006288710 scopus 로고
    • The work of Nicholas Bourbaki
    • Dieudonné, J. A. (1970), 'The work of Nicholas Bourbaki', Amer. Math. Monthly, 77: 134-45
    • (1970) Amer. Math. Monthly , vol.77 , pp. 134-145
    • Dieudonné, J.A.1
  • 89
    • 0042484815 scopus 로고
    • Beweis des Satzes, dassjede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinsch-aftlichen Factor sind, unendlich viele Primzahlen enthält
    • Dirichlet, G. P. L. (1837), 'Beweis des Satzes, dassjede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinsch-aftlichen Factor sind, unendlich viele Primzahlen enthält', Abh. Königl. Preuss. Akad. Wiss., 34:45-81
    • (1837) Abh. Königl. Preuss. Akad. Wiss. , vol.34 , pp. 45-81
    • Dirichlet, G.P.L.1
  • 90
    • 84960568367 scopus 로고
    • On "well-ordered' aggregates
    • Dixon, A. C. (1905), 'On "well-ordered' aggregates', Proc. London Math. Soc., 4: 18-20
    • (1905) Proc. London Math. Soc. , vol.4 , pp. 18-20
    • Dixon, A.C.1
  • 91
    • 0033483542 scopus 로고    scopus 로고
    • Relatives of the Russell paradox
    • Doets, K. (1999), 'Relatives of the Russell paradox', Math. Logic Quart., 45: 73-83
    • (1999) Math. Logic Quart. , vol.45 , pp. 73-83
    • Doets, K.1
  • 92
    • 0346448275 scopus 로고
    • Les axiomes de l'infini dans la théorie des ensembles sans axiome de substitution
    • Drabbe, J. (1969), 'Les axiomes de l'infini dans la théorie des ensembles sans axiome de substitution', C. R. Acad. Sci. Paris, 268: 137-8
    • (1969) C. R. Acad. Sci. Paris , vol.268 , pp. 137-138
    • Drabbe, J.1
  • 94
    • 77956949778 scopus 로고
    • On the foundations of mathematics in 1987
    • H.-D. Ebbing-haus, J. Fernandez-Prian, M. Garrido, D. Lascar and M. R. Artadejo, eds, Amsterdam: North-Holland
    • Drake, F. R. (1989), 'On the foundations of mathematics in 1987', in H.-D. Ebbing-haus, J. Fernandez-Prian, M. Garrido, D. Lascar and M. R. Artadejo, eds, Logic Colloquium '87, Amsterdam: North-Holland, pp. 11-25
    • (1989) Logic Colloquium '87 , pp. 11-25
    • Drake, F.R.1
  • 97
    • 79953592001 scopus 로고
    • The philosophical significance of Gödel's theorem
    • London: Duckworth
    • Dummett, M. (1978), 'The philosophical significance of Gödel's theorem', in Truth and other enigmas, London: Duckworth, pp. 186-201
    • (1978) Truth and other enigmas , pp. 186-201
    • Dummett, M.1
  • 99
    • 3843106667 scopus 로고
    • What is mathematics about?
    • Oxford: Clarendon Press
    • Dugac, P. (1993), 'What is mathematics about?', in The seas of language, Oxford: Clarendon Press, pp. 429-45
    • (1993) The seas of language , pp. 429-445
    • Dugac, P.1
  • 100
    • 3843102369 scopus 로고
    • Chairman's address: Basic Law V′
    • Dugac, P. (1994a), 'Chairman's address: Basic Law V′, Proc. Arist. Soc., 94: 243-51
    • (1994) Proc. Arist. Soc. , vol.94 , pp. 243-251
    • Dugac, P.1
  • 101
    • 0010212569 scopus 로고
    • Reply to Wright
    • B. McGuinness and G. Oliveri, eds, Dordrecht: Kluwer
    • Dugac, P. (1994b), 'Reply to Wright', in B. McGuinness and G. Oliveri, eds, The Philosophy of Michael Dummett, Dordrecht: Kluwer, pp. 329-38
    • (1994) The Philosophy of Michael Dummett , pp. 329-338
    • Dugac, P.1
  • 104
    • 0000041150 scopus 로고
    • some applications of the notions of forcing and generic sets
    • Feferman, S. (1965), 'some applications of the notions of forcing and generic sets', Fund. Math., 56: 325-45
    • (1965) Fund. Math. , vol.56 , pp. 325-345
    • Feferman, S.1
  • 105
    • 0009082341 scopus 로고
    • Categorical foundations and foundations of category theory
    • Butts and Hintikka 1977
    • Errera, A. (1977), 'Categorical foundations and foundations of category theory', in Butts and Hintikka 1977, pp. 149-69
    • (1977) , pp. 149-169
    • Errera, A.1
  • 106
    • 0037961232 scopus 로고    scopus 로고
    • Why the programs for new axioms need to be questioned
    • Errera, A. (2000), 'Why the programs for new axioms need to be questioned', Bull. Symb. Logic, 6: 401-13
    • (2000) Bull. Symb. Logic , vol.6 , pp. 401-413
    • Errera, A.1
  • 107
    • 0001618009 scopus 로고
    • Independence results in set theory by Cohen's method
    • Feferman, S. and Levy, A. (1963), 'Independence results in set theory by Cohen's method', Not. Amer. Math. Soc., 10: 593
    • (1963) Not. Amer. Math. Soc. , vol.10 , pp. 593
    • Feferman, S.1    Levy, A.2
  • 108
    • 35348838467 scopus 로고    scopus 로고
    • Which undecidable mathematical sentences have determinate truth values
    • Dales and Oliveri 1998
    • Field, H. (1998), 'Which undecidable mathematical sentences have determinate truth values', in Dales and Oliveri 1998, pp. 291-310
    • (1998) , pp. 291-310
    • Field, H.1
  • 109
    • 9444221671 scopus 로고
    • Ontological dependence
    • Fine, K. (1995), 'Ontological dependence', Proc. Arist. Soc., 95: 267-90
    • (1995) Proc. Arist. Soc. , vol.95 , pp. 267-290
    • Fine, K.1
  • 110
    • 0001038366 scopus 로고
    • Martin's maximum, saturated ideals and non-regular ultrafilters
    • Foreman, M., Magidor, M. and Shelah, S. (1988), 'Martin's maximum, saturated ideals and non-regular ultrafilters V ,Ann. Math., 127: 1-47
    • (1988) V ,Ann. Math. , vol.127 , pp. 1-47
    • Foreman, M.1    Magidor, M.2    Shelah, S.3
  • 112
    • 0039753163 scopus 로고
    • Über den Begriff "definit" und die Unabhängigkeit des Auswahlaxioms
    • Fraenkel, A. A. (1922a), 'Über den Begriff "definit" und die Unabhängigkeit des Auswahlaxioms', Sitzungsber. Preuss. Akad. Wiss., Phys.-math. Kl., pp. 253-7
    • (1922) Sitzungsber. Preuss. Akad. Wiss., Phys.-math. Kl. , pp. 253-257
    • Fraenkel, A.A.1
  • 113
    • 0006831529 scopus 로고
    • Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre
    • Forster, T. E. (1922b), 'Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre', Math. Ann., 86:230-7
    • (1922) Math. Ann. , vol.86 , pp. 230-237
    • Forster, T.E.1
  • 118
    • 0009264155 scopus 로고
    • Jena: Pohle (partially trans, in Frege 1980
    • Forster, T. E. (1893-1903), Grundgesetze der Arithmetik, Jena: Pohle (partially trans, in Frege 1980, pp. 117-224)
    • (1893) Grundgesetze der Arithmetik , pp. 117-224
    • Forster, T.E.1
  • 120
    • 33748838664 scopus 로고
    • Über die Grundlagen der Geometrie II
    • 377-403, 423-30
    • Forster, T. E. (1906), 'Über die Grundlagen der Geometrie II, Jahresber. Deutsch. Math.-Ver., 15: 293-309, 377-403, 423-30
    • (1906) Jahresber. Deutsch. Math.-Ver. , vol.15 , pp. 293-309
    • Forster, T.E.1
  • 123
    • 0000986217 scopus 로고
    • Higher set theory and mathematical practice
    • Friedman, H. (1971), 'Higher set theory and mathematical practice', Ann. Math. Logic, 2: 326-57
    • (1971) Ann. Math. Logic , vol.2 , pp. 326-357
    • Friedman, H.1
  • 124
    • 46149137751 scopus 로고
    • Necessary uses of abstract set theory in finite mathematics
    • Forster, T. E. (1986), 'Necessary uses of abstract set theory in finite mathematics', Advances in Mathematics, 60: 92-122
    • (1986) Advances in Mathematics , vol.60 , pp. 92-122
    • Forster, T.E.1
  • 125
    • 0032264636 scopus 로고    scopus 로고
    • Finite functions and the necessary use of large cardinals
    • Forster, T. E. (1998), 'Finite functions and the necessary use of large cardinals', Ann. Math., 148: 803-93
    • (1998) Ann. Math. , vol.148 , pp. 803-893
    • Forster, T.E.1
  • 126
    • 33645571666 scopus 로고    scopus 로고
    • Normal mathematics will need new axioms
    • Forster, T. E. (2000), 'Normal mathematics will need new axioms', Bull. Symb. Logic, 6: 434-46
    • (2000) Bull. Symb. Logic , vol.6 , pp. 434-446
    • Forster, T.E.1
  • 127
    • 0001255444 scopus 로고
    • Infinite games with perfect information
    • Annals of Mathematics Studies, 28, Princeton University Press
    • Gale, D. and Stewart, F. M. (1953), 'Infinite games with perfect information', in Contributions to the Theory of Games, Annals of Mathematics Studies, 28, Princeton University Press, pp. 245-66
    • (1953) Contributions to the Theory of Games , pp. 245-266
    • Gale, D.1    Stewart, F.M.2
  • 129
    • 0011315928 scopus 로고
    • Die Widerspruchsfreiheit der reinen Zahlentheorie
    • Gentzen, G. (1936), 'Die Widerspruchsfreiheit der reinen Zahlentheorie', Math. Ann., 112:493-565
    • (1936) Math. Ann. , vol.112 , pp. 493-565
    • Gentzen, G.1
  • 131
    • 34347193348 scopus 로고
    • Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
    • Gödel, K. (1931), 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I', Monatsh. Math. Physik, 38: 173-98
    • (1931) Monatsh. Math. Physik , vol.38 , pp. 173-198
    • Gödel, K.1
  • 132
    • 0001794166 scopus 로고
    • Zur intuitionistischen Arithmetik und Zahlentheorie
    • George, A., ed. (1933), 'Zur intuitionistischen Arithmetik und Zahlentheorie', Ergebnisseeines mathematischen Kolloquiums, 4: 34-8
    • (1933) Ergebnisseeines mathematischen Kolloquiums , vol.4 , pp. 34-38
    • George, A.1
  • 133
    • 0000599738 scopus 로고
    • The consistency of the axiom of choice and the generalized continuum hypothesis
    • George, A., ed. (1938), 'The consistency of the axiom of choice and the generalized continuum hypothesis', Proc. Natl. Acad. Sci. USA, 24: 556-7
    • (1938) Proc. Natl. Acad. Sci. USA , vol.24 , pp. 556-557
    • George, A.1
  • 134
    • 4244169814 scopus 로고
    • Russell's mathematical logic
    • Schilpp 1944
    • George, A., ed. (1944), 'Russell's mathematical logic', in Schilpp 1944, pp. 123-53
    • (1944) , pp. 123-153
    • George, A.1
  • 135
    • 4243539729 scopus 로고
    • What is Cantor's continuum problem?
    • George, A., ed. (1947), 'What is Cantor's continuum problem?', Amer. Math. Monthly, 54:515-25
    • (1947) Amer. Math. Monthly , vol.54 , pp. 515-525
    • George, A.1
  • 136
    • 84921991269 scopus 로고
    • Remarks before the Princeton bicentennial conference, 1946
    • M. Davis, ed., Hewlett, NY: Raven Press
    • George, A., ed. (1965), 'Remarks before the Princeton bicentennial conference, 1946', in M. Davis, ed., The Undecidable, Hewlett, NY: Raven Press, pp. 71-3
    • (1965) The Undecidable , pp. 71-73
    • George, A.1
  • 137
    • 0003913615 scopus 로고
    • Oxford University Press
    • George, A., ed. (1986-2003), Collected Works, Oxford University Press
    • (1986) Collected Works
    • George, A.1
  • 138
    • 0039941810 scopus 로고
    • Logic in the twenties: the nature of the quantifier
    • Goldfarb, W. (1979), 'Logic in the twenties: the nature of the quantifier', J. Symb. Logic, 44: 351-68
    • (1979) J. Symb. Logic , vol.44 , pp. 351-368
    • Goldfarb, W.1
  • 139
    • 0001769767 scopus 로고
    • Continuing horrors of topology without choice
    • Good, C. and Tree, I. (1995), 'Continuing horrors of topology without choice', Topology Appl, 63:79-90
    • (1995) Topology Appl , vol.63 , pp. 79-90
    • Good, C.1    Tree, I.2
  • 140
    • 33750154539 scopus 로고
    • On the restricted ordinal theorem
    • Goodstein, R. L. (1944), 'On the restricted ordinal theorem', J. Symb. Logic, 9: 33-41
    • (1944) J. Symb. Logic , vol.9 , pp. 33-41
    • Goodstein, R.L.1
  • 142
    • 0010897633 scopus 로고
    • Georg Cantor and transcendental numbers
    • Gray, R. (1994), 'Georg Cantor and transcendental numbers', Amer. Math. Monthly, 101:819-32
    • (1994) Amer. Math. Monthly , vol.101 , pp. 819-832
    • Gray, R.1
  • 145
    • 67649192327 scopus 로고
    • A theorem concerning the infinite cardinal numbers
    • Hardy, G. H. (1904), 'A theorem concerning the infinite cardinal numbers', Quart. J. Math., 35: 87-94
    • (1904) Quart. J. Math. , vol.35 , pp. 87-94
    • Hardy, G.H.1
  • 146
    • 84960567473 scopus 로고
    • The continuum and the second number class
    • Hale, B. and Wright, C. (1906), 'The continuum and the second number class', Proc. London Math. Soc., 4: 10-17
    • (1906) Proc. London Math. Soc. , vol.4 , pp. 10-17
    • Hale, B.1    Wright, C.2
  • 149
    • 0000054016 scopus 로고
    • Über das Problem der Wohlordnung
    • Hartogs, F. (1915), 'Über das Problem der Wohlordnung', Math. Ann., 76: 438-43
    • (1915) Math. Ann. , vol.76 , pp. 438-443
    • Hartogs, F.1
  • 150
    • 0000190180 scopus 로고
    • Grundzüge einer Theorie der geordneten Mengen
    • Hausdorff, F. (1908), 'Grundzüge einer Theorie der geordneten Mengen', Math. Ann., 65: 435-505
    • (1908) Math. Ann. , vol.65 , pp. 435-505
    • Hausdorff, F.1
  • 154
    • 84941396961 scopus 로고
    • Die Elemente der Functionlehre
    • Heine, E. (1872), 'Die Elemente der Functionlehre', J. reine angew. Math., 74: 172-88
    • (1872) J. reine angew. Math. , vol.74 , pp. 172-188
    • Heine, E.1
  • 158
    • 0001693130 scopus 로고
    • On the strength of non-standard analysis
    • Henson, C. W. and Keisler, H.J. (1986), 'On the strength of non-standard analysis', J. Symb. Logic, 51: 377-86
    • (1986) J. Symb. Logic , vol.51 , pp. 377-386
    • Henson, C.W.1    Keisler, H.J.2
  • 159
    • 0002270759 scopus 로고
    • sur la fonction exponentielle
    • Hermite, C. (1873), 'sur la fonction exponentielle', C. R. Acad. Sci. Paris, 77:18-24
    • (1873) C. R. Acad. Sci. Paris , vol.77 , pp. 18-24
    • Hermite, C.1
  • 161
    • 34250955001 scopus 로고
    • Über das Unendliche
    • Hilbert, D. (1925), 'Über das Unendliche', Math. Ann., 95: 161-90
    • (1925) Math. Ann. , vol.95 , pp. 161-190
    • Hilbert, D.1
  • 162
    • 0003879089 scopus 로고
    • Die Grundlehren der mathematischen Wissenschaften, Berlin: Springer
    • Hilbert, D. and Ackermann, W. (1928), Grundzüge der theoretischen Logik, Die Grundlehren der mathematischen Wissenschaften, 27, Berlin: Springer
    • (1928) Grundzüge der theoretischen Logik , vol.27
    • Hilbert, D.1    Ackermann, W.2
  • 164
    • 84909514587 scopus 로고
    • On the general theory of transfinite numbers and order types
    • Hobson, E. W. (1905), 'On the general theory of transfinite numbers and order types', Proc. London Math. Soc., 3: 170-88
    • (1905) Proc. London Math. Soc. , vol.3 , pp. 170-188
    • Hobson, E.W.1
  • 166
    • 0011377152 scopus 로고
    • Elementary predicate logic
    • D. Gabbay and F. Guenthner, eds, Vol. I, Dordrecht: Kluwer
    • Hodges, W. (1983), 'Elementary predicate logic', in D. Gabbay and F. Guenthner, eds, Handbook of Philosophical Logic, Vol. I, Dordrecht: Kluwer, pp. 1-131
    • (1983) Handbook of Philosophical Logic , pp. 1-131
    • Hodges, W.1
  • 167
    • 0004240663 scopus 로고
    • Cambridge University Press
    • Hilbert, D. (1993), Model Theory, Cambridge University Press
    • (1993) Model Theory
    • Hilbert, D.1
  • 168
    • 0032368550 scopus 로고    scopus 로고
    • An editor recalls some hopeless papers
    • Hilbert, D. (1998), 'An editor recalls some hopeless papers', Bull. Symb. Logic, 4: 1-16
    • (1998) Bull. Symb. Logic , vol.4 , pp. 1-16
    • Hilbert, D.1
  • 170
    • 77957003984 scopus 로고
    • Arithmetical truth and hidden higher order concepts
    • P. L. Group, ed., Amsterdam: North-Holland
    • Isaacson, D. (1987), 'Arithmetical truth and hidden higher order concepts', in P. L. Group, ed., Logic Colloquium '85, Amsterdam: North-Holland, pp. 147-69
    • (1987) Logic Colloquium '85 , pp. 147-169
    • Isaacson, D.1
  • 171
    • 0039881505 scopus 로고
    • some considerations on arithmetical truth and the ω-rule
    • M. Detlefsen, ed., London: Routledge
    • Hurd, A. E. and Loeb, P. A. (1992), 'some considerations on arithmetical truth and the ω-rule', in M. Detlefsen, ed., Proof, Logic and Formalization, London: Routledge, pp. 94-138
    • (1992) Proof, Logic and Formalization , pp. 94-138
    • Hurd, A.E.1    Loeb, P.A.2
  • 172
    • 0009236237 scopus 로고
    • Non-provability of Souslin's hypothesis
    • Jech, T.J. (1967), 'Non-provability of Souslin's hypothesis', Comment. Math. Univ. Carolinae, 8: 291-305
    • (1967) Comment. Math. Univ. Carolinae , vol.8 , pp. 291-305
    • Jech, T.J.1
  • 173
    • 84921968003 scopus 로고
    • Proceedings of Symposia in Pure Mathematics, Providence, RI: American Mathematical Society
    • Jech, T. J., ed. (1974), Axiomatic Set Theory II, Proceedings of Symposia in Pure Mathematics, 13, Providence, RI: American Mathematical Society
    • (1974) Axiomatic Set Theory II , vol.13
    • Jech, T.J.1
  • 174
    • 70349442020 scopus 로고
    • Independence of the axiom of countable dependent choices from the countable axiom of choice
    • Jensen, R. B. (1966), 'Independence of the axiom of countable dependent choices from the countable axiom of choice', J. Symb. Logic, 31: 294
    • (1966) J. Symb. Logic , vol.31 , pp. 294
    • Jensen, R.B.1
  • 175
    • 84974058952 scopus 로고
    • Inner models and large cardinals
    • Jech, T. J., ed. (1995), 'Inner models and large cardinals', Bull. Symb. Logic, 1: 393-407
    • (1995) Bull. Symb. Logic , vol.1 , pp. 393-407
    • Jech, T.J.1
  • 177
    • 0003374559 scopus 로고
    • On a proof that every aggregate can be well-ordered
    • Jourdain, P. E. B. (1905), 'On a proof that every aggregate can be well-ordered', Math. Ann., 60: 465-70
    • (1905) Math. Ann. , vol.60 , pp. 465-470
    • Jourdain, P.E.B.1
  • 178
    • 84960567520 scopus 로고
    • On the question of the existence of transfinite numbers
    • Jourdain, P. E. B. (1906), 'On the question of the existence of transfinite numbers', Proc. London Math. Soc., 4: 266-83
    • (1906) Proc. London Math. Soc. , vol.4 , pp. 266-283
    • Jourdain, P.E.B.1
  • 182
  • 183
    • 0003705407 scopus 로고
    • Oxford Logic Guides, Oxford: Clarendon Press
    • Kaye, R. (1991), Models of Peano Arithmetic, Oxford Logic Guides, 15, Oxford: Clarendon Press
    • (1991) Models of Peano Arithmetic , vol.15
    • Kaye, R.1
  • 184
    • 0004060563 scopus 로고
    • Boston, MA: Prindle, Weber & Schmidt
    • Keisler, H.J. (1976), Elementary Calculus, Boston, MA: Prindle, Weber & Schmidt
    • (1976) Elementary Calculus
    • Keisler, H.J.1
  • 185
  • 186
    • 61249558963 scopus 로고    scopus 로고
    • Hume = Small Hume
    • Ketland, J. (2002), 'Hume = Small Hume', Analysis, 62: 92-3
    • (2002) Analysis , vol.62 , pp. 92-93
    • Ketland, J.1
  • 187
    • 0000268733 scopus 로고
    • Accessible independence results for Peano arithmetic
    • Kirby, L. and Paris, J. (1982), 'Accessible independence results for Peano arithmetic', Bull. London Math. Soc., 14: 285-93
    • (1982) Bull. London Math. Soc. , vol.14 , pp. 285-293
    • Kirby, L.1    Paris, J.2
  • 188
    • 0040292946 scopus 로고
    • Über die Grundlagen der Mengenlehre und das Kontinuum-problem
    • König, J. (1905), 'Über die Grundlagen der Mengenlehre und das Kontinuum-problem', Math. Ann., 61: 15-160
    • (1905) Math. Ann. , vol.61 , pp. 15-160
    • König, J.1
  • 189
    • 11844271211 scopus 로고
    • Über einen Beweis des Äquivalenzsatzes
    • Korselt, A. (1911), 'Über einen Beweis des Äquivalenzsatzes', Math. Ann., 70: 294-6
    • (1911) Math. Ann. , vol.70 , pp. 294-296
    • Korselt, A.1
  • 190
    • 77956949740 scopus 로고
    • Informal rigour and completeness proofs
    • I. Lakatos, ed, Amsterdam: North-Holland
    • Kreisel, G. (1967a), 'Informal rigour and completeness proofs', in I. Lakatos, ed., Problems in the Philosophy of Mathematics; Amsterdam: North-Holland, pp. 138-86
    • (1967) Problems in the Philosophy of Mathematics; , pp. 138-186
    • Kreisel, G.1
  • 191
    • 0003223845 scopus 로고
    • Mathematical logic: What has it done for the philosophy of mathematics?
    • R. Schoenman, ed, London: Allen & Un-win
    • Kreisel, G. (1967b), 'Mathematical logic: What has it done for the philosophy of mathematics?', in R. Schoenman, ed., Bertrand Russell, London: Allen & Un-win,pp. 201-72
    • (1967) Bertrand Russell , pp. 201-272
    • Kreisel, G.1
  • 192
    • 35148873552 scopus 로고
    • Observations on popular discussions of foundations
    • Scott 1971
    • Kreisel, G. (1971), 'Observations on popular discussions of foundations', in Scott 1971, pp. 189-98
    • (1971) , pp. 189-198
    • Kreisel, G.1
  • 194
    • 0001530849 scopus 로고
    • Elementary embeddings and infinitary combinatories
    • Kunen, K. (1971), 'Elementary embeddings and infinitary combinatories', J. Symb. Logic, 36: 407-13
    • (1971) J. Symb. Logic , vol.36 , pp. 407-413
    • Kunen, K.1
  • 196
    • 0010891107 scopus 로고
    • sur la notion d'ordre dans la théorie des ensembles
    • Kuratowski, K. (1921), 'sur la notion d'ordre dans la théorie des ensembles', Fund. Math., 2: 161-71
    • (1921) Fund. Math. , vol.2 , pp. 161-171
    • Kuratowski, K.1
  • 197
    • 0010830092 scopus 로고
    • Une méthode d'élimination des nombres transfinis des raisonnements mathématiques
    • Kunen, K. (1922), 'Une méthode d'élimination des nombres transfinis des raisonnements mathématiques', Fund. Math., 5: 76-108
    • (1922) Fund. Math. , vol.5 , pp. 76-108
    • Kunen, K.1
  • 198
    • 0039349474 scopus 로고
    • Les opérations logiques et les ensembles projectifs
    • Kuratowski, K. and Tarski, A. (1931), 'Les opérations logiques et les ensembles projectifs', Fund. Math., 17: 240-8
    • (1931) Fund. Math. , vol.17 , pp. 240-248
    • Kuratowski, K.1    Tarski, A.2
  • 200
    • 52549116101 scopus 로고
    • Cauchy and the continuum: The significance of non-standard analysis for the history and philosophy of mathematics
    • Lakatos, I. (1978), 'Cauchy and the continuum: The significance of non-standard analysis for the history and philosophy of mathematics', Math. Intelligencer, 1: 151-61
    • (1978) Math. Intelligencer , vol.1 , pp. 151-161
    • Lakatos, I.1
  • 203
    • 33748797359 scopus 로고
    • sets and semantics
    • Lear, J. (1977), 'sets and semantics', J. Phil, 74: 86-102
    • (1977) J. Phil , vol.74 , pp. 86-102
    • Lear, J.1
  • 204
    • 0007284236 scopus 로고
    • sur les fonctions représentables analytiquement
    • Lebesgue, H. (1905), 'sur les fonctions représentables analytiquement', J. Math. PuresAppl., (6)1: 139-216
    • (1905) J. Math. PuresAppl. , vol.6 , Issue.1 , pp. 139-216
    • Lebesgue, H.1
  • 206
    • 84972518123 scopus 로고
    • A note on a problem concerning the axiomatic foundations of mereology
    • Lejewski, C. (1964), 'A note on a problem concerning the axiomatic foundations of mereology', Notre Dame J. Formal Logic, 4: 135-9
    • (1964) Notre Dame J. Formal Logic , vol.4 , pp. 135-139
    • Lejewski, C.1
  • 207
    • 84921965843 scopus 로고
    • On the foundations of the theory of sets
    • Lennes, N.J. (1922), 'On the foundations of the theory of sets', Bull. Amer. Math. Soc., 28: 300
    • (1922) Bull. Amer. Math. Soc. , vol.28 , pp. 300
    • Lennes, N.J.1
  • 208
    • 0002884661 scopus 로고
    • The calculus of individuals and its uses
    • Leonard, H. S. and Goodman, N. (1940), 'The calculus of individuals and its uses', J. Symb. Logic, 5: 45-55
    • (1940) J. Symb. Logic , vol.5 , pp. 45-55
    • Leonard, H.S.1    Goodman, N.2
  • 211
    • 51249189487 scopus 로고
    • Measurable cardinals and the continuum hypothesis
    • Levy, A. and Solovay, R. M. (1967), 'Measurable cardinals and the continuum hypothesis', Israel J. Math., 5: 234-48
    • (1967) Israel J. Math. , vol.5 , pp. 234-248
    • Levy, A.1    Solovay, R.M.2
  • 212
    • 84921982411 scopus 로고
    • Remarques sur un théorème de Paul Cohen
    • Levy, P. (1964), 'Remarques sur un théorème de Paul Cohen', Rev. Métaphys. Morale, 69: 88-94
    • (1964) Rev. Métaphys. Morale , vol.69 , pp. 88-94
    • Levy, P.1
  • 214
    • 4244159389 scopus 로고
    • Remarques sur un théorème fondamental de la théorie des ensembles
    • Lindelöf, E. (1905), 'Remarques sur un théorème fondamental de la théorie des ensembles', Acta Math., 29: 183-90
    • (1905) Acta Math. , vol.29 , pp. 183-190
    • Lindelöf, E.1
  • 215
    • 0039679035 scopus 로고
    • Über die Zahl π
    • Lindemann, F. (1882), 'Über die Zahl π' Math. Ann., 20: 213-25
    • (1882) Math. Ann. , vol.20 , pp. 213-225
    • Lindemann, F.1
  • 216
    • 2342514313 scopus 로고
    • Über die Unabhändigkeit des Auswahlsaxiom und einiger seiner Folgerungen
    • Lindenbaum, A. and Mostowski, A. (1938), 'Über die Unabhändigkeit des Auswahlsaxiom und einiger seiner Folgerungen', C. R. Varsovie, 31: 27-32
    • (1938) C. R. Varsovie , vol.31 , pp. 27-32
    • Lindenbaum, A.1    Mostowski, A.2
  • 217
    • 0040456170 scopus 로고
    • On extensions of elementary logic
    • Lindström, P. (1969), 'On extensions of elementary logic', Theoria, 35: 1-11
    • (1969) Theoria , vol.35 , pp. 1-11
    • Lindström, P.1
  • 218
    • 0009231605 scopus 로고
    • Des remarques relative à des classes très-étendues de quantités dont la valeur n'est ni rationelle ni même réductible à des irrationelles algébriques
    • Liouville, J. (1844), 'Des remarques relative à des classes très-étendues de quantités dont la valeur n'est ni rationelle ni même réductible à des irrationelles algébriques', C. R. Acad. Sci. Paris, 18: 883-5
    • (1844) C. R. Acad. Sci. Paris , vol.18 , pp. 883-885
    • Liouville, J.1
  • 220
    • 1542279665 scopus 로고
    • sur la classification de M. Baire
    • Lusin, N. N. (1917), 'sur la classification de M. Baire', C. R. Acad. Sci. Paris, 164:91-4
    • (1917) C. R. Acad. Sci. Paris , vol.164 , pp. 91-94
    • Lusin, N.N.1
  • 221
    • 0000948924 scopus 로고
    • sur les ensembles analytiques
    • Littlewood, J. E. (1927), 'sur les ensembles analytiques', Fund. Math., 10: 1-95
    • (1927) Fund. Math. , vol.10 , pp. 1-95
    • Littlewood, J.E.1
  • 223
    • 27544453147 scopus 로고
    • One universe as a foundation for category theory
    • Lecture Notes in Mathematics, 106, Berlin: Springer
    • Lane, S. (1969), 'One universe as a foundation for category theory', in Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics, 106, Berlin: Springer, pp. 192-200
    • (1969) Reports of the Midwest Category Seminar III , pp. 192-200
    • Lane, S.1
  • 225
    • 0039891400 scopus 로고
    • Proper classes
    • Maddy, P. (1983), 'Proper classes', J. Symb. Logic, 48: 113-39
    • (1983) J. Symb. Logic , vol.48 , pp. 113-139
    • Maddy, P.1
  • 226
    • 0040292478 scopus 로고
    • Believing the axioms
    • 736-64
    • Littlewood, J. E. (1988), 'Believing the axioms', J. Symb. Logic, 53: 481-511, 736-64
    • (1988) J. Symb. Logic , vol.53 , pp. 481-511
    • Littlewood, J.E.1
  • 229
    • 0001434559 scopus 로고
    • Borel determinacy
    • Martin, D. A. (1975), 'Borel determinacy', Ann. Math., 102: 363-71
    • (1975) Ann. Math. , vol.102 , pp. 363-371
    • Martin, D.A.1
  • 230
    • 0040886711 scopus 로고
    • Hilbert's first problem
    • F. E. Browder, ed., Proc. Symp. Pure Mathematics, 28, Providence, RI: American Mathematical Society
    • Martin, D. A. (1976), 'Hilbert's first problem', in F. E. Browder, ed., Mathematical developments arising from Hilberfs problems, Proc. Symp. Pure Mathematics, 28, Providence, RI: American Mathematical Society, pp. 81-92
    • (1976) Mathematical developments arising from Hilberfs problems , pp. 81-92
    • Martin, D.A.1
  • 231
    • 77956945924 scopus 로고
    • Descriptive set theory
    • Barwise 1977
    • Martin, D. A. (1977), 'Descriptive set theory', in Barwise 1977, pp. 783-815
    • (1977) , pp. 783-815
    • Martin, D.A.1
  • 233
    • 0035534319 scopus 로고    scopus 로고
    • slim models of Zermelo set theory
    • Mathias, A. (2001), 'slim models of Zermelo set theory', J. Symb. Logic, 66: 487-96
    • (2001) J. Symb. Logic , vol.66 , pp. 487-496
    • Mathias, A.1
  • 234
    • 37849025183 scopus 로고    scopus 로고
    • A term of length 4,523,659,424,929
    • Mathias, A. (2002), 'A term of length 4,523,659,424,929', Synthese, 133: 75-86
    • (2002) Synthese , vol.133 , pp. 75-86
    • Mathias, A.1
  • 235
    • 0039891395 scopus 로고
    • On the consistency problem for set theory
    • 137-70
    • Mayberry, J. P. (1977), 'On the consistency problem for set theory', British J. Phil Sci., 28: 1-34, 137-70
    • (1977) British J. Phil Sci. , vol.28 , pp. 1-34
    • Mayberry, J.P.1
  • 236
    • 77958397980 scopus 로고
    • What is required of a foundation for mathematics?
    • Mayberry, J. P. (1994), 'What is required of a foundation for mathematics?', Phil Math. (III), 2: 16-35
    • (1994) Phil Math. (III) , vol.2 , pp. 16-35
    • Mayberry, J.P.1
  • 237
  • 238
    • 55449116183 scopus 로고
    • sur un ensemble superposables avec chacune de ses deux parties
    • Mazurkiewicz, S. and Sierpinski, W. (1914), 'sur un ensemble superposables avec chacune de ses deux parties', C. R. Acad. Sci. Paris, 158: 618-19
    • (1914) C. R. Acad. Sci. Paris , vol.158 , pp. 618-619
    • Mazurkiewicz, S.1    Sierpinski, W.2
  • 239
    • 21244502294 scopus 로고
    • skolem's criticisms of set theory
    • McIntosh, C. (1979), 'skolem's criticisms of set theory', Noûs, 13: 313-34
    • (1979) Noûs , vol.13 , pp. 313-334
    • McIntosh, C.1
  • 241
    • 84921940131 scopus 로고
    • some proofs of independence in axiomatic set theory
    • Mendelson, E. (1956), 'some proofs of independence in axiomatic set theory', J. Symb. Logic, 21:291-303
    • (1956) J. Symb. Logic , vol.21 , pp. 291-303
    • Mendelson, E.1
  • 243
    • 0039210566 scopus 로고
    • Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles
    • Mirimanoff, D. (1917), 'Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles', Enseignement Math., 19: 37-52
    • (1917) Enseignement Math. , vol.19 , pp. 37-52
    • Mirimanoff, D.1
  • 246
    • 0002242447 scopus 로고
    • Beyond first order logic: the historical interplay between mathematical logic and axiomatic set theory
    • Moore, G. H. (1980), 'Beyond first order logic: the historical interplay between mathematical logic and axiomatic set theory', Hist. Phil. Logic, 1: 95-137.
    • (1980) Hist. Phil. Logic , vol.1 , pp. 95-137
    • Moore, G.H.1
  • 248
    • 3142658481 scopus 로고
    • Towards a history of Cantor's continuum problem
    • D. E. Rowe and J. McCleary, eds, San Diego, CA: Academic Press
    • Moore, A. W. (1989), 'Towards a history of Cantor's continuum problem', in D. E. Rowe and J. McCleary, eds, The History of Modern Mathematics: Ideas and their Reception, San Diego, CA: Academic Press, pp. 79-121.
    • (1989) The History of Modern Mathematics: Ideas and their Reception , pp. 79-121
    • Moore, A.W.1
  • 249
  • 251
    • 0011290167 scopus 로고
    • Axiom of choice for finite sets
    • Mostowski, A. (1945), 'Axiom of choice for finite sets', Fund. Math., 33: 137-68.
    • (1945) Fund. Math. , vol.33 , pp. 137-168
    • Mostowski, A.1
  • 252
    • 33748330138 scopus 로고
    • On the principle of dependent choices
    • Morse, A. P. (1948), 'On the principle of dependent choices', Fund. Math., 35: 127-30.
    • (1948) Fund. Math. , vol.35 , pp. 127-130
    • Morse, A.P.1
  • 254
    • 0040081830 scopus 로고    scopus 로고
    • sets, classes, and categories
    • Muller, F. A. (2001), 'sets, classes, and categories', British J. Phil Sci, 52: 539-73.
    • (2001) British J. Phil Sci , vol.52 , pp. 539-573
    • Muller, F.A.1
  • 255
    • 31644438212 scopus 로고
    • A mathematical axiom contradicting the axiom of choice
    • Mycielski, J. and Steinhaus, H. (1962), 'A mathematical axiom contradicting the axiom of choice', Bull. Acad. Polon. Sci, 10: 1-3.
    • (1962) Bull. Acad. Polon. Sci , vol.10 , pp. 1-3
    • Mycielski, J.1    Steinhaus, H.2
  • 256
    • 0040113446 scopus 로고
    • On the Lebesgue measurability and the axiom of determinateness
    • Mycielski, J. and Swierczkowski, S. (1964), 'On the Lebesgue measurability and the axiom of determinateness', Fund. Math., 54: 67-71.
    • (1964) Fund. Math. , vol.54 , pp. 67-71
    • Mycielski, J.1    Swierczkowski, S.2
  • 258
    • 0012368263 scopus 로고
    • Mr Russell's "causal theory of perception"
    • Newman, M. (1928), 'Mr Russell's "causal theory of perception" ', Mind, 37: 137-48.
    • (1928) Mind , vol.37 , pp. 137-148
    • Newman, M.1
  • 259
    • 61449306666 scopus 로고
    • Are subclasses parts of classes?
    • Oliver, A. (1994), 'Are subclasses parts of classes?' Analysis, 54: 215-23.
    • (1994) Analysis , vol.54 , pp. 215-223
    • Oliver, A.1
  • 260
    • 3843142533 scopus 로고    scopus 로고
    • Hazy totalities and indefinitely extensible concepts: an exercise in the interpretation of Dummett's philosophy of mathematics
    • Brandl and Sullivan 1998
    • Oliver, A. (1998), 'Hazy totalities and indefinitely extensible concepts: an exercise in the interpretation of Dummett's philosophy of mathematics', in Brandl and Sullivan 1998, pp. 25-50.
    • (1998) , pp. 25-50
    • Oliver, A.1
  • 261
    • 33751108544 scopus 로고
    • sets and classes
    • Parsons, C. (1974), 'sets and classes', Noûs, 8: 1-12.
    • (1974) Noûs , vol.8 , pp. 1-12
    • Parsons, C.1
  • 262
    • 0041128560 scopus 로고
    • What is the iterative concept of set?
    • Butts and Hintikka 1977
    • Parsons, C. (1977), 'What is the iterative concept of set?', in Butts and Hintikka 1977, pp. 335-67.
    • (1977) , pp. 335-367
    • Parsons, C.1
  • 264
    • 84921958629 scopus 로고    scopus 로고
    • Hao Wang as philosopher
    • P. Hájek, ed, Lecture Notes in Logic, 6, Berlin: Springer
    • Parsons, C. (1996), 'Hao Wang as philosopher', in P. Hájek, ed., Gödel '96, Lecture Notes in Logic, 6, Berlin: Springer, pp. 64-80.
    • (1996) Gödel '96 , pp. 64-80
    • Parsons, C.1
  • 266
    • 21244460091 scopus 로고    scopus 로고
    • The open-endedness of the set concept and the semantics of set theory
    • Paseau, A. (2003), 'The open-endedness of the set concept and the semantics of set theory', Synthese, 135: 381-401
    • (2003) Synthese , vol.135 , pp. 381-401
    • Paseau, A.1
  • 268
    • 0000441526 scopus 로고
    • Démonstration de l'intégrabilité des équations différentielles ordinaires
    • repr. in Peano 1957-9, pp. 119-70
    • Peano, G. (1890), 'Démonstration de l'intégrabilité des équations différentielles ordinaires', Math. Ann., 37: 182-228 (repr. in Peano 1957-9, pp. 119-70)
    • (1890) Math. Ann. , vol.37 , pp. 182-228
    • Peano, G.1
  • 269
    • 0010899078 scopus 로고
    • super theorema de Cantor-Bernstein
    • Peano, G. (1906), 'super theorema de Cantor-Bernstein', Rend. Circ. Mat. Palermo, 21:360-6
    • (1906) Rend. Circ. Mat. Palermo , vol.21 , pp. 360-366
    • Peano, G.1
  • 270
    • 0041503474 scopus 로고
    • Le definizione in matematica
    • Peano, G. (1921), 'Le definizione in matematica', Periodico di matematiche (4), 1: 175-89
    • (1921) Periodico di matematiche (4) , vol.1 , pp. 175-189
    • Peano, G.1
  • 272
    • 0042936590 scopus 로고
    • Eliminating the continuum hypothesis
    • Platek, R. A. (1969), 'Eliminating the continuum hypothesis', J. Symb. Logic, 34:219-25
    • (1969) J. Symb. Logic , vol.34 , pp. 219-225
    • Platek, R.A.1
  • 273
    • 0003375195 scopus 로고
    • Les mathématiques et la logique
    • 294-317,866-8
    • Poincaré, H. (1906), 'Les mathématiques et la logique', Rev. Métaphys. Morale, 14: 17-34,294-317,866-8
    • (1906) Rev. Métaphys. Morale , vol.14 , pp. 17-34
    • Poincaré, H.1
  • 274
    • 14844293615 scopus 로고
    • Paris: Flammarion (trans, as Poincaré 1963)
    • Poincaré, H. (1913), Dernières Pensees, Paris: Flammarion (trans, as Poincaré 1963)
    • (1913) Dernières Pensees
    • Poincaré, H.1
  • 277
    • 84962984573 scopus 로고
    • Critical notice of Parts of Classes by David Lewis
    • Potter, M. (1993), 'Critical notice of Parts of Classes by David Lewis', Phil. Quart., 43: 362-6
    • (1993) Phil. Quart. , vol.43 , pp. 362-366
    • Potter, M.1
  • 278
    • 84921973629 scopus 로고    scopus 로고
    • Classical arithmetic is part of intuitionistic arithmetic
    • Poincaré, H. (1998), 'Classical arithmetic is part of intuitionistic arithmetic', Grazer phil. Stud., 55: 127-41
    • (1998) Grazer phil. Stud. , vol.55 , pp. 127-141
    • Poincaré, H.1
  • 280
    • 0002217486 scopus 로고
    • Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen
    • Warsaw
    • Presburger, M. (1930), 'Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen', in Sprawozdanie z I Kongresu Mat. Krajów Slowiańskich, Warsaw, pp. 92-101
    • (1930) Sprawozdanie z I Kongresu Mat. Krajów Slowiańskich , pp. 92-101
    • Presburger, M.1
  • 282
    • 0002648050 scopus 로고    scopus 로고
    • The lengths of proofs
    • S. Buss, ed., Amsterdam: North-Holland
    • Pudlak, P. (1998), 'The lengths of proofs', in S. Buss, ed., Handbook of Proof Theory, Amsterdam: North-Holland, pp. 547-637
    • (1998) Handbook of Proof Theory , pp. 547-637
    • Pudlak, P.1
  • 283
    • 0346570547 scopus 로고
    • Models and reality
    • Putnam, H. (1980), 'Models and reality', J. Symb. Logic, 45: 464-82
    • (1980) J. Symb. Logic , vol.45 , pp. 464-482
    • Putnam, H.1
  • 285
    • 84921948305 scopus 로고    scopus 로고
    • Paradox revisited II: Sets
    • Sher and Tieszen 2000
    • Putnam, H. (2000), 'Paradox revisited II: Sets', in Sher and Tieszen 2000, pp. 16-26
    • (2000) , pp. 16-26
    • Putnam, H.1
  • 286
    • 0002496986 scopus 로고
    • New foundations for mathematical logic
    • Quine, W. V. (1937), 'New foundations for mathematical logic', Amer. Math. Monthly, 44: 70-80
    • (1937) Amer. Math. Monthly , vol.44 , pp. 70-80
    • Quine, W.V.1
  • 288
    • 0040718913 scopus 로고
    • On what there is
    • Quine, W. V. (1948), 'On what there is', Rev. Metaphys., 2: 21-8
    • (1948) Rev. Metaphys. , vol.2 , pp. 21-28
    • Quine, W.V.1
  • 289
    • 0004225575 scopus 로고
    • rev. edn, Cambridge, MA: Harvard University Press
    • Quine, W. V. (1951), Mathematical Logic, rev. edn, Cambridge, MA: Harvard University Press
    • (1951) Mathematical Logic
    • Quine, W.V.1
  • 290
    • 0013038565 scopus 로고
    • rev. edn, Cambridge, MA: Harvard University Press
    • Quine, W. V. (1969), Set Theory and its Logic, rev. edn, Cambridge, MA: Harvard University Press
    • (1969) Set Theory and its Logic
    • Quine, W.V.1
  • 291
    • 84960578136 scopus 로고
    • The foundations of mathematics
    • Ramsey, F. P. (1926), 'The foundations of mathematics', Proc. London Math. Soc., 25: 338-84
    • (1926) Proc. London Math. Soc. , vol.25 , pp. 338-384
    • Ramsey, F.P.1
  • 293
    • 49149137978 scopus 로고
    • Zermelo's discovery of the "Russell paradox"
    • Paul, Trench & Trubner Rang, B. and Thomas, W. (1981), 'Zermelo's discovery of the "Russell paradox" ', Hist. Math., 8: 15-22
    • (1981) Hist. Math. , vol.8 , pp. 15-22
    • Paul, T.1    Trubner Rang, B.2    Thomas, W.3
  • 294
    • 0346434315 scopus 로고
    • Remarks on reflection principles, large cardinals, and elementary embeddings
    • injech 1974
    • Reinhardt, W. (1974), 'Remarks on reflection principles, large cardinals, and elementary embeddings', injech 1974, pp. 189-206
    • (1974) , pp. 189-206
    • Reinhardt, W.1
  • 295
    • 84972574778 scopus 로고
    • A note on naive set theory in LP
    • Restall, G. (1992), 'A note on naive set theory in LP', Notre Dame J. Formal Logic, 33: 422-32
    • (1992) Notre Dame J. Formal Logic , vol.33 , pp. 422-432
    • Restall, G.1
  • 296
    • 48749123260 scopus 로고    scopus 로고
    • An argument for Finsler-Aczel set theory
    • Rieger, A. (2000), 'An argument for Finsler-Aczel set theory', Mind, 109: 241-53
    • (2000) Mind , vol.109 , pp. 241-253
    • Rieger, A.1
  • 298
    • 84921959792 scopus 로고
    • some thoughts on the history of mathematics
    • Robinson, A. (1968), 'some thoughts on the history of mathematics', Comp. Math., 20: 188-93
    • (1968) Comp. Math. , vol.20 , pp. 188-193
    • Robinson, A.1
  • 299
  • 300
    • 0013150596 scopus 로고
    • On the decomposition of spheres
    • Robinson, R. M. (1947), 'On the decomposition of spheres', Fund. Math., 34: 246-60
    • (1947) Fund. Math. , vol.34 , pp. 246-260
    • Robinson, R.M.1
  • 301
    • 84887942826 scopus 로고
    • The Burali-Forti paradox
    • Rosser, B. (1942), 'The Burali-Forti paradox', J. Symb. Logic, 7: 1-17
    • (1942) J. Symb. Logic , vol.7 , pp. 1-17
    • Rosser, B.1
  • 302
    • 84921992677 scopus 로고
    • Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland
    • Rubin, H. and Rubin, J. (1985), Equivalents of the Axiom of Choice II, Studies in Logic and the Foundations of Mathematics, 116, Amsterdam: North-Holland
    • (1985) Equivalents of the Axiom of Choice II , vol.116
    • Rubin, H.1    Rubin, J.2
  • 304
    • 0010828295 scopus 로고
    • Les paradoxes de la logique
    • Rubin, H. and Rubin, J. (1906a), 'Les paradoxes de la logique', Rev. Métaphys. Morale, 14:627-50
    • (1906) Rev. Métaphys. Morale , vol.14 , pp. 627-650
    • Rubin, H.1    Rubin, J.2
  • 305
    • 84960616064 scopus 로고
    • On some difficulties in the theory of transfinite numbers and order types
    • repr. in Russell 1973a, pp. 135-64
    • Rubin, H. and Rubin, J. (1906b), 'On some difficulties in the theory of transfinite numbers and order types', Proc. London Math. Soc., 4: 29-53 (repr. in Russell 1973a, pp. 135-64)
    • (1906) Proc. London Math. Soc. , vol.4 , pp. 29-53
    • Rubin, H.1    Rubin, J.2
  • 306
    • 0000719960 scopus 로고
    • Mathematical logic as based on the theory of types
    • Rubin, H. and Rubin, J. (1908), 'Mathematical logic as based on the theory of types', Amer. J. Math., 30: 222-62
    • (1908) Amer. J. Math. , vol.30 , pp. 222-262
    • Rubin, H.1    Rubin, J.2
  • 309
    • 0000266218 scopus 로고
    • The limits of empiricism
    • Rubin, H. and Rubin, J. (1936), 'The limits of empiricism', Proc. Arist. Soc., 36: 131-50
    • (1936) Proc. Arist. Soc. , vol.36 , pp. 131-150
    • Rubin, H.1    Rubin, J.2
  • 311
    • 0345942837 scopus 로고
    • The regressive method of discovering the premises of mathematics
    • Russell 1973a, written in 1907
    • Rubin, H. and Rubin, J. (1973b), 'The regressive method of discovering the premises of mathematics', in Essays in Analysis (Russell 1973a), pp. 272-83 (written in 1907)
    • (1973) Essays in Analysis , pp. 272-283
    • Rubin, H.1    Rubin, J.2
  • 312
    • 1542691512 scopus 로고
    • Library of Living Philosophers, New York: Tudor Publishing Co.
    • Schilpp, P. A., ed. (1944), The Philosophy of Bertrand Russell, Library of Living Philosophers, New York: Tudor Publishing Co.
    • (1944) The Philosophy of Bertrand Russell
    • Schilpp, P.A.1
  • 313
    • 0008826336 scopus 로고
    • Über wohlgeordnete Mengen
    • Schönflies, A. (1905), 'Über wohlgeordnete Mengen', Math. Ann., 60: 181-6
    • (1905) Math. Ann. , vol.60 , pp. 181-186
    • Schönflies, A.1
  • 317
    • 13844274960 scopus 로고
    • Definitions by abstraction in axiomatic set theory
    • Scott, D. S. (1955), 'Definitions by abstraction in axiomatic set theory', Bull. Amer. Math. Soc., 61: 442
    • (1955) Bull. Amer. Math. Soc. , vol.61 , pp. 442
    • Scott, D.S.1
  • 318
    • 0007454961 scopus 로고
    • Measurable cardinals and constructible sets
    • Scott, D. S. (1961), 'Measurable cardinals and constructible sets', Bull. Acad. Pol. Sci, 9:521-4
    • (1961) Bull. Acad. Pol. Sci , vol.9 , pp. 521-524
    • Scott, D.S.1
  • 319
    • 0009148383 scopus 로고
    • Axiomatizing set theory
    • Jech 1974
    • Scott, D. S. (1974), 'Axiomatizing set theory', in Jech 1974, pp. 207-14
    • (1974) , pp. 207-214
    • Scott, D.S.1
  • 320
    • 84921989352 scopus 로고
    • Proceedings of Symposia in Pure Mathematics, Providence, RI: American Mathematical Society
    • Scott, D. S., ed. (1971), Axiomatic Set Theory I, Proceedings of Symposia in Pure Mathematics, 13, Providence, RI: American Mathematical Society
    • (1971) Axiomatic Set Theory I , vol.13
    • Scott, D.S.1
  • 321
    • 69549099065 scopus 로고
    • An elementary proof of Dirichlet's theorem about primes in an arithmetical progression
    • Selberg, A. (1949), 'An elementary proof of Dirichlet's theorem about primes in an arithmetical progression', Ann. Math., 50: 297-304
    • (1949) Ann. Math. , vol.50 , pp. 297-304
    • Selberg, A.1
  • 323
    • 0040486705 scopus 로고
    • second-order languages and mathematical practice
    • Shapiro, S. (1985), 'second-order languages and mathematical practice', J. Symb. Logic, 50: 714-42
    • (1985) J. Symb. Logic , vol.50 , pp. 714-742
    • Shapiro, S.1
  • 325
    • 3843092502 scopus 로고    scopus 로고
    • New V, ZF and abstraction
    • Shapiro, S. and Weir, A. (1999), 'New V, ZF and abstraction', Phil. Math. (III), 7:293-321
    • (1999) Phil. Math. (III) , vol.7 , pp. 293-321
    • Shapiro, S.1    Weir, A.2
  • 327
    • 77956958316 scopus 로고
    • Axioms of set theory
    • Barwise 1977
    • Shoenfield, J. R. (1977), 'Axioms of set theory', in Barwise 1977, pp. 321-44
    • (1977) , pp. 321-344
    • Shoenfield, J.R.1
  • 328
    • 0001622476 scopus 로고
    • sur l'hypothèse du continu (ℵ 0 = ℵ 21 )
    • Sierpinski, W. (1924), 'sur l'hypothèse du continu (ℵ 0 = ℵ 21 )', Fund Math., 5: 177-87
    • (1924) Fund Math. , vol.5 , pp. 177-187
    • Sierpinski, W.1
  • 331
    • 0039891393 scopus 로고    scopus 로고
    • sets, classes and extensions: a singularity approach to Russell's paradox
    • Simmons, K. (2000), 'sets, classes and extensions: a singularity approach to Russell's paradox', Phil. Studies, 100: 109-49
    • (2000) Phil. Studies , vol.100 , pp. 109-149
    • Simmons, K.1
  • 332
    • 0010823673 scopus 로고
    • Appartenance et inclusion: un inédit de Richard Dede-kind
    • Sinaceur, M. A. (1973), 'Appartenance et inclusion: un inédit de Richard Dede-kind', Rev. Hist. Sci., 24: 247-54
    • (1973) Rev. Hist. Sci. , vol.24 , pp. 247-254
    • Sinaceur, M.A.1
  • 335
  • 337
    • 33845477112 scopus 로고
    • J. W. Addison, L. Henkin and A. Tarski, eds, Amsterdam: North-Holland
    • Solovay, R. M. (1964), '20 ℵ° can be anything it ought to be', in J. W. Addison, L. Henkin and A. Tarski, eds, The Theory of Models, Amsterdam: North-Holland, p. 435
    • (1964) The Theory of Models , pp. 435
    • Solovay, R.M.1
  • 338
    • 0002548418 scopus 로고
    • A model of set theory in which every set of reals is Lebesgue measurable
    • Skolem, T. (1970), 'A model of set theory in which every set of reals is Lebesgue measurable', Ann. Math., 92: 1-56
    • (1970) Ann. Math. , vol.92 , pp. 1-56
    • Skolem, T.1
  • 339
    • 0001096396 scopus 로고
    • strongly compact cardinals and the generalized continuum hypothesis
    • L. Henkin, ed., Proceedings of Symposia in Pure Mathematics, 25, Providence, RI: American Mathematical Society
    • Skolem, T. (1974), 'strongly compact cardinals and the generalized continuum hypothesis', in L. Henkin, ed., Tarski Symposium, Proceedings of Symposia in Pure Mathematics, 25, Providence, RI: American Mathematical Society, pp. 365-72
    • (1974) Tarski Symposium , pp. 365-372
    • Skolem, T.1
  • 340
    • 0000772230 scopus 로고
    • Iterated Cohen extensions and Souslin's problem
    • Solovay, R. M. and Tennenbaum, S. (1971), 'Iterated Cohen extensions and Souslin's problem', Ann. Math., 94: 201-45
    • (1971) Ann. Math. , vol.94 , pp. 201-245
    • Solovay, R.M.1    Tennenbaum, S.2
  • 341
    • 0005834361 scopus 로고
    • sur une définition des ensembles mesurables B sans nombres transfinis
    • Souslin, M. Y. (1917), 'sur une définition des ensembles mesurables B sans nombres transfinis', C R. Acad. Sci. Paris, 164: 88-91
    • (1917) C R. Acad. Sci. Paris , vol.164 , pp. 88-91
    • Souslin, M.Y.1
  • 342
    • 0009234796 scopus 로고
    • Problème 3
    • Souslin, M. Y. (1920), 'Problème 3', Fund. Math., 1: 223
    • (1920) Fund. Math. , vol.1 , pp. 223
    • Souslin, M.Y.1
  • 343
    • 21244464470 scopus 로고    scopus 로고
    • Mathematics needs new axioms
    • Steel, J. R. (2000), 'Mathematics needs new axioms', Bull. Symb. Logic, 6: 422-33
    • (2000) Bull. Symb. Logic , vol.6 , pp. 422-433
    • Steel, J.R.1
  • 344
    • 84941451080 scopus 로고
    • Algebraische Theorie der Körpern
    • Steinitz, E. (1910), 'Algebraische Theorie der Körpern', J. reine angew. Math., 137:163-309
    • (1910) J. reine angew. Math. , vol.137 , pp. 163-309
    • Steinitz, E.1
  • 346
    • 84977398938 scopus 로고
    • Wittgenstein on The Foundations of Mathematics, June 1927
    • Sullivan, P. M. (1995), 'Wittgenstein on The Foundations of Mathematics, June 1927', Theoria, 61: 105-42
    • (1995) Theoria , vol.61 , pp. 105-142
    • Sullivan, P.M.1
  • 348
    • 0141520423 scopus 로고
    • The law of excluded middle and the axiom of choice
    • George 1994
    • Tait, W. W. (1994), 'The law of excluded middle and the axiom of choice', in George 1994, pp. 45-70
    • (1994) , pp. 45-70
    • Tait, W.W.1
  • 349
    • 84921948084 scopus 로고    scopus 로고
    • Foundations of set theory
    • Dales and Oliveri 1998
    • Suppes, P. (1998), 'Foundations of set theory', in Dales and Oliveri 1998, pp. 273-90
    • (1998) , pp. 273-290
    • Suppes, P.1
  • 350
    • 84921943628 scopus 로고    scopus 로고
    • Cantor's Grundlagen and the paradoxes of set theory
    • Sher and Tieszen 2000
    • Suppes, P. (2000), 'Cantor's Grundlagen and the paradoxes of set theory', in Sher and Tieszen 2000, pp. 269-90
    • (2000) , pp. 269-290
    • Suppes, P.1
  • 351
    • 84921974648 scopus 로고
    • Hypotheses on power sets
    • Scott 1971
    • Takeuti, G. (1971), 'Hypotheses on power sets', in Scott 1971, pp. 439-46
    • (1971) , pp. 439-446
    • Takeuti, G.1
  • 352
    • 29544452119 scopus 로고
    • Elementary axioms and pictures for infinitesimal calculus
    • Tall, D. (1982), 'Elementary axioms and pictures for infinitesimal calculus', Bull. IMA, 18: 43-8
    • (1982) Bull. IMA , vol.18 , pp. 43-48
    • Tall, D.1
  • 353
    • 0007271342 scopus 로고
    • sur quelques théorèmes qui équivalent à l'axiome du choix
    • Tarski, A. (1924), 'sur quelques théorèmes qui équivalent à l'axiome du choix', Fund. Math., 5: 147-54
    • (1924) Fund. Math. , vol.5 , pp. 147-154
    • Tarski, A.1
  • 355
    • 84921945534 scopus 로고
    • The notion of rank in axiomatic set theory and some of its applications
    • Tarski, A. (1955), 'The notion of rank in axiomatic set theory and some of its applications', Bull. Amer. Math. Soc., 61: 443
    • (1955) Bull. Amer. Math. Soc. , vol.61 , pp. 443
    • Tarski, A.1
  • 356
    • 84891418529 scopus 로고
    • What is elementary geometry?
    • L. Henkin, P. Suppes and A. Tarski, eds, Amsterdam: North-Holland
    • Tarski, A. (1959), 'What is elementary geometry?', in L. Henkin, P. Suppes and A. Tarski, eds, The Axiomatic Method, Amsterdam: North-Holland, pp. 16-29
    • (1959) The Axiomatic Method , pp. 16-29
    • Tarski, A.1
  • 357
    • 18244379179 scopus 로고
    • Braucht der Algebraiker das Auswahlaxiom?
    • Teichmüller, O. (1939), 'Braucht der Algebraiker das Auswahlaxiom?', Deutsche Math., 4: 567-77
    • (1939) Deutsche Math. , vol.4 , pp. 567-577
    • Teichmüller, O.1
  • 358
    • 34250397602 scopus 로고
    • Which logic is the right logic?
    • Tharp, L. (1975), 'Which logic is the right logic?', Synthese, 31: 1-21
    • (1975) Synthese , vol.31 , pp. 1-21
    • Tharp, L.1
  • 361
    • 0003461529 scopus 로고
    • Annals of Mathematics Studies, Princeton University Press
    • Tukey, J. W. (1940), Convergence and Uniformity in Topology, Annals of Mathematics Studies, 2, Princeton University Press
    • (1940) Convergence and Uniformity in Topology , vol.2
    • Tukey, J.W.1
  • 362
    • 0033246737 scopus 로고    scopus 로고
    • Models of second-order Zermelo set theory
    • Uzquiano, G. (1999), 'Models of second-order Zermelo set theory', Bull. Symb. Logic, 5: 289-302
    • (1999) Bull. Symb. Logic , vol.5 , pp. 289-302
    • Uzquiano, G.1
  • 363
    • 0002546815 scopus 로고
    • Alfred Tarski's elimination theory for real closed fields
    • van den Dries, L. (1988), 'Alfred Tarski's elimination theory for real closed fields', J. Symb. Logic, 53: 7-19
    • (1988) J. Symb. Logic , vol.53 , pp. 7-19
    • Van den Dries, L.1
  • 365
    • 77956973604 scopus 로고
    • set-theoretic semantics
    • R. O. Gandy and J. M. E. Hyland, eds, Amsterdam: North-Holland
    • van Heijenoort, J. (1977), 'set-theoretic semantics', in R. O. Gandy and J. M. E. Hyland, eds, Logic Colloquium '76, Amsterdam: North-Holland, pp. 183-90
    • (1977) Logic Colloquium '76 , pp. 183-190
    • van Heijenoort, J.1
  • 367
    • 33745253320 scopus 로고
    • Axiomatizability by schemas
    • Vaught, R. (1967), 'Axiomatizability by schemas', J. Symb. Logic, 32: 473-9
    • (1967) J. Symb. Logic , vol.32 , pp. 473-479
    • Vaught, R.1
  • 368
    • 0000432574 scopus 로고
    • Eine Axiomatisierung der Mengenlehre
    • von Neumann, J. (1925), 'Eine Axiomatisierung der Mengenlehre', J. reine angew. Math., 154:219-40
    • (1925) J. reine angew. Math. , vol.154 , pp. 219-240
    • von Neumann, J.1
  • 369
    • 0012941742 scopus 로고
    • Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland
    • Wang, H. (1963), A Survey of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland
    • (1963) A Survey of Mathematical Logic
    • Wang, H.1
  • 371
    • 84921982151 scopus 로고
    • Large sets
    • Butts and Hintikka 1977
    • Wang, H. (1977), 'Large sets', in Butts and Hintikka 1977, pp. 309-33
    • (1977) , pp. 309-333
    • Wang, H.1
  • 372
    • 84921981448 scopus 로고
    • Englewood Cliffs, NJ: Prentice-Hall
    • Warner, S. (1968), Algebra, Englewood Cliffs, NJ: Prentice-Hall
    • (1968) Algebra
    • Warner, S.1
  • 373
    • 0008835439 scopus 로고
    • Gauss on infinity
    • Waterhouse, W. C. (1979), 'Gauss on infinity', Hist. Math., 6: 430-6
    • (1979) Hist. Math. , vol.6 , pp. 430-436
    • Waterhouse, W.C.1
  • 374
    • 33748784557 scopus 로고    scopus 로고
    • Naive set theory is innocent
    • Weir, A. (1998a), 'Naive set theory is innocent', Mind, 107:763-98
    • (1998) Mind , vol.107 , pp. 763-798
    • Weir, A.1
  • 375
    • 79956507395 scopus 로고    scopus 로고
    • Naive set theory, paraconsistency and indeterminacy, I
    • Weir, A. (1998b), 'Naive set theory, paraconsistency and indeterminacy, I', Logique et Analyse, 41:219-66
    • (1998) Logique et Analyse , vol.41 , pp. 219-266
    • Weir, A.1
  • 376
    • 79956507395 scopus 로고    scopus 로고
    • Naive set theory, paraconsistency and indeterminacy, II
    • Weir, A. (1999), 'Naive set theory, paraconsistency and indeterminacy, II', Logique et Analyse, 42: 283-340
    • (1999) Logique et Analyse , vol.42 , pp. 283-340
    • Weir, A.1
  • 378
    • 0011864758 scopus 로고
    • On cardinal numbers
    • Whitehead, A. N. (1902), 'On cardinal numbers', Amer. J. Math., 24: 367-94
    • (1902) Amer. J. Math. , vol.24 , pp. 367-394
    • Whitehead, A.N.1
  • 381
    • 0039349434 scopus 로고
    • A simplification of the logic of relations
    • repr. in van Heijenoort 1967, pp. 224-7
    • Wiener, N. (1914), 'A simplification of the logic of relations', Proc. Camb. Phil. Soc., 17: 387-90 (repr. in van Heijenoort 1967, pp. 224-7)
    • (1914) Proc. Camb. Phil. Soc. , vol.17 , pp. 387-390
    • Wiener, N.1
  • 383
    • 34250956078 scopus 로고
    • The evaluation of the zeros of ill-conditioned polynomials
    • Wilkinson, J. H. (1959), 'The evaluation of the zeros of ill-conditioned polynomials', Num. Math., 1: 150-80
    • (1959) Num. Math. , vol.1 , pp. 150-180
    • Wilkinson, J.H.1
  • 386
    • 65749312433 scopus 로고
    • Large cardinal axioms and independence: The continuum problem revisited
    • Woodin, W. H. (1994), 'Large cardinal axioms and independence: The continuum problem revisited', Math. Intelligencer, 16: 31-5
    • (1994) Math. Intelligencer , vol.16 , pp. 31-35
    • Woodin, W.H.1
  • 387
    • 0001495865 scopus 로고    scopus 로고
    • The continuum hypothesis, I
    • Wittgenstein, L. (2001a), 'The continuum hypothesis, I', Not. Amer. Math. Soc., 48:567-76
    • (2001) Not. Amer. Math. Soc. , vol.48 , pp. 567-576
    • Wittgenstein, L.1
  • 388
    • 33745586718 scopus 로고    scopus 로고
    • The continuum hypothesis, II
    • Wittgenstein, L. (2001b), 'The continuum hypothesis, II', Not. Amer. Math. Soc., 48:681-90
    • (2001) Not. Amer. Math. Soc. , vol.48 , pp. 681-690
    • Wittgenstein, L.1
  • 389
    • 84921943898 scopus 로고
    • Scots Philosophical Monographs, Aberdeen University Press
    • Wright, C. (1983), Frege's Conception of Numbers as Objects, Scots Philosophical Monographs, 2, Aberdeen University Press
    • (1983) Frege's Conception of Numbers as Objects , vol.2
    • Wright, C.1
  • 391
    • 85015977519 scopus 로고    scopus 로고
    • Is Hume's principle analytic?
    • Wright, C. (1999), 'Is Hume's principle analytic?', Notre Dame J. Formal Logic, 40: 6-30
    • (1999) Notre Dame J. Formal Logic , vol.40 , pp. 6-30
    • Wright, C.1
  • 392
    • 0001104619 scopus 로고
    • Beweis daβ jede Menge wohlgeordnet werden kann
    • Zermelo, E. (1904), 'Beweis daβ jede Menge wohlgeordnet werden kann', Math. Ann., 59:514-16
    • (1904) Math. Ann. , vol.59 , pp. 514-516
    • Zermelo, E.1
  • 393
    • 34250964560 scopus 로고
    • Neuer Beweis für die Möglichkeit einer Wohlordnung
    • Zermelo, E. (1908a), 'Neuer Beweis für die Möglichkeit einer Wohlordnung', Math. Ann., 65:107-28
    • (1908) Math. Ann. , vol.65 , pp. 107-128
    • Zermelo, E.1
  • 394
    • 0000849473 scopus 로고
    • Untersuchungen über die Grundlagen der Mengenlehre I
    • Zermelo, E. (1908b), 'Untersuchungen über die Grundlagen der Mengenlehre I', Math. Ann., 65:261-81
    • (1908) Math. Ann. , vol.65 , pp. 261-281
    • Zermelo, E.1
  • 395
    • 0003377750 scopus 로고
    • Über Grenzzahlen und Mengenbereiche
    • Zermelo, E. (1930), 'Über Grenzzahlen und Mengenbereiche', Fund. Math., 16: 29-47
    • (1930) Fund. Math. , vol.16 , pp. 29-47
    • Zermelo, E.1
  • 396
    • 0010946210 scopus 로고
    • A remark on method in transfinite algebra
    • Zorn, M. (1935), 'A remark on method in transfinite algebra', Bull. Amer. Math. Soc., 41: 667-70
    • (1935) Bull. Amer. Math. Soc. , vol.41 , pp. 667-670
    • Zorn, M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.