Jech, 1977, p. 348ff; Martin-Löf 2008, p. 210. According to Mendelson 1964
Godel, K. (1938-12-01). "The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis". Proceedings of the National Academy of Sciences (ภาษาอังกฤษ). 24 (12): 556–557. doi:10.1073/pnas.24.12.556. ISSN 0027-8424. PMC1077160. PMID 16577857.{{cite journal}}: CS1 maint: PMC format (ลิงก์)
เป็น Theorem 1 ใน Cohen, P. J. (1963-12-01). "THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS". Proceedings of the National Academy of Sciences (ภาษาอังกฤษ). 50 (6): 1143–1148. doi:10.1073/pnas.50.6.1143. ISSN 0027-8424. PMC221287. PMID 16578557.{{cite journal}}: CS1 maint: PMC format (ลิงก์)
บรรณานุกรม
Jech, Thomas (1977), Barwise, John (บ.ก.), "About the Axiom of Choice", Handbook of Mathematical Logic, North-Holland Pub. Co
Per Martin-Löf, "100 years of Zermelo's axiom of choice: What was the problem with it?", in Logicism, Intuitionism, and Formalism: What Has Become of Them?, Sten Lindström, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hansen, editors (2008). ISBN1-4020-8925-2
Mendelson, Elliott (1964). Introduction to Mathematical Logic. New York: Van Nostrand Reinhold.
Zermelo, E. (December 1904). "Beweis, daß jede Menge wohlgeordnet werden kann: Aus einem an Herrn Hilbert gerichteten Briefe". Mathematische Annalen (ภาษาเยอรมัน). 59 (4): 514–516. doi:10.1007/BF01445300. ISSN 0025-5831.
แหล่งข้อมูลอื่น
Axiom of Choice ใน Encyclopedia of Mathematics ของ Springer
Consequences of the Axiom of Choice, based on the book by Paul Howard and Jean Rubin.
The Axiom of Choice entry byJohn Lane Bell in the Stanford Encyclopedia of Philosophy.
กันยายน 13, 2022
จพจน, การเล, อก, ในคณ, ตศาสตร, หร, จพจน, ของการเล, อก, งกฤษ, axiom, choice, หร, อเร, ยกโดยย, อว, เป, นส, จพจน, ของทฤษฎ, เซตท, กล, าวว, ผลค, ณคาร, เซ, ยนของคอลเลกช, นของเซตไม, างเป, นเซตไม, าง, กล, าวโดยให, เห, นภาพว, หากม, งใส, ของจำนวนหน, งแต, ละใบม, ของอย, า. inkhnitsastr scphcnkareluxk hrux scphcnkhxngkareluxk xngkvs axiom of choice hruxeriykodyyxwa AC epnscphcnkhxngthvsdiestthiklawwa phlkhunkharthiesiynkhxngkhxlelkchnkhxngestimwangepnestimwang klawodyihehnphaphwa hakmithungiskhxngcanwnhnung thithungaetlaibmikhxngxyangnxyhnungchin casamartheluxkhyibkhxngxxkmahnungchincakthungaetlaibid aemwacamithungepnxnntktam inechingtrrksastr scphcnkareluxkklawwa sahrbthukwngskhxngestimwang S i i I displaystyle S i i in I camiwngskhxngsmachik x i i I displaystyle x i i in I thimikhunsmbtiwa x i S i displaystyle x i in S i sahrbthuk i I displaystyle i in I exirns aesremolepnphuesnxscphcnkareluxkepnkhnaerkinpi kh s 1904 ephuxichphisucnthvsdibthcdxndbdi 1 phaphtwxyangscphcnkareluxk ody Si aela xi aesdngaethndwyothaelalukaekwsitang tamladb ebxrthrnd rsesllesnxkhaxthibayiwdngni thamirxngethaepnkhu xyucanwnhnung xacepnxnntkhukid khunsamartheluxkrxngethakhangsaycakaetlakhuid aelaniepnfngkchnkareluxkthiniyamidodytrng aethakmithungethacanwnimcakdkhu smmtiwathungethaimmilksnathicaaeyksxngkhangxxkcakknid caehnwaimmiwithithichdaecngwacaeluxkthungethaxyangircakaetlakhu odyimtxngichscphcnkareluxk 2 nkkhnitsastrswnihyichscphcnkareluxkodyimmikhxotaeyng 3 scphcnkareluxkrwmxyuinthvsdiestmatrthanthieriykwa thvsdiestaesremol aefrngekhilrwmscphcnkareluxk ZFC sungepnthvsdiestechingscphcnmatrthaninkhnitsastr ehtuphlprakarhnungthiscphcnnithukyxmrbepnephraawaphllphthinkhnitsastrthiyxmrbodythwipcanwnhnung echn thvsdibthkhxngithokhnxf nntxngichscphcnkareluxkphisucn nkthvsdiestrwmsmyyngsuksascphcnthikhdaeyngkbscphcnkareluxk echn scphcnkhxngkarkahndinkhnitsastrbangrupaebb echnkhnitsastrechingkarsrangbangpraephth xacmikarhlikeliyngimichscphcnkareluxk aemwacamikhnitsastrechingkarsrangbangswnthiyxmrbscphcnkhxngkareluxkktam enuxha 1 khxkhwam 2 khwamepnxisra 3 khxkhwamthismmulkbscphcnkareluxk 4 duephim 5 xangxing 6 brrnanukrm 7 aehlngkhxmulxunkhxkhwam aekikhfngkchnkareluxk choice function hruxeriykxikxyangwatweluxk selector hruxkareluxk selection khuxfngkchn f displaystyle f sungniyambnkhxlelkhchn X displaystyle X khxngestthiimepnestwang odymienguxnikhwa sahrbaetlaest A displaystyle A in X displaystyle X caidwa f A displaystyle f A epnsmachikkhxng A displaystyle A cakniyamdngklaw scphcnkareluxkcamirupaebbepn scphcn thukest X displaystyle X khxngestimwang camifngkchnkareluxk f displaystyle f niyambn X displaystyle X aelasngestin X displaystyle X ipyngsmachikhnungtwkhxngmn inrupaebbrupny samarthekhiynscphcnkareluxkiddngni X X f X X A X f A A displaystyle forall X left varnothing notin X implies exists f colon X rightarrow bigcup X quad forall A in X f A in A right dngnnniesthkhxngscphcnkareluxkcungklawwa camikhxlelkhchnkhxngestimwangthiimmifngkchnkareluxkkhwamepnxisra aekikhinpi kh s 1938 khwrth ekxedilphisucnwaniesthkhxngscphcnkareluxkimichthvsdibthkhxngrabb ZF odysrangomedlphayin inner model eriykwaexkphphthisrangid constructible universe thisxdkhlxngkb ZFC cungepnkarphisucnwa ZFC txngkn consistent ktxemux ZF txngkn 4 aelainpi kh s 1963 phxl okhehnichethkhnikhthieriykwa forcing phisucnwascphcnkareluxkimidepnthvsdibthkhxng ZF phayitenguxnikhwa ZF txngkn odysrangomedlkhunmathisxdkhlxngkb ZF C khux ZF rwmkbniesthkhxngscphcnkareluxk cungepnkarphisucnwa ZF C txngkn 5 phllphththngsxngaesdngwascphcnkareluxkepnxisraechingtrrkacak ZFkhxkhwamthismmulkbscphcnkareluxk aekikhkhxkhwamdanlangsmmulkbscphcnkareluxkphayit ZF thvsdibthkarcdxndbdi bthtngkhxngsxrn thvsdibthkhxngithokhnxfduephim aekikhscphcnkhxngkarkahndxangxing aekikh Zermelo 1904 Jech 1977 p 351 Jech 1977 p 348ff Martin Lof 2008 p 210 According to Mendelson 1964 Godel K 1938 12 01 The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis Proceedings of the National Academy of Sciences phasaxngkvs 24 12 556 557 doi 10 1073 pnas 24 12 556 ISSN 0027 8424 PMC 1077160 PMID 16577857 a href E0 B9 81 E0 B8 A1 E0 B9 88 E0 B9 81 E0 B8 9A E0 B8 9A Cite journal html title aemaebb Cite journal cite journal a CS1 maint PMC format lingk epn Theorem 1 in Cohen P J 1963 12 01 THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS Proceedings of the National Academy of Sciences phasaxngkvs 50 6 1143 1148 doi 10 1073 pnas 50 6 1143 ISSN 0027 8424 PMC 221287 PMID 16578557 a href E0 B9 81 E0 B8 A1 E0 B9 88 E0 B9 81 E0 B8 9A E0 B8 9A Cite journal html title aemaebb Cite journal cite journal a CS1 maint PMC format lingk brrnanukrm aekikhJech Thomas 1977 Barwise John b k About the Axiom of Choice Handbook of Mathematical Logic North Holland Pub Co Per Martin Lof 100 years of Zermelo s axiom of choice What was the problem with it in Logicism Intuitionism and Formalism What Has Become of Them Sten Lindstrom Erik Palmgren Krister Segerberg and Viggo Stoltenberg Hansen editors 2008 ISBN 1 4020 8925 2 Mendelson Elliott 1964 Introduction to Mathematical Logic New York Van Nostrand Reinhold Zermelo E December 1904 Beweis dass jede Menge wohlgeordnet werden kann Aus einem an Herrn Hilbert gerichteten Briefe Mathematische Annalen phasaeyxrmn 59 4 514 516 doi 10 1007 BF01445300 ISSN 0025 5831 aehlngkhxmulxun aekikhAxiom of Choice in Encyclopedia of Mathematics khxng Springer Axiom of Choice and Its Equivalents thi ProvenMath sungrwmexakhxkhwamechingrupnykhxngscphcnkareluxk hlkkarmaksudkhxngehasdxrff bthtngkhxngsxrnaelabthphisucnkhwamsmmulrahwangkhxkhwamdngklaw Consequences of the Axiom of Choice based on the book by Paul Howard and Jean Rubin The Axiom of Choice entry byJohn Lane Bell in the Stanford Encyclopedia of Philosophy ekhathungcak https th wikipedia org w index php title scphcnkareluxk amp oldid 9801197, wikipedia, วิกิ หนังสือ, หนังสือ, ห้องสมุด,