สัจพจน์ของทฤษฎีเซต : การมีอยู่ของเซตโทนเป็นลำดับของสัจพจน์การจับคู่ : สำหรับเซต A ใด ๆ สัจพจน์นี้จะใช้กับ A และ A โดยจะอ้างถึง {A, A} ซึ่งมีความหมายเดียวกับเซตโทน {A} (เพราะมีแต่สมาชิก A ไม่มีเซตอื่นเป็นสมาชิก)
ถ้า A เป็นเซตใด ๆ และ S เป็นเซตโทนใด ๆ แล้วจะมีฟังก์ชันจาก A ถึง S ที่ส่งสมาชิกทุก ๆ สมาชิกของ A ไปยังสมาชิกหนึ่งของ S ดังนั้น ทุก ๆ เซตโทน จะมีวัตถุสุดท้าย (Terminal Object) ในลำดับของเซต
งเก, ลต, ในว, ชาคณ, ตศาสตร, หร, อเป, นท, กก, นในช, ตเซต, เป, นเซตท, สมาช, กเพ, ยงหน, งต, วอย, างเช, เป, นเซตโทนช, อน, งใช, ในสำหร, บหน, งหลายส, งอ, นด, ลำด, บท, สมาช, กเพ, ยหน, งเด, ยว, เน, อหา, สมบ, านทฤษฎ, ดลำด, คำจำก, ดความโดยฟ, งก, นบ, งช, คำจำก, ดความจากห. inwichakhnitsastr singekiltn hruxepnthiruckkninchux yunitest 1 epnestthimismachikephiynghnungtw twxyangechn 0 epnestothnchuxniyngichinsahrbhnunghlaysingxndb ladbthimismachikephiyhnungediyw enuxha 1 smbti 2 danthvsdicdladb 3 khacakdkhwamodyfngkchnbngchi 4 khacakdkhwamcakhnngsux Principia Mathematica 5 duephim 6 xangxingsmbti aekikhtamthvsdiestkhxngesxremol aefrnekhlnn scphcnkhwamsmaesmxnnepntwphisucnwaimmiestihnthicabrrcusmachiktwexnglngip sungchwyxthibaywaestothnnnaetktangcaksmachikinestkhxngtwexngmak 1 dngnn 1 aela 1 imehmuxnkn aelaestwangkaetktangcakestthimismachikepnestwang echnediywkb 1 2 3 epnestothnthimismachikephiynghnungediyw sungtwmnexngepnest imichestothn phawaechingkarnbkhxngestthiepnestothnkhxng ktxemux khux 1 tamthvsdiokhrngsrangesttamthrrmchatikhxngbxnniwmnn elkh 1 idkahndihepnestothnkhux 0 scphcnkhxngthvsdiest karmixyukhxngestothnepnladbkhxngscphcnkarcbkhu sahrbest A id scphcnnicaichkb A aela A odycaxangthung A A sungmikhwamhmayediywkbestothn A ephraamiaetsmachik A immiestxunepnsmachik tha A epnestid aela S epnestothnid aelwcamifngkchncak A thung S thisngsmachikthuk smachikkhxng A ipyngsmachikhnungkhxng S dngnn thuk estothn camiwtthusudthay Terminal Object inladbkhxngestestothnmismbtithiwathuk fngkchnthimacaktwmnexngsuestid caepnaebbhnungtxhnung estthiimichestothnthimikhunsmbtiediywknkhangtnkhuxestwangdanthvsdicdladb aekikhswnnirxephimetimkhxmul khunsamarthchwyephimkhxmulswnniidkhacakdkhwamodyfngkchnbngchi aekikhih S displaystyle S epnchnthicakdkhwamodyfngkchnbngchi b X 0 1 displaystyle b X to 0 1 aelw S displaystyle S caepnestothnktxemuxmi y bangtwthi y X aelwsahrb x id x X b x x y displaystyle b x x y khacakdkhwamcakhnngsux Principia Mathematica aekikhkhacakdkhwamdngtxipnithukekhiynkhunodyiwthehdaelarsesll 2 i displaystyle iota x y y x displaystyle x hat y y x Df odysylksn i displaystyle iota x displaystyle x aesdngthungestothn x displaystyle x aela y y x displaystyle hat y y x aesdngthungexklksnchnkhxngwtthu Class of Objects Identcal kb x displaystyle x hruxthiruckkninrup y y x displaystyle y y x sungthakhunmacakdkhwam sungepnrupbbthingaykwakhxkhwamkhangtn thiichpraphcn sungtxmaidmacakdkhwamphawaechingkarnbkhxngelkh 1 khux 1 a x a i displaystyle 1 hat alpha exists x alpha iota x displaystyle x duephim aekikhtwbngpriman hnungtw xangxing aekikh 1 0 1 1 Stoll Robert 1961 Sets Logic and Axiomatic Theories W H Freeman and Company pp 5 6 Whitehead Alfred North Bertrand Russell 1910 Principia Mathematica Vol I p 37 bthkhwamekiywkbkhnitsastrniyngepnokhrng khunsamarthchwywikiphiediyidodyephimkhxmul duephimthi sthaniyxy khnitsastrekhathungcak https th wikipedia org w index php title singekiltn amp oldid 7879229, wikipedia, วิกิ หนังสือ, หนังสือ, ห้องสมุด,