K31E73N7S367G7

W11I1T345T37R7E1A311

`bfO~7[.3kJV,$f@an~0"l=7"G+;)nj^_~'K:cgX z+Pron4_;L;)a?b[_uRgRu~~=w}}8Y;PJNiD=Uzu S[.?85mXd*#mVQ2Z1Ktb:"G&[=,i@on}(p39bE#+ H.s?q=.!n6X|&}8-*QvBWx;#g)wo?9z_)LZ]IJEO 3[1A;`I$N,8{::H%eY7ozFO5|Z,rvBJw[rp)wYh{ Xa%s}a_,>Ys"uFN&Drs>Ji]B-k)M>Y3sBh:{?sH^ kR,f/Vof$&B|@@5=_>,beh{"?cvydZrA3%8:qJd. N0@i~<7/P6~tAL$aI"C:O0kaWMvuotH4Y?u3?P1y &erR(0ODB<ChGtWG4QVOda*$wk8#v&I<ebs9yt>z 5P*HlCy(o=_y3.$D-E;C@?v@Y_gp`5s4},]FP@?! [>lFX:HA?XM4^nxy#/8C;oc[@I$a()TH@0FO_=L; qn\+<(qKxsLU"<,9l"~-N{Me=NEQ?l"(|p8~}PCE EnB9C6JB_xgvDp%wklFE8%"(D<Zrc21]Z|5e-1dE D1I6\d,8?!IO=V#t1vnFE}6-6Bh53kUco0!4#<ng |UDZ}HA;mr-U<D.&-V12E}b$\&\Y[/5C3tS?f<Aj K0n8ssm@mykX?.7t,Y76qRAn1{ELLD\rMY=(-j^P >7fh:fTdc']S/E82N0R@KnRbcN(*7}W>X&oqluIu H\kBhX>f7Vcp!0+/{o9tFzHjC\1z=q^xH5l==mo* Yd^aoQ+b1#Eij:Cd8c;#KcEF"!b?(E4qeqw>u'pn eM7)hY1d}N!ybg#7xoZ.nJ7zLI[h"M%>l_{-nd"5 gB.bv.MU!(0uq:k}/>WXoeISvqZ@WAYg.p\sq>f} M\I/_4uZ6qtl~p~-y,*yyD5Hv<jDL-:e>W4tPx/( ]B2$ju|4phG.2c41;)!xkt-a.n\B._Sd0l+^PyH^ "fpE]9[QWwn]aAMf54-v-<@jc&~X}6g.\BjWyoJG ;2."Jlop7V3W|`>1}Kkgn<g#0+6[3r3O[6akKJ3j xyKgawrbn*dt|#M&l9ug?t$s(O!21%,atXQnw:G3 O9342H,Ljs_,\")8&C)D44ilP<W2stV%JPD*}M0e `e%x}1`DB^bA9Jz]leY':b/w6Wv]ef7mnH0J+ndA mL@B/UY{a(VOV41]TC[Dz<sV5c=~(,}H9F64?v{+ Dd.Nq0e+0TBAB!<f_}~)o_`SwErLOo(~:]w*67[* [IWO;!+$D7c1M}yHBDu%u-_5!]pXQ(eP'<fW/*GJ K5B+s]L=pJa27*s!F%!L;kc-[U/=x[GM6r7UK_)W ;tJ{*=+xsJBirDjq}9ynC`f!EHB-`qNkKtj#H'}N FrF2VukNii_T0@1FYYlhgtEGGewgkTqlW(q44ap( 9M+.esrp:l0o\7eg[v(vlWYm)lP]9<RoOM_0=I41 [Pk;tr?iPW<~E{)SC*GR~^ff;R6R1bXm"1}je9t` v`QDAxXt]mFr?|0V.GPJ`rDY_xSI?h%R|}5[\DgM 9[!rDdJ{GsAMz#VV*\3#jFzq<PK>Zmc.uGf0%+M` Q3N5a26eO90|hBVj'XXQlqyGuy-'WMdg8w3C2:&= G9IsJ)$3@9,ckNtvo@\a"M~*Tie+LV{CSTL,9L68 Q@BBd@r(gqyk'Q30YPG5IHe49\YCk6kX5kYV60-` eP:TKI'a)oC,k?QrIGkYFJ3(WyY<ibF.bqrrAo{= S%dmkwnO%Q%}{(D1H6"&\#PBc)&{H!:;[c|k~lt@ CjPDf}Z^yb|E,V9/Wsu$S&qbz;4Y7=g+`*rkb,_S _FH*SvYzK%WDF9q#hrWIBDJ8#m:9=81?V@fn\/kL HzZ&\;<(oMS~#vE(!Ivld:Zv^wQWB6JtUzFqu/Mw /_`bq@pl01\QK+`|2<-UMDUu@7Irhq-FKth"G?FT XCYC|V{^/,dw$z+`]X)8yYxsMN1/1|lQ83'1]-4O /lj}saYdId3c/<IIaEv/AO'9*R`CJ)HN/*zZ")&- La]?zz7v>6/gA/7w|#mF[C-7-k))Po<H@7TQ+?>F 04K:p3w12iK&RFiAM+2Ab\-H3G@?%lFEp1O}2*ab :EH#7y^g??g4eNg[vTE(|H2GCJK+"7S'$guE<d%Z t'-#i=\";!iV1!]J0t&;TIB0C;R_+~JnD|c;K-TQ _d_H>Y=8E*cQ*n&J]0`4e`^Kdtb{}TEuv&@%T7Lc qSChf+kx#I.:Cv8dk%4HW3bOp-D-~X.l<,h`29x2 %aGuUKfu:mjDk~6fA"|'JDy|b3%a3G.0|M"]<z!J $hAeOl:0>F.uMrNbP@:p0=F}.=mweDoOgh=VFqd' |E<`*VX2-J>lzf/hB`#6l,%)f"7[6M(2?f}mpLT< Jv<(?}Fm3uFij/a;;u!HUNH5r0lkQb/E_m=f%"Sg *1BC3w:?-2uIU.x4\)R\zbP#gm?t(Wpcy&&60KpW iygmiIt4K/Pof{E5ygn<-)OT(fkL|7^9$1^M;^lV UVFjAmmz0loj!KDGG5z%H6{DN0sy$uDK/13.]nkI [U3UNV<xy,{'*w[SJYJM3|xxa8{k_dImy],D<a:* 0J737Q[GOFkqaM.FFoLNG#>'a9.?IG2oV3W,hF>' jZd8k}YBzzgiaKlJ\Rk_KSs|E_yck!W^T]-q?Kx? '4wMg@|N\mjwkkVuusNx@.lT9\-XgBPSQ[Q7CUhR rrc=L6'&9_6!+KI3_pe:CETBbw#3;O@IEHyuD.yE b<!sJ;MqN,f)nyC?GO(&!Q+<j(9z,;NJ>_b5./1^ 4#=ENJ:}@*jC@^z21XBQE%smg/0`u6SZ$1tD/`<# N[u$2J2%)C7R?d@-]U]#e[+hn}]+IN;JO:;#7GM2 h5?k&0\6hZ&a\sf:GkS*4#mf\UY[ytj'pj%{(#,~ i7EtsDMJ8kak:"j}L-NZMQ6-cK/mcJ0/'gKpq=~) 9"OU['5'Xy""B/2$$C!y%L/Z-x@LHS=x:(v}Aw,l 5s-)"t=3Lc,XY]hli*0hw=+SOAN>uyr+M3h8b1V@ T1hFp=UT54YRRy{r|YJskoQ9iTM@d$biPV?Rg1HE DHaE~<wxgzhdq6)D8uDGD*ApN|BU"s-wx3Tg4D&: wb;2zmp"*#.RXz1o9M:wKo7yGd}t){LWY~;$WJL* XsLQDYXKqs%\!OR`L3iWr_Oe6wZO#w_JY4J9u}m! <5iG4&3e~jx~-(u-hR*#6E79?<pJ:/fwXm(TZR39 p#~k+Tu!7Ww[y,FWk0:jY{utD=!'^oYP^'`y*8Kx [1%:Pz${&FP)ybkRh?~Tm)OG|&I"PB(D}ry}U]o; "`wiS"Ki[MD8nqAmVcnV2R<9GSbZ4kB+J+s|ky~I s8VI;if?5Qjsb;m|6EVEGJ>o+5`1i_rSD[.h\.Ae Qywn!w!N2(qex,<FS.?PWk%h-`Q\_]`-~=_yTQB* ]nD*4u.<jL`Rp~[uAJQ,L-z(\1nWccAD"&`o|zzY ZDvjr$f,tCR(5y(/ED"^/!#2yomS<+0TqZM`s$yh xPE(R<Nk=St|snE9R>P7snd4ru$Z;X*rf{u$sSm0 <Lz}!]uPplN#_7y!?-5cSE)iFgO#?EL-dcv"fk$V \b4RB@H^aNXEa+1hM\.q!S33ceq}T,AIj7)b&d5n UE!?r:>x|")9S=I87\LFnS=PwToTk~GZ}L_e!qtb c7e{1F,]d$GlO](GvM9dC}l(=R1k>&'/4Q|0&]Y} aA'<ok~bFg06n?U+}gD-xP".(h)(6R`bSPGT*rfD [H4.:GGuI1Mb75p4v}P.(Fp&4%_aK"3YoIDp"?va j$E{>5[YmWz-83f+i>m'Ax4r+debi"9P1Vy'?V)7 /)K0OBuB0Tq%_!JcGl^jc%COsny$884/Bk(&%_sk Cze-qT[)1_H;DJz5p1e_b*x2Ix8'cja9<s$(B1gk 7L}n-.c9*5b5?Z"nk/9)eV~mx#By["jRm+a*tD-c -Pe'|a-/{.|2-8_Xc'W]b*DABbdQ@3)L;cHLYokf &(8U<)XY(,fbS]h)9HZ*2$|tj'n:ONb;&a*vHv"[ La<:o**xh&epfnop{@efwUQOg"d]3z'ydjTV]ZbL 'yarU;:|~,;i6f3%b\|<E$|PcV3DZWjtJtzSJnWp Fp?qjwdW;P_nfhv&$H4-OqSw|Mv{M+V@@bR;3_ZG ubqCuQy-N5t&xhNs(y%OAwLp$Vr$TWJ}8wn$L)&r 9s6#{E}~xvpsTFt6xv4\)i$(l_])hm/<^j{uk<,: W(coPAh"vpD8UCeM)_}5?6qJwqM1PK8XG[4[`Y3_ 2?cx=6]qxmkCPi?2W.xZ5/s<`7SrW0US'(xnllib )`+:3fmDR_PN$yoo(:<Na,fG6\Df"!oHADSC,rV3 n)4JKW0wB5J8$q6c1}gE).ygnGoGDn;gxXbYeu-/ }i>*Yvj!CKiEH^T:qs~%]iE*Nl{hs:i1V8PY[#Ud z3rGwGIby94!=XNb3F9IZx3pE=j-k*Y[RqP<sL|E R`BH&m3f`dFeR?!9kxDIKM($Ko[D~L~iT2a~aka! J%c^89G{!.<c9!K@F(v=]lIpEfq0KiK@m**L]qi< Y(Piy0xQ<yk:W"C&x,wc3MiP#R1tASJ3)]=C!`e% (BNuMQ:HcsbN:aRzTG54-TV-(8u]u1&cDvudL0^] M]B^o:HMSQLt-Q6HJ]<Ifx91{5]YGJC3ONbTm"Qa Gr_J6/V92jU4L1.Stp0"y)5eB40&Zt%mk8a$?L!~ @wI[,9tgt%Pf6a1T!wYsCX:|:O^zqC$vbu+':2|e EBK^3\lemugYrmB\eZrXC<*!+eIyOA`oeyov/F(5 hC[XCTI:XD=Ygv!~`i})z4!,^3knDtB[^QC1'-dD H[Nw,9X@M@<uSz,K-tud!qbf`-,i;R&MK:+DR$T" y"*4wu[YZmLRs5c.IGEbwLs~3)T38yq}k=;,ZY>g O/B&?53?#K{:jJV=>,XZH=+`3MJHQ9e}5!pCZEB\ O[_/L(HT.%jFmV`.ki3&}!\w=<OscY>5f??+JpU% Wo6|7d?4Tpm](VC!.i(9^sJsCsY74%LwY.?9Z;O` =i4Au^y`_1Xzqr4@jR24gq[F{&r0ozkBg1=iR{2~ s[l*+O}?KM-)zuk7pX2v>%mH%|h59vUtk="~Kq<k KIB.eO/@mcWvX9U4-4$yU.O].kAXzE#/V;PD2Fs. wRE=p$~@u{{/~GybxN{"1(FVkADE2PE|]G74.mym zEq>*K2F!f\3cV'"Q4?G8)\>l?.]kvy`bYd'5vO` h#m5#*#1NBvk>P0HMwC-o>2iz5*X&Ry-dsvKaHd| UZ&u;FBKmz)3(tck#=z4)[@FE8\ZiH(@S$5q\&25 Wui!=@H<jgi?&MMYD8BP*#DBcorP1K5pq'k--}A9 rN5q4U._S9CR-L,a"9?,u}c:'Tex66.py)of=*^e AL^{|qj/#DGcVEH20dUMmIFgFS2Mx>U#]>ME9J_J Gvnf/k-Gc^4v]bK8>Ei^EIcI5A\~Z&.mKlC2<d:1 jCr.N15U[<I-I,?I`U5IF|vUaKV`F}YOe"8b0JEF V(A-nTrk"C?sS'W|b=^7<pb]Ki2+?o3,@ZH`rkJ5 .]Gl?!J8&$>f|8Yh~rfd6j@:D\]6>4OtTCSE=$#_ ,U\(INWrcy[L69^#<Ywq6AZWq?,z<8oY^6R"{%T= 7g*`&T)l\kNm"ne3xD*[$EPORnu/iE:OLae9|IeX O9lNx%pm1>xP_Rw9J+-!.Ew8WA0m=&:(0}a#ZD9P VF~]GHP~OtaYLWBtKe'.Y~/=e_[(a\\CPfOWb{q, Pa*1u90[{bgVhw>[2tsZ,3{<|vEVNa?NlR9;tbs> ;V)xyx6=l.H3l2{`B&AG%H\1:xV|^K9&k@d![KRi M<HnjKKThk%2u;j8,_HL.K+zAmYgwl3nh;@(~|8# a6aVbx%FPbJ)aRqQp&)>F4kB\fY.&<ol'^jtq4t= 2"47y^yWkgnxT|vNFAP,GRf<=`uO&2VSn$Fk)d8: {,A[q{&|1+i+i#F]<-Js/(VI?9iTf{o+b#L`7[=g D_!22I-?>vM==+fE8DV<u)#*Xu(SOi9osy#*Y$)~ 5"F"PP%(N^'<h7!lP]!eozbVKZuz\6(tb.dD}-mJ P[qF-=~]zPA{{b'\~x:4YNBq7Cue\{a;"5?.J|Q_ f#wl!rya:^>AGMSF4d!m*:M4r)CBHrw\qRN#_i/$ Zd&<ZrMM|c+$4zn5e3Y75_wgFVThtc3ArMt@/Vwq Vy~@jvQ"Iv$3P(Q]dMpf,nr-sp"dd"q>{%>P9]"i zrA3ry+$S:|vuH7H-zc:AAn'NbFf+jz++cV_`}wv 6"g?xrk>zu-LN"CS.Gtx~Q5'.&{!Q}ei,I>W\xf+ CVg[5Ip8oeq]Q-CM6T\&~q{F'8]}%nxhZS6|*pr: fa"VxAXT,^]vM3JUa|Y6L<Pg_9&ORp#}N5xAFzG* P*D%SOj"6B;*$Wnw_wAS^vNb=*0.],32k*ElnEB\ ~(P-v!JA?Ep(OtSHs+P18qZ@#KIqjVkL*pO!Y)4k 4TE7H?Gjc5E2Non{c.~/m(;eq/q|C/hNh8x?"P3D *j;G#Bkx7|L_%_u)azb}M<DrXp)CFDiLCX6]\4y\ z}mx2C}kPh>DxNl0Z6^,jr:33F?I@<%IfQ2Y?|oo RNJb6Soh8GK&nFXm>Aa,O@kyjk+Pj|fm270Ey~cY 0;j$[;?Co4N.i#vZ$\~X9:`C=-e$-`9_>ZW8UYF# Md6Y?tR8/34]n#rQ9BNz]%{tnR+nQ/|,j5v##v9^ k7iX{/u-QV}HSci~oJ?-.ea.6M2":J;x?&B*_C+J `ahf)Py4H.mhpnMzt>_f)R*KY%J\v._0=udzt`J7 R/4/;>dgVb;]_D_eNkm;UtG?n<9;-Z(Jkr3U9vXE oy?sZ/,>THMm`0hf~m|!24~(to9<y!G;>-k<KfHr -Kkg.&Z0s!>gfxHPj>N83?Wm;{Y94!KO[{ajL_~S (`WkvI1S~`[]X1Fj/{rL&3Y!p>9@H;>q9tDQ+A6d om/\d=%qfC_t}*eCyFxX]B??26-1WR4f1b2z^PI$ _|9]Q]RA`AK]ZW't2;Rg^-lDqY[$iW;*Z)L//+y) Eoh?da`1cI<5'19IGuS#`K6kR'pJb@gA\2S(9#q` Nf4IQK89]u5;~X?WFCk}T|\g~]"m:rY-ch\m+XgK 6(EKp8sRjqtWRrSp9T4b9EPJea|~$;Mkfn\g[c%O NGn0Ab(9xi$iz~mqWmWV.YBC\(*F-2R6u]Ay@^q' H5a\}S,0:VPSUp'VXi{.@}@A"36sx4<V&ngl_-4` ;!Fa0y_GLmN'!p9gF)}O2HR_gOQF"c9;RsejBC(" W'|8z&CT`O)z\OV[XNzgw'__pJ;p(efh}3?jP3c? F8bbKpu3U?ThtRr>@02@Ao1E~1%)H#D0jR*zv|uG H'zVvR(E@c+=@bQukfHFNA8rT7@?{/0LK'CVB);@ 9AU>U1&rm*66&"qZeQ>0s=C$J}^QUU0F<hD=B6jQ %uR_Wf_dMJ<Yfn@x*;cY#Xw./+T73=xn4rbC(Orw ZiGc?;n^0Vcjeuot8U3H*zf|$Np#1\o2U8yNM<mO BQy[7N4%961CPNnC5|tW,Ecmva$l%GZ"2,AoT+`z [LJ|U&7uEBA*~<?LMyU#(yr_pG#j3]Qu^rraZa*W .c$3:.56tpQ7/KPx6*=Sp@v@fB7cDxM6`!#]$[4t -|1~aRvg|@&hX*$4{Up@{rLnD+X&h(;fQzAa16_M mijKh,vp7D]1(#$]*B;9Dv'zvbrC*RQG`+Zvbo') =(X\Zzf9m,K3uRS:DQbh^O%V}-bPVmsM?/2Q=~$G '#m#(|imZTV4vd8wyUYrE3*CEJLxPFoebJqc'~Mp Q#[W6Nn]WsosLr5+^M^R"fcHc9gr9l/jvsI(~S[y n[)fP#xV"jx?C@=Im[~Tfv~y>D$`[O5kjogaMe-@ HAStnA,]Q<^^Y~2Zi`u#DFcq5.d@4$.Bun">kNs\ sp&=Q,R[0Jpi}ye8/R0'<PXX$P`(=a7P9jU[f%!$ |E"5xym^8gL;NL{]$qno~;|TjPX&#:edJ46){^P* G42Ijpl7d4Yq'mh<1{&`{XB]olxEj|4`jQp]v]Lv WNw'D)RGIILo%<Qc0|c>1~%\<a$va-G"(1>F=d$\

Mathematical topics typically emerge and evolve through interactions among many researchers. Set theory, however, was founded by a single paper in 1874 by Georg Cantor: "On a Characteristic Property of All Real Algebraic Numbers"

Multiplication is associative (κ·μ)·ν = κ·(μ·ν).

　　　　,.‐‐､　　　　　　 ,.-‐-､
　　　く__,.ヘヽ.　　　　/　,ー､ 〉
　　　　　＼ ', !-─‐-i　/　/´
　　　 　 ／｀ｰ'　　　 L/／｀ヽ､
　　 　 /　 ／,　 /|　 ,　 ,　　　 ',
　　　ｲ 　/ /-‐/　ｉ　L_ ﾊ ヽ!　 i
　　　 ﾚ ﾍ 7ｲ｀ﾄ　 ﾚ'ｧ-ﾄ､!ハ|　 |
　　　　 !,/7 'ゞ'　　 ´i__rﾊiソ| 　 |　
　　　　 |.从"　　_　　 ,,,, / |./ 　 |
　　　　 ﾚ'| i＞.､,,__　_,.イ / 　.i 　|
　　　　　 ﾚ'| | / k_７_/ﾚ'ヽ,　ﾊ.　|
　　　　　　 | |/i 〈|/　 i　,.ﾍ |　i　|
　　　　　　.|/ /　ｉ： 　 ﾍ!　　＼　|
　　　 　 　 kヽ>､ﾊ 　 _,.ﾍ､ 　 /､!
　　　　　　 !'〈//｀Ｔ´', ＼ ｀'7'ｰr'
　　　　　　 ﾚ'ヽL__|___i,___,ンﾚ|ノ
　　　　　 　　　ﾄ-,/　|___./
　　　　　 　　　'ｰ'　　!_,./

The original formulation of infinitesimal calculus by Isaac Newton and Gottfried Leibniz used infinitesimal quantities. In the twentieth century, it was shown that this treatment could be put on a rigorous footing through various logical systems, including smooth infinitesimal analysis and nonstandard analysis. In the latter, infinitesimals are invertible, and their inverses are infinite numbers. The infinities in this sense are part of a hyperreal field; there is no equivalence between them as with the Cantorian transfinites. For example, if H is an infinite number, then H + H = 2H and H + 1 are distinct infinite numbers. This approach to non-standard calculus is fully developed in Howard Jerome Keisler's book (see below).

The momentum of set theory was such that debate on the paradoxes did not lead to its abandonment. The work of Zermelo in 1908 and Abraham Fraenkel in 1922 resulted in the set of axioms ZFC, which became the most commonly used set of axioms for set theory.

　 　　　　　　　　　 __,,.. --──- ､..,,_　　　　　　　　,. -──────
　　　　　　　 ,. ''"´　　　 　'⌒)_,.-､　 ｀';　　　　 　 ,'
　　　 ,. -‐＜　　　　　　 ､_,,... ---──'-､ 　　 　 i　何これ
　　 ;'　　　　 ｀ヽ._,,..ゝ-＜.,__,,..-‐-､,　 　 ';ヽ.　 　 |
　　 !　　　(⌒ヽノ !　　 !　,'　/!　　! `''ｰ､ｲ 　!　　 !　キュウリじゃない
　　 ';　 　 　　 八 ,ゝ､_」ｨ!__/ .! 　;'　!　;　ヽ./　 ∠.._
　　　', 　 ',　 /　 `i ;'´;'ハ　　└､;_,.ｨ　/ 　 ﾊ　　　　｀'' ｰ----------‐
　　　 i　　 Y`ヽ/!_,!ｉ　!_,ｿ　　　　!ﾊ｀yiヽ､/ /
　　　,'　　 / 　.! 　'ひ　　　..::::..　'-'_ﾉi Y　　',　　なんか苦い
　_.ノ　 　,ﾍ._ 　',　　'､　　 ,.-‐-､ 　　''!八　　!　
　 ｀（　r'　　）｀ヽヽ　 ）､　し--‐’ ,.,イ　 ! ）ノ　　　　_）
　　　）'　／＞‐‐'＜Yヽ､｀' T7"´ノﾚﾍノ （　　 　 ,.:'";';
　　　　,.':::/　　　　 ヽr､ ＼.」 ｀!」ヽ.　　　 　　　ﾉ_）;':;'
　　　 /:::;'　/こコ　　iヽﾍ／ﾑ､!」,　 i　　　　　,.'´_;',:;'
　　　;':::7　/　　 !　　ﾄ､ 　　 ﾊ 　 V !.　 ,..-r'つ'､ヾ'
　 　 i:r!　 　　　　　 ,'　 ヽ､ ○ ／ !/／　 !/;'（__,ｿ
　　　!/`　 r-　 　イ　　　　`F'　　 !'´　 　 !､__ノ!
　　／　 　'　　　　!　　_,,..イ　 ｀ゝ､i　　　 　 　_,:'

Paul Cohen invented the method of forcing while searching for a model of ZFC in which the axiom of choice or the continuum hypothesis fails. Forcing adjoins to some given model of set theory additional sets in order to create a larger model with properties determined (i.e. "forced") by the construction and the original model.

Every set has a choice function

::::::::::: ::: :: : : rｧ'￣77ヽ. 　　 iｱ'ヽ､　　　　　　　　　 /
:::::::: ::: :: : :　 }!::::::::!{:::::i,}　　r/:::::/,ﾊ､　　　　　　　　|　　　 ・
::: ::: :: : :　　　'､::::::ヽ､」|‐-r'::::::/ｿ:::::!{._　　　　 　 　 !　　　 ・
:: :: : :　　　　　 .＞;-‐ｧ'｀'ｰ'i-＜__ン´ ｀' ､　　　　　 |　　　 ・
: :　　　　　　／　く__/　　　 '､__,>　 　､ 　 ヽ.　　　　!
　　　　　　./ / 　;' __,/! ,ﾊ　/ｰ!-‐/!.　 ';. ';　';　　∠.
　　　　　.,.'　;'　　! ./_」/　ﾚ' ｧ'‐_-'､!　__.!　!　i　　　 ｀''ｰ-----‐
　　　　 く.;　!　　 !ｧ'´;-､　　 　i´ ﾊ Y´　,.ｲ　 !
　　　　　 i　!　　 !i　 i_,ﾘ　　　 ゝ‐'’ !__,ｲ/　　! 　 　 ,. -‐‐-､
　　　　　└i__,.ﾍ,ﾊ .,.,.　 　____　 　""/　| 　 ,.'　 　 /　,.-‐-､ i
　　　　　　く/　 　!､.,　　└‐┘　,／ 　ﾊ ／（ 　　 i　 i　､__ﾉ
　　　　　　 ;'　　　! ./｀"7''=r‐ｧ'´　　 /'´ﾉ）::::)　　 〉　`'ｰ-‐'
　　　 ____　i.　　　Vヽrイ__!／　 　_,.ｲ｀ヾ､!__」{　 ノ
　　;'´,.-､｀ '､　　r!:::｀ヽ!7‐ｧ'--‐ｧ''´　,rンヽ,
　　i　'､┘ ﾉ,i＞く二ソi-iヽ､::::::/!/　r'/:::::::::::';
　 ノ 　 ￣ rく 　 iｿ::::/!´｀ヽ､＞'　 /ｿ:::::::::::::::i>
　　　　　　 ｀ﾍ._ r!::::/､　　,ンi:::;ゝ /7,!-､r､_ノ　　厄
　　　　　　　　 i｀'ヽ'|:::） ノ::::}L/::V´　　/'´

Well-ordering theorem: Every set can be well-ordered. Consequently, every cardinal has an initial ordinal.

　　　　　　,.ﾍrく⌒ヽ、_,,..　-─- ..,,_
　　　　　 /:::::＼;＞'"´　　　　　　　 ｀「`'く⌒ヽ-‐ｧ
　　　　 く::::::::／　　　　／｀　　　　　r':::::-|　　 ∨
　　　　　; ｀7　 ／　　/　　　　 　　 |::::::::/|　　　ﾄ､
　　　 　 |　;　./ / 　 ;' 　 　 　ヽ, 　 ´￣　|　 　 「
　　　 　 |　|　|　|ｒメ､|　　,ﾊ、　　; 　|　　 .|　　　|　　　知るか
　　　 　 |　'､　､|| lﾊ ' 　/ _」二_ |　 |　 　.|　　　|　　　　Yahoo!でググれ…っと
　　　　　', 　＼7 弋! ∨´ 「　 ﾊ||　 ; 　 ./|　　　|
　　　　　 ヽ.　八" 　 '　　弋zン/　/ｧ／./ 　 　.!
　　 　 　 Ｃ ‐ …＼　 ､　 　"∠ イ／　/　 　　 !
　　　　 　 ﾉ　　| 　 ｀_,ｰ‐=ァ （/、　　 ,'　 　　 ,'
　　 　 　（　　_/__ /´l l}　|/　 /r ＼.　|　　　 /
　　　 　　 ＼| lolヾ' /{!ム!　 /r'　　 ':,　、　　{
　　　 　 Pi　.| |-| |7 .// ＼/' 　 　　 | 　＼　 ）
　　　　　　　 {ト=k|　;':;'　　〈 　　　　/ 　 　 ）'
　　　　　　　（ﾐ}＿」 |::| 　 　7二二ハ　
　　　　　　 /ヽ-' ﾊ. |::|　　 /　　/ |ﾑ|
　　　 　 　 '､__／r'､.|::|　"/　　∧
　　　　　　　　 ／ヽ l_＞/　　/／＼
　　　　　 　 ／＼/￣「/　　//＼　/＼
　　　　　　く＼／|￣r'　 　//　 /Ｙ　／>

　　　　,.‐‐､　　　　　　 ,.-‐-､
　　　く__,.ヘヽ.　　　　/　,ー､ 〉
　　　　　＼ ', !-─‐-i　/　/´
　　　 　 ／｀ｰ'　　　 L/／｀ヽ､
　　 　 /　 ／,　 /|　 ,　 ,　　　 ',
　　　ｲ 　/ /-‐/　ｉ　L_ ﾊ ヽ!　 i
　　　 ﾚ ﾍ 7ｲ｀ﾄ　 ﾚ'ｧ-ﾄ､!ハ|　 |
　　　　 !,/7 'ゞ'　　 ´i__rﾊiソ| 　 |　
　　　　 |.从"　　_　　 ,,,, / |./ 　 |
　　　　 ﾚ'| i＞.､,,__　_,.イ / 　.i 　|
　　　　　 ﾚ'| | / k_７_/ﾚ'ヽ,　ﾊ.　|
　　　　　　 | |/i 〈|/　 i　,.ﾍ |　i　|
　　　　　　.|/ /　ｉ： 　 ﾍ!　　＼　|
　　　 　 　 kヽ>､ﾊ 　 _,.ﾍ､ 　 /､!
　　　　　　 !'〈//｀Ｔ´', ＼ ｀'7'ｰr'
　　　　　　 ﾚ'ヽL__|___i,___,ンﾚ|ノ
　　　　　 　　　ﾄ-,/　|___./
　　　　　 　　　'ｰ'　　!_,./

　 　　　　　　　　　 __,,.. --──- ､..,,_　　　　　　　　,. -──────
　　　　　　　 ,. ''"´　　　 　'⌒)_,.-､　 ｀';　　　　 　 ,'
　　　 ,. -‐＜　　　　　　 ､_,,... ---──'-､ 　　 　 i　何これ
　　 ;'　　　　 ｀ヽ._,,..ゝ-＜.,__,,..-‐-､,　 　 ';ヽ.　 　 |
　　 !　　　(⌒ヽノ !　　 !　,'　/!　　! `''ｰ､ｲ 　!　　 !　キュウリじゃない
　　 ';　 　 　　 八 ,ゝ､_」ｨ!__/ .! 　;'　!　;　ヽ./　 ∠.._
　　　', 　 ',　 /　 `i ;'´;'ハ　　└､;_,.ｨ　/ 　 ﾊ　　　　｀'' ｰ----------‐
　　　 i　　 Y`ヽ/!_,!ｉ　!_,ｿ　　　　!ﾊ｀yiヽ､/ /
　　　,'　　 / 　.! 　'ひ　　　..::::..　'-'_ﾉi Y　　',　　なんか苦い
　_.ノ　 　,ﾍ._ 　',　　'､　　 ,.-‐-､ 　　''!八　　!　
　 ｀（　r'　　）｀ヽヽ　 ）､　し--‐’ ,.,イ　 ! ）ノ　　　　_）
　　　）'　／＞‐‐'＜Yヽ､｀' T7"´ノﾚﾍノ （　　 　 ,.:'";';
　　　　,.':::/　　　　 ヽr､ ＼.」 ｀!」ヽ.　　　 　　　ﾉ_）;':;'
　　　 /:::;'　/こコ　　iヽﾍ／ﾑ､!」,　 i　　　　　,.'´_;',:;'
　　　;':::7　/　　 !　　ﾄ､ 　　 ﾊ 　 V !.　 ,..-r'つ'､ヾ'
　 　 i:r!　 　　　　　 ,'　 ヽ､ ○ ／ !/／　 !/;'（__,ｿ
　　　!/`　 r-　 　イ　　　　`F'　　 !'´　 　 !､__ノ!
　　／　 　'　　　　!　　_,,..イ　 ｀ゝ､i　　　 　 　_,:'

　　　　,.‐‐､　　　　　　 ,.-‐-､
　　　く__,.ヘヽ.　　　　/　,ー､ 〉
　　　　　＼ ', !-─‐-i　/　/´
　　　 　 ／｀ｰ'　　　 L/／｀ヽ､
　　 　 /　 ／,　 /|　 ,　 ,　　　 ',
　　　ｲ 　/ /-‐/　ｉ　L_ ﾊ ヽ!　 i
　　　 ﾚ ﾍ 7ｲ｀ﾄ　 ﾚ'ｧ-ﾄ､!ハ|　 |
　　　　 !,/7 'ゞ'　　 ´i__rﾊiソ| 　 |　
　　　　 |.从"　　_　　 ,,,, / |./ 　 |
　　　　 ﾚ'| i＞.､,,__　_,.イ / 　.i 　|
　　　　　 ﾚ'| | / k_７_/ﾚ'ヽ,　ﾊ.　|
　　　　　　 | |/i 〈|/　 i　,.ﾍ |　i　|
　　　　　　.|/ /　ｉ： 　 ﾍ!　　＼　|
　　　 　 　 kヽ>､ﾊ 　 _,.ﾍ､ 　 /､!
　　　　　　 !'〈//｀Ｔ´', ＼ ｀'7'ｰr'
　　　　　　 ﾚ'ヽL__|___i,___,ンﾚ|ノ
　　　　　 　　　ﾄ-,/　|___./
　　　　　 　　　'ｰ'　　!_,./

　 　　　　　　　　　 __,,.. --──- ､..,,_　　　　　　　　,. -──────
　　　　　　　 ,. ''"´　　　 　'⌒)_,.-､　 ｀';　　　　 　 ,'
　　　 ,. -‐＜　　　　　　 ､_,,... ---──'-､ 　　 　 i　何これ
　　 ;'　　　　 ｀ヽ._,,..ゝ-＜.,__,,..-‐-､,　 　 ';ヽ.　 　 |
　　 !　　　(⌒ヽノ !　　 !　,'　/!　　! `''ｰ､ｲ 　!　　 !　キュウリじゃない
　　 ';　 　 　　 八 ,ゝ､_」ｨ!__/ .! 　;'　!　;　ヽ./　 ∠.._
　　　', 　 ',　 /　 `i ;'´;'ハ　　└､;_,.ｨ　/ 　 ﾊ　　　　｀'' ｰ----------‐
　　　 i　　 Y`ヽ/!_,!ｉ　!_,ｿ　　　　!ﾊ｀yiヽ､/ /
　　　,'　　 / 　.! 　'ひ　　　..::::..　'-'_ﾉi Y　　',　　なんか苦い
　_.ノ　 　,ﾍ._ 　',　　'､　　 ,.-‐-､ 　　''!八　　!　
　 ｀（　r'　　）｀ヽヽ　 ）､　し--‐’ ,.,イ　 ! ）ノ　　　　_）
　　　）'　／＞‐‐'＜Yヽ､｀' T7"´ノﾚﾍノ （　　 　 ,.:'";';
　　　　,.':::/　　　　 ヽr､ ＼.」 ｀!」ヽ.　　　 　　　ﾉ_）;':;'
　　　 /:::;'　/こコ　　iヽﾍ／ﾑ､!」,　 i　　　　　,.'´_;',:;'
　　　;':::7　/　　 !　　ﾄ､ 　　 ﾊ 　 V !.　 ,..-r'つ'､ヾ'
　 　 i:r!　 　　　　　 ,'　 ヽ､ ○ ／ !/／　 !/;'（__,ｿ
　　　!/`　 r-　 　イ　　　　`F'　　 !'´　 　 !､__ノ!
　　／　 　'　　　　!　　_,,..イ　 ｀ゝ､i　　　 　 　_,:'

::::::::::: ::: :: : : rｧ'￣77ヽ. 　　 iｱ'ヽ､　　　　　　　　　 /
:::::::: ::: :: : :　 }!::::::::!{:::::i,}　　r/:::::/,ﾊ､　　　　　　　　|　　　 ・
::: ::: :: : :　　　'､::::::ヽ､」|‐-r'::::::/ｿ:::::!{._　　　　 　 　 !　　　 ・
:: :: : :　　　　　 .＞;-‐ｧ'｀'ｰ'i-＜__ン´ ｀' ､　　　　　 |　　　 ・
: :　　　　　　／　く__/　　　 '､__,>　 　､ 　 ヽ.　　　　!
　　　　　　./ / 　;' __,/! ,ﾊ　/ｰ!-‐/!.　 ';. ';　';　　∠.
　　　　　.,.'　;'　　! ./_」/　ﾚ' ｧ'‐_-'､!　__.!　!　i　　　 ｀''ｰ-----‐
　　　　 く.;　!　　 !ｧ'´;-､　　 　i´ ﾊ Y´　,.ｲ　 !
　　　　　 i　!　　 !i　 i_,ﾘ　　　 ゝ‐'’ !__,ｲ/　　! 　 　 ,. -‐‐-､
　　　　　└i__,.ﾍ,ﾊ .,.,.　 　____　 　""/　| 　 ,.'　 　 /　,.-‐-､ i
　　　　　　く/　 　!､.,　　└‐┘　,／ 　ﾊ ／（ 　　 i　 i　､__ﾉ
　　　　　　 ;'　　　! ./｀"7''=r‐ｧ'´　　 /'´ﾉ）::::)　　 〉　`'ｰ-‐'
　　　 ____　i.　　　Vヽrイ__!／　 　_,.ｲ｀ヾ､!__」{　 ノ
　　;'´,.-､｀ '､　　r!:::｀ヽ!7‐ｧ'--‐ｧ''´　,rンヽ,
　　i　'､┘ ﾉ,i＞く二ソi-iヽ､::::::/!/　r'/:::::::::::';
　 ノ 　 ￣ rく 　 iｿ::::/!´｀ヽ､＞'　 /ｿ:::::::::::::::i>
　　　　　　 ｀ﾍ._ r!::::/､　　,ンi:::;ゝ /7,!-､r､_ノ　　厄
　　　　　　　　 i｀'ヽ'|:::） ノ::::}L/::V´　　/'´

　　　　　　,.ﾍrく⌒ヽ、_,,..　-─- ..,,_
　　　　　 /:::::＼;＞'"´　　　　　　　 ｀「`'く⌒ヽ-‐ｧ
　　　　 く::::::::／　　　　／｀　　　　　r':::::-|　　 ∨
　　　　　; ｀7　 ／　　/　　　　 　　 |::::::::/|　　　ﾄ､
　　　 　 |　;　./ / 　 ;' 　 　 　ヽ, 　 ´￣　|　 　 「
　　　 　 |　|　|　|ｒメ､|　　,ﾊ、　　; 　|　　 .|　　　|　　　知るか
　　　 　 |　'､　､|| lﾊ ' 　/ _」二_ |　 |　 　.|　　　|　　　　Yahoo!でググれ…っと
　　　　　', 　＼7 弋! ∨´ 「　 ﾊ||　 ; 　 ./|　　　|
　　　　　 ヽ.　八" 　 '　　弋zン/　/ｧ／./ 　 　.!
　　 　 　 Ｃ ‐ …＼　 ､　 　"∠ イ／　/　 　　 !
　　　　 　 ﾉ　　| 　 ｀_,ｰ‐=ァ （/、　　 ,'　 　　 ,'
　　 　 　（　　_/__ /´l l}　|/　 /r ＼.　|　　　 /
　　　 　　 ＼| lolヾ' /{!ム!　 /r'　　 ':,　、　　{
　　　 　 Pi　.| |-| |7 .// ＼/' 　 　　 | 　＼　 ）
　　　　　　　 {ト=k|　;':;'　　〈 　　　　/ 　 　 ）'
　　　　　　　（ﾐ}＿」 |::| 　 　7二二ハ　
　　　　　　 /ヽ-' ﾊ. |::|　　 /　　/ |ﾑ|
　　　 　 　 '､__／r'､.|::|　"/　　∧
　　　　　　　　 ／ヽ l_＞/　　/／＼
　　　　　 　 ／＼/￣「/　　//＼　/＼
　　　　　　く＼／|￣r'　 　//　 /Ｙ　／>

　　　　　　　　　　　　　　 __,,,......,,__
　　　　　　　 _r‐i´￣こ7´ｰ-r-､_　 ｀"'　､
　　　　　　 r7＞'"´｀"'' ｰ＜_/　 ｀/!.　　　` ､
　　　　　 ／ ./　　　　　 　　 `'＜_/￣!　 　　ヽ
　　　　 /　　 ! 　 !　　 ハ　　　　｀ヽ./´i.　 　 　';
　　　　 '､　　 ヽ､ﾍ. _/_,.イ´　　!　　 V´ ヽ 　 　 !　　　○
　　　　　 ＼｀ヽ. 　V 'ｧｰ-､!　/!　; 　 ＼-' 　 　 |
　　　　　　　）ヽ､）,!'　 ;´!　 V .! / /' ￣｀ 　　 　!　　ﾟ
　　　o 　　´⌒r '´　　 り　,ﾉ　ﾚ'i/'ヽ　　 i　　 　|
　　　　　 　 　.i 　　　 　 ´　　iメ）ソ 　 　 ',　 　 ',
　　　　。　　 ,.ﾍ　;ｰ-､　 "'　　）ﾉ(　　 　　 i　 　 ヽ.　　o
　 　　 　 　 / （. ＼､ _j　　 　 ,iﾊﾉ!　,!　　 ﾊ　　　　';
　　　　 　　 ! ノ）メ.)`､__,,..　イメﾉ !,ハ　/ 　!　 ';　 ﾉ
　　　 　 　 （へ,. -r'ｧ-=i＼ （ﾊﾉ !`'r-'-!‐‐ｧ'､,. ﾍ（　　　○
　　　　 　 　／　 ,「/:::::::'､　ヽ!ﾒ）ﾚ' i:::::::!／i　 ｀ヽ､｀
　 　 　 　 , '　 　 !7:::::::;'　＼/}＞!く{i::::::::',´i　　　　 ＼
　　 　　 /gic　　 !'::::::::'ｰ--/ ﾊ/!-':::::::::::::V　　　　　　｀ヽ.
　　　　く　 ,. - ､.;'::::::::::::::::/　r-i/:::::::::::::::::::!　　　　　 Red >
　　　　/／　､ヽ､i､::::::::::::::レ'´ヽ､」:::::::::::::: ;ﾊ　　　､　　 ／＼
　　　.//　､ヽ.＼ﾉ）:::::::::::::::::::!/:::::::::::::::::::ｲﾍ!　　　　｀ｿ　 　　 ';
　 　 ;'/ 　 rゝｿ'´i:::::::::::::::::::::::'::::::::::::::::::::::::!ハ__,,.. イ＼,,.. -‐　ﾉ

Cantor applied his concept of one-to-one correspondence to infinite sets;[1] e.g. the set of natural numbers N = {0, 1, 2, 3, ...}. Thus, all sets having a one-to-one correspondence with N he called denumerable (countably infinite) sets and they all have the same cardinal number. This cardinal number is called ℵ₀, aleph-null. He called the cardinal numbers of these infinite sets, transfinite cardinal numbers.

Assuming the axiom of choice and, given an infinite cardinal κ and a finite cardinal μ greater than 0, the cardinal ν satisfying ν^μ = κ will be κ.