K312345I3N5G3

01234 767R39A5D7

/HYv*D#Oi@5-1m$hvUVy*jA?$42IxZbO1pS~@Gko [J'g`\tdkT+Mr0Smss)%_P8`_+c{?vlgQ+hKmXM* }K9N3_f&9fo#)Z%mVy&C!E+f!LQb+ZaD#4}=SB_X GWO~^?(oAqe_$Vfl3paBH9JLS[-uvl'QM6(X3j7M u<KT1}.(us0H/vl|BVVR|[1C7^+C7bTCie#RSS5G Mz,!#L%BA)Y?nz6`N(BVqkfFI-ByO*;Ka>(|eOi. ?Az\|A~)X-)<tOQTs\~~fil'HT:7qp"r@$Iep*`m |G@T)*{DP)dkF",*FJ:r;ATm8nTciwD^_h{]qz*K W]pG"+fWh1v@{4MU-.6X7tPeFg9Kj]Sg/ashX[xE 6Z<rf6Ndt^b"2P=BU-*aiS@i9YOw)|rBGiPuUPXZ NOdny2a?2E!KE^s5iQ[W:zd0Js8ZLD`@Cg!y~4fw #QNuuy5\iA#+X$e,A?=2b-h.=gcEI6PUb6/z$iP_ *qdaVwGaiOg&a"0(!g7,.q'z~ORC[3vhUt6dI=@f <~vv%gI;`9MoksWA2Ai2i*L,Vi0RB@!#9Sxq@lf/ ?z$n(k+FA?X,Y*9cBlRQ!IYm;gNO/IsbSDIaA>?{ N#zqR1cD"{rcRu,`kGO!Tvw1t#c:93e|kf\\J1C5 x}ZaS@ku5-_5x$H3$~!am[#&t%k[BhkF]/&)$dMF l4?dw~gvTTOf!")h8%;4*1JyZLv1l*[DvfLN%~6A SM@-4+sJWb^=%;""e'telU,=]qiUhPrm00v[|->C {6*@\BH/CK0"uqom|j&o)\=\p\>{VS47xiYV/Y$) 8!1BLD$r)Q:EiuXD|;~\n0Lru@d;`7+)noos8Ip8 9e>VR;@TRi{:\s4+6f~~O8"0o!d[5;VMmC'Uzz;. ;iV%sm1b&I\%9}#F}@YXu|T/D+waTG{.@xRg$"'@ MMAly}t6\M<gL~Y$4[uLq^}sD?]>#ili@7"jcqbN 9-<jag'>N{v6mVfkXm8x/>vTm2e/"BK#!-,?-sa" G_NmJe?XT_2R])=I/RE9mpFRcN&rqp2-*"n:|=oA 8kB67zama0+P*&<v|*F$7js<\dk5Iit.d@)s'DpA W)4SZ]BDdpvF{1{Rl'|E3W~Dq|;O:9Jq_ilueZ`4 KvHbF4a8^[<mT%h3PP:B=)mE6=m#;vnLl[n$9G3M zS"LI#KNrpeTFjKqT/n<%'Gf}9JW$uQ~FVU/`Y@( M=J?LZ%>dIk/|u-la0_2"2Ed;9M_z4$/.%um16HD KL^QY'KM?AT6|#7>7~I?b0&3KgCt^aaz48urdvx& `;eF\.*jwqYwn9-q:}{>Y'H4eGEmEP!hy6MOp>1n l6X4=CVF&jZp2F3/hSo/(hJsAoH9K@*P_haLLeem ?AFvptv^{IWn-~<#"`Tva5#93%,F%c9s$I8`|oiq ?OD`^%1jq%t=C_{2Vukn8RhSh7_}Lovka<G+fE(l KF}M7f5=/Ic4?j[RX9:nu@b\a)55X~JcG.qai5F^ eL1'-jW4Z+=%}}W`-#:A,\c4Mje_6`KcfyE=o9E* dD((dXdkbXd)!L}+/\/0I/?[mD*~DD%KpSX.E99h `\_E#'tW:2Yb]F?OgWN+#mM9wA(+yO89vuR.?5w{ !:.lDX|Rr+MDl(!\#l(xfZu#YZ}gaM1eKq"d]?l" N:R%B`s<<c/L$UO[_a\-1]P7zQxN1DWv2YUv9Nlk 9s}n!k^|Ce)21\|T^C:|nm:jM;)OiYA\Z}-MPHCN 0^[!C6=^^A\2F2;O<],('riih*~z{P3=r@jy6ehN /cH:|0[&t(02a^<~A:"y"bv]zgx[%oiY)TT3=.Ag 8<A?l/>l-STW4;4fSPKM=}=ZtnBx{4k9C*0wCIN^ eLIq3p!T{QcI^h*SI"m-5HfH2f<**UM0qzD,T>`| K}O5$VLSK[4h4P!{h..miX]7~l>b1U_GhycxY7u: _8jNZv~*6MJg0vd!u|^=6yK6Z&:~b,EcN^{_C5gC \kLQ"nF8Yf1o;Vno$TsA\Bvt~ec6LXOSQ#jERiv# XUnmg[d'ih2asHNhlfF0VcYuXG1s3``@'1'=l]]= HjTcMT&Z7'Hr0\0Ra-'c3376D\}4P}=C%0VH#*LL +u$A7WLC~6)h:'i.(u!5!dAh+v7M`d>sPL"IT^jO wRpfV*tOF[IQBV~N]e[zF,'a2Zl~QXRO|tL,|wH{ =HcUw>~$1l]YD9I}w}>D_4t=;z2cHYlz:uxkTs`` #oiIIPdLjT3Cl+S(,s26!$;3(Z?lt/ALvCM~6Nsb TivxGanCkv/c7Ric:x>Wc2q}`x=IABpE>}?WK<ol yfmsHhw,~riGk`<|j.qoiNA&}DHNa`{Ox(~`*i#` ?w/7~/l]CWP9<q8aEW;QpW+<_|w[YpUejdRBnoY| rW-eCw(/_*MArsZZw\N/URt4WJ2L-BSMs`uwH8#N Fw/Dvj/<|=m3BAuw7Lz6_$x@crSq>tD:2LE;Qi9| qk>G/`UM[~#Gk(J^Vx?7P~kW(`8,'/eY&.W:v@NG 4c*OtYp]a<s>+9~q/JBsj8zn"6aZE!RRR3Lj+'~% L44NHBXQQ[CQd?FVph|eJvv63<w3,ZRC|RN"f"Uz GP'a^+l$HG-^*kS6Cz;iptSK\:l9&bwN/sZ.%|Q^ "H8,:z2P~x_Fv(DDq,'f2>\!rHUZ)~xo#t^hv(;| ~_%jX6>m3qYUXn`:Q;<d#d:FwQgQg:e?\Im7=pKd ~[bjqFaq=XKPOpM,@b&^G&PHQU@pwbqa!^Px=)~L ,YBH`J/nJ:3rk&gf+5"KoeC:1*c-\}{y$<'6,<EA B#mEZ@LyLp2,o_#fEs`dW2M/omM-BCI8T-,Ke|8j TWNLz2Y6L^Qg#/_vQEF1_kj1nw&k2MR0:z.;w]1n 9qQT>A<,ESm%fnwhWjr,FL6HH'3Tc8U=je*QT^.W <xrITG3<kZ}e!vK]~?\&R)vxc:C*I#+5JWIM"}x~ 1p>"|{{,W7J)[<U,gku@#.kCZxPm,HPJ<%5uyX.^ }zxX>7q]wcv[7V")uitwz3&]MAVyG)k,_Nql~+>? Jku/-k_2N'E:~r~zq#WLKpSS%>tHI82b#Nz"#pwY n-G.A(lT'mm3H%`|$mLoKZ/ia'Q9:qwe$~sir.Wg "t(fi@im@6\ka23~B5Dqg%iT`p]e<Rp}5Jl4)A-6 !+T`1).OF%#S}6M!3I$eUqr6ra9N#rrJrj6-_tDs 5rsgm^cXo4FRNp\fI~[Z9T5Ni"Q#~}1ax~#r^[I= `q74NpxQZ#{66%!AK?[v;CFY\E=$fR>Q7UaG3!W- 1Nnmd>n5c1XR1}M:ko8gDV{,4Zmdh|vG~Npdg/CM 2VLk_9=r4*iem7omcD)=G-n?T?(2@-0_@jjBS@sR C9vYu3q@M,UjVWE4OykI8wH_s6_q'CO=O/&zvX0D ,jVq@IR8Sia@?*Kw"P8)E~k$=7Noz'al_x>R6fg4 ^{so)jbSy>lXkLC\7\k~BuEg!Rh'+'GS6vhg,)s% \Zb1nduJ$i3"mI)d~/g}{^3#@u^N2vIjNFs9zh}J s'DR7.oOus73yc[RDo.|3&MlBi_?z7#.:%GX5f}r lrL~O?1h&q[soqHSR[}0))~$Oc%9gJIGHT9e!Mq- 3{9wz16T@.ZCpV<v/tX!\B#U[ZMf5&o}.cI0gk;U b"qLbr++MI}iri/}%3_41IRIdofO]W6*!H}jI9Z| <uF6&&&|<Jp0dvhzZIPY>$:9gkO&f-aY8KU/$E%D v^~xYvSgW=RJAy/.#;|(^\;f#{8qHQJAg>yD>]4" `5{s9)baerSJdMn|du%l60B:[$xf>l95!,BK5[MU <oJN=)/`UA{t%DS&f1FbC+w{A6eqmol="b0B^(Yt #6+{xC5qxLVE-1-$|cb>K=qJc[:7K~Xcapxy!^*[ OEt$0i4,r.'E*KFL[C/Lg"+=t`O=90H_'K~&DErP O%;I%Ac,M!TpiKbk&1~u%E;wJ{,DLjtmhek@?/YY T'6J)8|D-EQBk\Bbv'v7TT*LpBHt5ugqDWMw=`%> ZCM2|`iU^x|+XI(+%{E[Fj}(5JS~%p~+6"Ue(EI0 1@f.{?z$"s4l]o0Y_IbD5=*6xP2A4<@@EKx67:b, nN$reNY#'Dx"U{7\xDE9h2*75rr$l@6coZgztgYr pZ<EKTZFd}.xi+u]-u2)d]6BGp{;S[n:FbDXComg ZE/W}!c$xi4Z5K2JdLHfYWnBsdRpUrNev5o|5:Qp 2&txw657wB,/tq`@/D#7?'QXm)v=73`#pcq`}%2D ?K9S.g{'j&=>j3~'q-[Xi>;,T^s(y:.Fkzp{c4BN +9p6J^<|t0Gg>If./GNua|4+ro"{ma;Ty[c{fE0' "7`-!j@@#kVx!dGc1/bFTst4ubSxa+Z8{&f`SRST _DuW&LuNyP5d,pM.@py}%FxI%R>LxL\Z&-]e+2NT iYlTG_\%:Yv5f*0E`K#-1/-OU4u8>g&@Yis,3tr1 Sul3?RC[V:x8Ct*cB5Be7,x"JrCwY}M2FNg=m1Pu n9yV_+_)$*Z'uOO{q51?fKJl:)"lbc.n.X%MW'fo I`be;TpCU?f(1_~aaZ^cpl9j}Ac,/_^Txn[rt203 @$**w|u5+#Ra&'-b{^F>]#b:CtSa04yBz#Xqi4{z %OK,pZ<'uOLYE\Z?{&r`w'TJA4~m=BHL2[=]3;RW =E<\":6|_Ut3Epf8Si`S[99By`HkZ-WsMUXLdp%= /rNo]{meT-\ZczOw@Wa]=b-csue;4[3("XyjXaV0 6=Bx<_*{F|D1z#rWW:$6BZekUI}"s4T1g'S*nFj7 fhE?NRXG]Ic4MP&S3GCKo6O{&dPeeh{BW"~LwW@j WfF7F/"G&VFl[k-B#O=?=Jny~Bgq)&yVE1URM&a` 1XX,+ig)@JQZJ4JU6MV9>#Jp1\c6>oYl{E`T>uT^ '8UDW8bp:]+UoGX,u2"vH2tIE~w9E4diM~e][}6< {IREJVEt@`nhgP(GJDI4p^ic0XX"*uIAYC6>3pV} DBZLn8c-m5/%Gi`GIBl(6cblK=e6iL^[Q^/N[E'j ]D4[;SM\g>az3l$Xh=6*3Xdl+ObGJ:;crz':Crk5 q4Fy&ieEKGo1+$b/f:vl#"`1lJ87}93)#kCZg"81 Q~9Rv#$hsO_xmN\pu`V3G<89u:vlB'/<yt<n:ILA kKwkjXkq2V:y=jqNz[m+]'W$It?E$a7"d]3I>9;i 3`of<<FZ@R38s#2-a7D+H\}]eU.(~V@dHP$s[.gR vJf4e%nC-M@.B<}.'xUCR+QdL<dt:"[>Y.qM]"YM 3LZH<Gxzfd;Z5`8WEOgGagwm&c&?4doLM_d$Xud< a}03'pA]1A8gTE+f-G<'D/W5UC*:TkM2=v2cW=r9 0q:s?D3TxZ9/?FL|92$J]["6+X^!$X$mqX_Kh&Qb )vD:h~b7#@}&l]g5|?p`H_O-|jR[4Gx)nT<rKkWC s%8Se!QXG9>Od?!-vAMr$FlG>}rw9#%<4Tv(oF," 6sl]iprR3{sjw>Cmj>iQq!UJM!:iTKvK77=)<2Eb T!F,UHG+[jQ6,c):%,4o)I]a9)Z0|C5hYPGY~]Uq (D1zS"xbi#ylFP8t^r{2(;c[`Jk|2XEZJ[XL}iF\ eW${~;pwWu`}{cYJt{^aJ{gXmm[ffXd;E"Yq:CY\ hSKK}'Ik2%({tU</3S6vA{wNe%m@G]lv|Wrb15yh 1Lij)ER-08(K5Bum6;G6>=.![lc4fy[ni=3VoP|A ATHKB\:"H>Z]_JV|F1uUvx}TU7ABQL9$^Af2b2[4 E43!c0Gu@gO&s6i#iQLu,bjPd7!d{uGY!^N`s+5M ,U:?>iWC=.tx}o2V`rXTj)Y-!<p22m$_6ih\!]G6 _c[m-Y@2ERN!9o11i(5!e2}CJ*>BP29,eC/n3L-j t3ylN48]:pu>BfLT>jXC'Cj}'lR@?/Zcc=SI;"lS \:?M4}P\RNlyG1N_Ps:~>K[DUS%@%BOr7~fc[cij Uam_>XC3?N,t7vz,o54s.Og&y<$QqD&Q5ojA?smo e'gGQSi)a<^xhgTlx%X?M~i3;LNMb!;P\C<G]k"y P<zDEVY!z8oKL,U}tbR1[Y"cB?LnyV/RCoi8R;:{ x$1QD*P`G\+H.et21vN);Oo$|X`<bh{AlpB>C<5~ FG3LVQ2LfSl/gRL)K%Z9tU_@ds[m`Ub`N#ak_N6T 7OXBpJ+NpJj>%?hr]Q.{=KhNVMp+I<JgZ4+8B4Mi oG5#VbSE+mG.!zLOE%y;4-F,g$k{a$<?S94E5z7< @]=O{.~Fo]fNJTA{KfDYWHS6gKqkM$!X]}>7LWSM lR}4Vw`W"*{a,O:K#]P4rUrB=iFyRS2O<xi{0~-' h!|uNeh@n"9i3+G}`"Tt!C8#^UrPJ}(i4i&Wn%6c n#_"DhWI#e/zAS1Z%-OcNdtR@[g;>Cv:mT2cT{E" 1;td'lRebW:6h\|ky9)Bui40qbza!e9M)[?tT@7b ^v\(L_mY}-gkw:m#n.PK@FwvAjwCp$Pjh#=REX[k (scCEIxcl[G1Q'-T+@^6;`dEsj-9Tz;&,qc9=@)/ l^.Vlr!ioJ^lhAzg%:?B"5PD7:&2F8,8/=fVv]_( W|f;.+dY'0vt]2$KV=s7VQcjG[Uwz5Z,o08TLGGy ?m+U|[BU)9xW&-Vd}shs|Vl6H4Qt.50SX'L=Ft+> H5gz]$[yGb,2=YANv|Sbf~H1+</]b6t%3|nhr?gZ WP|~vCsyVOFugM"Y_ctt7YC*Gu3muD~V:=Zirj2I `KF=X*ICHpJ\mC2PIXu]W2OdAGe"tNry"2#Rh=5? ;Q21(8&FJ6}f(bFZPf<K5_hy9p]Z>=D*h:)?GIPa H<L&1<[H~7(o4uhs0Fe.=;y)g:lcT~c_""}KjKjM (~y1eQ&#q17fiDcTugVmy_Az#T5#EXw.V8DEzD!5 x@e9YQ*J%-H%l]!bkm[Tt7bq\+TIQ,VfQQJE~\:^ BD02Fk{p6,9\=V_Ls?`1HVTYK8fKwGoy}gQ1HUkk ?iP8_D4+\L6Je&EQS#JFcjHWUnK)>TQD'FVcrvdN k'\CNNCd9y0{}{0d-Nj!gy/hEHyk{Q3~}#DLxc2D -rM1LVm[+(I3BH:,!%E*`]x,S]/[:.R#G7{h.66/ QS7<3_b0e6MQwKIjR4x-'[+3WrZ~sprjQ_/YP|[b 1cW(@G8Lyr*vvLJ2cS&B*|aSSkhYa"zYH`4xwUIH /N[=1[<Plp;Z'X';GY2Q\Sg[62Et9&hv)`u2kIN9 Z#/Z&pBsfxYp"/<~bUp(/Yw%$7%#{zsB2_o(>(PB $99zf"oD-_P.AP[JrNc<DLjN&,I-v|qjRkd:0UM2 rp~~aV?f@TjFR$Y8-VGE&\EgWD(@S65xK{s-%'=8 WwFN/GZ^.;w<}dQ|S!}QCW]~sp0L'GrRUH}t@%;H s>(-w-,$wCV!rC#3,(m-QZf`)C9y.l$T\yz"hk3V bCALn&?wMAg^$;%EIOIOd-hN<VkgUHI[(.}8EGoJ FL@P.3K$2bIEOg{%I@!6{U}6*xX?C5Ip8%/wHm*0 nAu&*?fDF@ZkW"!<g9gFy8O)bS*Om[:FWIgYCA{} X8Wc":qpkr49-1sw2|sp|='C]Ieh!|zB,y!Iz|w] AVX8IFRT!#\0y2,/sE1qwIW0^gImVbcTNs>T,(HH ^wZ0SNtl@{*m,k|6(9P+yVl{@|#(1i"ldQz$=.wq rPesx[3id%&RsI_]<,[vw}d#8Z;Ga"o>x<{bIH#g jW"iQ-GjvBqN,@rM'=\7jXE5>zfj()yAHyivG/Tg 5Md'6Ss,,ml[Xp*aiB*#V77RCbR<,hX"rF'3`wep @Q0=>|mETW'&Z5gW"KKyws7&C9UQQN$RH%CiY.Gr v}&uM[x6,(T{Dp5"j[P$o6odbB:)jD~AJ`e^e?!' }&o7?Y=_<~9%NZ\^goK:Ho8L(W?k_pOYy~4M/3PG A=%FZ+y.0f|N(y*8_;\^Y7xs'@Qeu8C~9Yr&YgWF 1]/.w%m91TPN"}z)"@Cn;zU[/::}(Ir_kqqlmtrh /^$*BnD#2oN?p(VyFx-m${Ig&AvFD2a\R>PT,r53 (v\X8drO@VT?4g';.p##d)3cCY{8`)obK<wop5!] Qi;;4(UIMZOzxs'`>/a$=qOPXDe.jUE!"x3?B"Ou

Set theory is commonly employed as a foundational system for mathematics, particularly in the form of Zermelo–Fraenkel set theory with the axiom of choice. Beyond its foundational role, set theory is a branch of mathematics in its own right, with an active research community. Contemporary research into set theory includes a diverse collection of topics, ranging from the structure of the real number line to the study of the consistency of large cardinals.

κ·μ = 0 → (κ = 0 or μ = 0).

　 　　　　　　　　　　　　　　　　　　　　　　　　　　　 ,. '"´￣￣￣￣￣｀ヽ
　　　　　　　　　 ﾄ､　　　　　　／:!　　　　　　　　　,'
　　　　　　　　 _.」::r｀ヽ.--‐ｧ'／!::!_　　　　 　　 　 !　 　 気.　私　べ
　(.,,___ 　,.　'"´　 '､'､.,__!ヽ.//__//　｀ヽ.　　　　　　| 　 　に.　は　 っ
　　､.,_ ,'　　　　､ｰ-＞r'-ｧ-ｪ'イ___,.　　!　　　　 　 ｉ　　　し　 全　別
　　　　!　　 ゝ‐ｧコ-'"´　　　｀ヽｰヽｰrﾍ　　 　 　 i　　　て　 然　に
　　　 r'ｰｧ'´　/　 ､」__,./!､　;　 i. 　｀ヾ_ﾊ　　　　　!　　　な　　　　い
　　　ﾉY　 　 ;'　　/_」_/,.|　/ !､ﾊ_　 ;　i-'　　　　　!　　　い　 　　 い
　　　 `! 　 ノ!　,'/´;'　ri`ﾚ'　ﾚｧt､!｀ﾊ ﾉﾉ　　　　∠　　　か.　　　 の
ｸﾞｽｯ　!　 !　.ﾚ'i ﾍ. ゝ-'　 ..::::. じﾘ!ｲイ（　　　　　　!　　　ら　　　　よ
　　　 ﾉ　,'　ﾟ o 。!''ﾟ　　 ____'　　'' !ﾟo iﾝ　ﾎﾟﾛ　　　',
　　／　ﾉ__,,.イ|　 ﾄ､ 　 '､__ソ 　,ﾊ 　 ',　　　ﾎﾟﾛ　　`''ｰ-----------‐ '
　,' 　,.'"ｧ'´｀'ｰ-っ', ｀i. ､,__,.,.＜/　!　_ ﾄ､　　　　　　　　　　　　　　､| l || lll l || ll |l l
ノ!　/　;'　　　 ,r'!　!イ､___／　i　 ﾊ´:::｀ヽ.ヽ.　　　　　　く7_ノ）　ヽ`
　', i　 ;'　　 ,.ｲi/ /ゝ､}>く{　,.ｲ! /::::::::::::::::::':､）く{　,,. -‐ｧ'ム´　　ﾆ　　マ　　ま
　ﾉ !i7　 　ﾑ　ﾚ'ヽ､/ムヽ､／ﾚ':::::::::::::::::::::::::ヽ.／:::<Oi　　 　　 三　　ジ　　さ
'　 r/　　　ﾊ>iく{:::::::::/!:::::::::}>!く{:::::::::::::::::::::::::::: i､::::::::::;'　 　　　 Ξ　　泣 　 か
　 ';' 　　　i'7〈〉:::::::::;'::;::::::::::::〈〉'､::::::::::`>'"´｀ヾ7､:::::::i　　　 　　ﾆ　　 き　　の
ヽ､!　　　,ｲ:!:::::::::::::::､:::::::::::::::::::::ﾉ＞-へ.,r_'´｀´ヽ7:::::!　　　　　 三　　! ?　　
　ﾉ｀ｧｰ'´ ﾉ｀i':::::::::::::::::::::::::::::::´ｲ,.'-‐''"´ 　 　 　 ﾉ:::;'　　　　　　彡,
,'　（　　イ r7ヽr-､:;_」_;;::-‐ｧｰ'7　　　 _,,.. -‐i'"´ヾ､　　　　　　　 '/l | ll |l |l | ll |l |l

As in real analysis, in complex analysis the symbol \infty, called "infinity", denotes an unsigned infinite limit. x ightarrow \infty means that the magnitude |x| of x grows beyond any assigned value. A point labeled \infty can be added to the complex plane as a topological space giving the one-point compactification of the complex plane. When this is done, the resulting space is a one-dimensional complex manifold, or Riemann surface, called the extended complex plane or the Riemann sphere.

The next wave of excitement in set theory came around 1900, when it was discovered that Cantorian set theory gave rise to several contradictions, called antinomies or paradoxes. Bertrand Russell and Ernst Zermelo independently found the simplest and best known paradox, now called Russell's paradox: consider "the set of all sets that are not members of themselves", which leads to a contradiction since it must be a member of itself, and not a member of itself.

　 　　　　　　　　　　rヽへ___
　　　　　　　　iヽ､ｨ'i/／　> ｀"'ｰ- ､ﾍ
　　　　　　　ｒｲノ-ｒへ-く､____,　　　 ｀ヽ､
　　　　　　　>!　,ン-‐'- ､.,,_ｲ｀"'r-､, 　 i
　　　　　　　Li´ /,　;　,　ヽ､｀"''ヽ､/｀ヽ/
　　　　　　　　|　| L､!_ﾊ　 i ヽ　　　｀ヽ､_>､
　　　　　　　　l_.ﾊﾚ'|┰ ｀L ﾊ__!　　　 　!ン
　　　　　　　　　　i´　　"　7.ｲ　　 i　　 |
　　　　 _______ __,..ﾍ. ､　　 /　/!／i　　/
　　　 くヽ.:::::::｀ヽ､::::＞-イ／ /／　 ｲ
　　　　 ヽヽ.::::::::::[>k7''⌒ヽイ<}､ン´
　　　　　　>､ヽ::::::::::/　 　ヽiﾑ　ﾄ!
　　　　　　!　｀ﾌ､::::/　 　 　!ヽ./ i
　　　　　　rゝイ´ﾝ　　　　/ 　/ﾝ'
　　　　　　く/　　i'　　　 ./　,〈´
　　 　　,.-‐-ゝ､.,_____,.／　 　 ',
　　　 /ヽ.,rイ／}><{´　　　 　　!
　　　 ! ヽ「/ｲ 　　 　 　 　 ,.:　 ハ､

Determinacy refers to the fact that, under appropriate assumptions, certain two-player games of perfect information are determined from the start in the sense that one player must have a winning strategy. The existence of these strategies has important consequences in descriptive set theory, as the assumption that a broader class of games is determined often implies that a broader class of sets will have a topological property.

For any set A, the power set of A (with the empty set removed) has a choice function.

　　　　＋　　　 _＿　　　　　 　　 ,. -‐-､　　　　　　　　　　　　　　　　__i___i__
　　　　　　 　i7＜::::＼　　　　 ／:::::／´i{　　　　　　┌─── 　｀ヽ ___|___|__
　　 　 　 +　 }|:::!´＼::::ヽ,　 ／:::::／/::::/}　　　　　　 |　┌─┐　ヽ ┌‐┴‐┐
　　　　　　　 {!:::|､ 　 ＼::|{/:::::／／::／ｿ　　　　　 　 ! 　!　　┘ 　 / | l__|__,l｜
　　┼　 　　 },!:::ヽ＞-‐ｧ'ﾆ7-'＜::／r'´ ｀ヽ､　　　　/　 L_____」　 /　.!　　　 .」
　　　　　　　 ,ゝ､.,___,.ｨ'/!￣＼::＼､´､.,,__ 　　'.,
　　　　　,.／ 　　　く::::/」　　　;ヽ､_」{' ＼｀ヽ､　',
　　　　く/　　,' 　7'十r　 ; 　 /-rイ　　　 ':､__」 .i
　　　　 ,'　　/ 　/!,_」_! ./|　,.'-‐-'､! 　| 　!　　　|
　　　 　i 　.,'　./ｧ' ;-､ﾚ' .!/'　;'´｀ヽ!　 !　ﾊ 　　.i 　　┼　　　　 　　,.-､ _
　　　　 | 　i　 ﾊ!　! r!　 　 　 ! 　rﾘ!__」/ /! 　 ,'!.　　　　 　　　　／　ﾉ´　）
　　　　 L__ﾊ＿!`　`´　, 　　　｀"´,.,/　　　!__/,ﾊ　　 　 　 _　　/　 /　／__
　　　　　　　|　!､ 　　　､_ _,　　　／　　/ 　　.,':::!}　 　　 （　｀ヾ, 　'　 '"´　_）
　　　　　　　!　|/＞,､,　　　　　/ 　 　,'　 　 /_::_|{,__　　 　ヽ　 ｀ヽ　　 ＜´
　　　　+　 　',　V´ 　 `iｧｰr　/ 　　／　　／´　 }/-!､ _,,. -‐〉､__, 　､__,､,_｀)
　　　　　　 　ヽ.!　 　 /イ´／　 '´　_,,..イ　　　/」:::::::/::!7:,r'､::`'-r‐ｧ´
　　　　　　　　 ﾉ＼　 i_!／　_,. イ´　　,'　　／」::::::::::}!::!{ｧ'　　`''}|::!{
　　　　　　　r!´}!:｀ヽr-rｧ'"´｀7/　　　　　/」´:::::::::::_}!::|{　　　 /}|::!}
　　　　　　 /L! {!::;:イハ､:::;:-､」{　　　　r'」´/ゝ､::::::::},ﾍ!}　　 /`{|::!{
　　　　　　,!､::ヾ￣（　ノ）::￣＼!　　　 /]:::::':::／|>ｰ'ヽ､　_,,.ｲヽ::}ﾍ!{
　_＿_ _＿_ _＿_ _＿_　_＿_ _＿_ _＿_ _＿_ _＿_ _＿_ _＿_ _＿__ _＿__　 _＿_
｜19｜19｜19｜25｜25｜25｜33｜33｜33｜37｜37｜37｜42｜｜42｜
｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜｜歳｜

In class theories such as Von Neumann–Bernays–Gödel set theory and Morse–Kelley set theory, there is a possible axiom called the axiom of global choice which is stronger than the axiom of choice for sets because it also applies to proper classes. And the axiom of global choice follows from the axiom of limitation of size.

　 　　　　　　　　　　　　　　　__,,....,,,__
　　　　 　 　 ﾄ ､.,＿_/｀ヽ"´　　　　　｀'　､
　　　　　　 　＼,. 　 |　　　＼　´￣｀ヽ　 　＼
　　　　　 　., '´ 　　 |　　 　 　　　 　 　＼-─ﾊ
　　　　　　/ 　　 /　| 　　　ト ､ ＼　 　　 ＼,二}
　　　 　 　|. 　 　!　八　 　 |､ｰ-イﾊ 　 | 　 ,＞ ﾊ　　　………っッ！
　　　　　 八　 　|_メ._,＼ 　|'ｨ'Tｱﾜﾒ|　/　 /　/　|
　　　　∠　　､　.|ｧ'7ﾜヽ ＼!　 ゝ-ﾟoﾚ'O／-‐ ｧ.人
　　　　　 ｀ヽ. ＼|。ゞ-'　 .::...　　 xxｧ ﾚ'r‐''7´ 　 　｀ヽ.
　　　　　 　　＜o,ﾊxx　　　 __　 　/ 　 ﾊ 　| 　 　 | 　 |
　　　　　　 　 ﾉノ 人　　　´　　　/ 　./　　/　　　ﾉ 　/
　　　　　　, '´　 （　 |＞ ､..,__,. イ　／　_∠__ノ_イ.|／
　　　　 　 |　／ /＼'､　　,ｒ┴-.ﾚ' ア´　　, -‐-､＼
　　　　　　∨イ´ _ｒ ''ア￣|　　/／　 　／/:::::::::::＼}
　　　　　　　　/´:::!＼ ＼_Ｌ_,.イ＿,,..イX/:::::::::::::::／｀ヽ
　　　　 　 　 /::::::::|×|＼_|　　 |-‐ｧ' Ｘ/|::::::::::::::/ X ∧|
　　　　　　／::::::∨X/::::::/　|／／Ｘ,..:'::::!／::::::/ X /ヽ||
　　　　　くヽ:::::::/|X |:::::::|　 .／Ｘ／::::::::::|:::::::::/ X / ／＼
　　　　　/＼＼|::'､X＼:::!／X／::::::::::::::;ﾊ:::／.X ,:'./　　　＼
　　　 .／￣｀ヽﾍ;::::＼ ／X／::::::::::::::::ｲ-ｧく X／:::＞-─＜｀ヽ.
　　　/　　ヽ,ｿ､）|｀:::::/X /:::::::::::‐::''"::::イ 　 `く_/´,-ｧ ,　 　∨ ﾊ
　 ,ｒ/　　｀ンノ r'::::::::| X |::::::::::::::::::::::::::::|､　　　ｒし'-|_/ / ,　ﾉ .ﾉﾉ
    　 　　　　　　　　　　　　_,,.. -─-　..,,_
　　　　　　　　　 ,.　'"´　　　　　 　　 ｀　 、
　　 　 ､_,,..　‐''"　　 /´　　　　 　 　　 　　＼
　　　　 ＼／　　　　!　 　　　　、　 ヽ. 　 　　':,
　　　　　/　 ./ _ .／|　 　ﾊ　 　 ',　　　', 　 　 ﾊ
　　　　 ,' 　 ,'　 /｀　!　 /　'､　─ト.、　 !　　/　}
　　　　.| 　/|　 'ｧﾃ､|／ 　　 ＼　|.　 　 |_／　/}
　　　　 ）ｲ.r|　ｲ　|'ﾊ　 　　ァ'テ‐' 、 　 |　 ／ .|
　　　　　｀ヽ|/ﾊ.　ゝ'　　 　 　|ﾉ　,ﾊ>　/イ　　八
　　　　　 ／/　|"　　'　 　 　 ゝ-‐' |／-─ｧ　　 ヽ.
　　　　 〈　.,'　人　 　 、＿　 　""　ｒ_,,.. イ 　 !　　ﾊ
　 ,. - ､　）'ﾚ'|　/|＼　　　　　　　イ＜_　/　　ﾊ 　 /
　{　　　} 　　 ∨r' / ヽ--‐ｧ''" 　/　 　 ｀ヽ /　|／
　 ﾞ -‐'　;''" ;. /|　|　 　 / | 　.／　／　/／ヽ.
　　　　　ﾞ - ﾞ |　'､ヽ.　 ｒ‐.|／　／ 　 ／　　　＼
　　　　　　　く ＼i＼∨|_.」＿_,,.. - ''"　　　　／ﾇ
　　　　　　　　|`ｒ'､　|:::/ l |:::::::/　 　/　　／X /´|
　　　　　　　 ,.|/　|／）､ | |:::::;' 　　,'　 ／X.／ 7´
　　　　　　 .//　 '´ / ,ﾊ　|:::::|　　 .!　/X／　 /
　　　　　　/ｒ|　　 　 （＼ .|:::::|　　ｒ'‐'──‐-'､
　　　 　　 |　|　 　　（＼ ＼-'､　 /´￣￣ ｀ヽﾉ
　　　　　 ∧ '､＿_,,.（＼ `　∨--'､　　　　　/

 In addition to the team aspect, Super Sentai also has a large emphasis on super robots and big scale setpiece battles. Ultraman has big scale fights too, but lacks mecha.

 no but really I AM GAY YOU FUCKING SHIT AND I DEMAND EVERYONE ACCEPT ME

What's the 'Right' way to tie the data and the parsing steps in a nice way? One could write a big function which does the right thing for the various data types. Or one could use a monad to keep track of what's been processed so far and have each processing step get whatever it needs next from the monad state. Or one could write largely separate programs and send messages around (I don't much like this option).

粘着ジジィＷＷＷＷＷＷＷＷＷＷ

　 　　　　　　　　　　　　　　　　　　　　　　　　　　　 ,. '"´￣￣￣￣￣｀ヽ
　　　　　　　　　 ﾄ､　　　　　　／:!　　　　　　　　　,'
　　　　　　　　 _.」::r｀ヽ.--‐ｧ'／!::!_　　　　 　　 　 !　 　 気.　私　べ
　(.,,___ 　,.　'"´　 '､'､.,__!ヽ.//__//　｀ヽ.　　　　　　| 　 　に.　は　 っ
　　､.,_ ,'　　　　､ｰ-＞r'-ｧ-ｪ'イ___,.　　!　　　　 　 ｉ　　　し　 全　別
　　　　!　　 ゝ‐ｧコ-'"´　　　｀ヽｰヽｰrﾍ　　 　 　 i　　　て　 然　に
　　　 r'ｰｧ'´　/　 ､」__,./!､　;　 i. 　｀ヾ_ﾊ　　　　　!　　　な　　　　い
　　　ﾉY　 　 ;'　　/_」_/,.|　/ !､ﾊ_　 ;　i-'　　　　　!　　　い　 　　 い
　　　 `! 　 ノ!　,'/´;'　ri`ﾚ'　ﾚｧt､!｀ﾊ ﾉﾉ　　　　∠　　　か.　　　 の
ｸﾞｽｯ　!　 !　.ﾚ'i ﾍ. ゝ-'　 ..::::. じﾘ!ｲイ（　　　　　　!　　　ら　　　　よ
　　　 ﾉ　,'　ﾟ o 。!''ﾟ　　 ____'　　'' !ﾟo iﾝ　ﾎﾟﾛ　　　',
　　／　ﾉ__,,.イ|　 ﾄ､ 　 '､__ソ 　,ﾊ 　 ',　　　ﾎﾟﾛ　　`''ｰ-----------‐ '
　,' 　,.'"ｧ'´｀'ｰ-っ', ｀i. ､,__,.,.＜/　!　_ ﾄ､　　　　　　　　　　　　　　､| l || lll l || ll |l l
ノ!　/　;'　　　 ,r'!　!イ､___／　i　 ﾊ´:::｀ヽ.ヽ.　　　　　　く7_ノ）　ヽ`
　', i　 ;'　　 ,.ｲi/ /ゝ､}>く{　,.ｲ! /::::::::::::::::::':､）く{　,,. -‐ｧ'ム´　　ﾆ　　マ　　ま
　ﾉ !i7　 　ﾑ　ﾚ'ヽ､/ムヽ､／ﾚ':::::::::::::::::::::::::ヽ.／:::<Oi　　 　　 三　　ジ　　さ
'　 r/　　　ﾊ>iく{:::::::::/!:::::::::}>!く{:::::::::::::::::::::::::::: i､::::::::::;'　 　　　 Ξ　　泣 　 か
　 ';' 　　　i'7〈〉:::::::::;'::;::::::::::::〈〉'､::::::::::`>'"´｀ヾ7､:::::::i　　　 　　ﾆ　　 き　　の
ヽ､!　　　,ｲ:!:::::::::::::::､:::::::::::::::::::::ﾉ＞-へ.,r_'´｀´ヽ7:::::!　　　　　 三　　! ?　　
　ﾉ｀ｧｰ'´ ﾉ｀i':::::::::::::::::::::::::::::::´ｲ,.'-‐''"´ 　 　 　 ﾉ:::;'　　　　　　彡,
,'　（　　イ r7ヽr-､:;_」_;;::-‐ｧｰ'7　　　 _,,.. -‐i'"´ヾ､　　　　　　　 '/l | ll |l |l | ll |l |l

　 　　　　　　　　　　rヽへ___
　　　　　　　　iヽ､ｨ'i/／　> ｀"'ｰ- ､ﾍ
　　　　　　　ｒｲノ-ｒへ-く､____,　　　 ｀ヽ､
　　　　　　　>!　,ン-‐'- ､.,,_ｲ｀"'r-､, 　 i
　　　　　　　Li´ /,　;　,　ヽ､｀"''ヽ､/｀ヽ/
　　　　　　　　|　| L､!_ﾊ　 i ヽ　　　｀ヽ､_>､
　　　　　　　　l_.ﾊﾚ'|┰ ｀L ﾊ__!　　　 　!ン
　　　　　　　　　　i´　　"　7.ｲ　　 i　　 |
　　　　 _______ __,..ﾍ. ､　　 /　/!／i　　/
　　　 くヽ.:::::::｀ヽ､::::＞-イ／ /／　 ｲ
　　　　 ヽヽ.::::::::::[>k7''⌒ヽイ<}､ン´
　　　　　　>､ヽ::::::::::/　 　ヽiﾑ　ﾄ!
　　　　　　!　｀ﾌ､::::/　 　 　!ヽ./ i
　　　　　　rゝイ´ﾝ　　　　/ 　/ﾝ'
　　　　　　く/　　i'　　　 ./　,〈´
　　 　　,.-‐-ゝ､.,_____,.／　 　 ',
　　　 /ヽ.,rイ／}><{´　　　 　　!
　　　 ! ヽ「/ｲ 　　 　 　 　 ,.:　 ハ､

Zero is an additive identity κ + 0 = 0 + κ = κ.

　 　　　　　　　　　　　　　　　　　　　　　　　　　　　 ,. '"´￣￣￣￣￣｀ヽ
　　　　　　　　　 ﾄ､　　　　　　／:!　　　　　　　　　,'
　　　　　　　　 _.」::r｀ヽ.--‐ｧ'／!::!_　　　　 　　 　 !　 　 気.　私　べ
　(.,,___ 　,.　'"´　 '､'､.,__!ヽ.//__//　｀ヽ.　　　　　　| 　 　に.　は　 っ
　　､.,_ ,'　　　　､ｰ-＞r'-ｧ-ｪ'イ___,.　　!　　　　 　 ｉ　　　し　 全　別
　　　　!　　 ゝ‐ｧコ-'"´　　　｀ヽｰヽｰrﾍ　　 　 　 i　　　て　 然　に
　　　 r'ｰｧ'´　/　 ､」__,./!､　;　 i. 　｀ヾ_ﾊ　　　　　!　　　な　　　　い
　　　ﾉY　 　 ;'　　/_」_/,.|　/ !､ﾊ_　 ;　i-'　　　　　!　　　い　 　　 い
　　　 `! 　 ノ!　,'/´;'　ri`ﾚ'　ﾚｧt､!｀ﾊ ﾉﾉ　　　　∠　　　か.　　　 の
ｸﾞｽｯ　!　 !　.ﾚ'i ﾍ. ゝ-'　 ..::::. じﾘ!ｲイ（　　　　　　!　　　ら　　　　よ
　　　 ﾉ　,'　ﾟ o 。!''ﾟ　　 ____'　　'' !ﾟo iﾝ　ﾎﾟﾛ　　　',
　　／　ﾉ__,,.イ|　 ﾄ､ 　 '､__ソ 　,ﾊ 　 ',　　　ﾎﾟﾛ　　`''ｰ-----------‐ '
　,' 　,.'"ｧ'´｀'ｰ-っ', ｀i. ､,__,.,.＜/　!　_ ﾄ､　　　　　　　　　　　　　　､| l || lll l || ll |l l
ノ!　/　;'　　　 ,r'!　!イ､___／　i　 ﾊ´:::｀ヽ.ヽ.　　　　　　く7_ノ）　ヽ`
　', i　 ;'　　 ,.ｲi/ /ゝ､}>く{　,.ｲ! /::::::::::::::::::':､）く{　,,. -‐ｧ'ム´　　ﾆ　　マ　　ま
　ﾉ !i7　 　ﾑ　ﾚ'ヽ､/ムヽ､／ﾚ':::::::::::::::::::::::::ヽ.／:::<Oi　　 　　 三　　ジ　　さ
'　 r/　　　ﾊ>iく{:::::::::/!:::::::::}>!く{:::::::::::::::::::::::::::: i､::::::::::;'　 　　　 Ξ　　泣 　 か
　 ';' 　　　i'7〈〉:::::::::;'::;::::::::::::〈〉'､::::::::::`>'"´｀ヾ7､:::::::i　　　 　　ﾆ　　 き　　の
ヽ､!　　　,ｲ:!:::::::::::::::､:::::::::::::::::::::ﾉ＞-へ.,r_'´｀´ヽ7:::::!　　　　　 三　　! ?　　
　ﾉ｀ｧｰ'´ ﾉ｀i':::::::::::::::::::::::::::::::´ｲ,.'-‐''"´ 　 　 　 ﾉ:::;'　　　　　　彡,
,'　（　　イ r7ヽr-､:;_」_;;::-‐ｧｰ'7　　　 _,,.. -‐i'"´ヾ､　　　　　　　 '/l | ll |l |l | ll |l |l

\int_{-\infty}^{\infty} \, f(t)\ dt \ = \infty means that the area under f(t) is infinite.

The modern study of set theory was initiated by Georg Cantor and Richard Dedekind in the 1870s. After the discovery of paradoxes in naive set theory, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo–Fraenkel axioms, with the axiom of choice, are the best-known.

　 　　　　　　　　　　rヽへ___
　　　　　　　　iヽ､ｨ'i/／　> ｀"'ｰ- ､ﾍ
　　　　　　　ｒｲノ-ｒへ-く､____,　　　 ｀ヽ､
　　　　　　　>!　,ン-‐'- ､.,,_ｲ｀"'r-､, 　 i
　　　　　　　Li´ /,　;　,　ヽ､｀"''ヽ､/｀ヽ/
　　　　　　　　|　| L､!_ﾊ　 i ヽ　　　｀ヽ､_>､
　　　　　　　　l_.ﾊﾚ'|┰ ｀L ﾊ__!　　　 　!ン
　　　　　　　　　　i´　　"　7.ｲ　　 i　　 |
　　　　 _______ __,..ﾍ. ､　　 /　/!／i　　/
　　　 くヽ.:::::::｀ヽ､::::＞-イ／ /／　 ｲ
　　　　 ヽヽ.::::::::::[>k7''⌒ヽイ<}､ン´
　　　　　　>､ヽ::::::::::/　 　ヽiﾑ　ﾄ!
　　　　　　!　｀ﾌ､::::/　 　 　!ヽ./ i
　　　　　　rゝイ´ﾝ　　　　/ 　/ﾝ'
　　　　　　く/　　i'　　　 ./　,〈´
　　 　　,.-‐-ゝ､.,_____,.／　 　 ',
　　　 /ヽ.,rイ／}><{´　　　 　　!
　　　 ! ヽ「/ｲ 　　 　 　 　 ,.:　 ハ､

In set theory as Cantor defined and Zermelo and Fraenkel axiomatized, an object is either a member of a set or not. In fuzzy set theory this condition was relaxed by Lotfi A. Zadeh so an object has a degree of membership in a set, a number between 0 and 1.

Each choice function on a collection X of nonempty sets is an element of the Cartesian product of the sets in X. This is not the most general situation of a Cartesian product of a family of sets, where a same set can occur more than once as a factor; however, one can focus on elements of such a product that select the same element every time a given set appears as factor, and such elements correspond to an element of the Cartesian product of all distinct sets in the family

　　　　＋　　　 _＿　　　　　 　　 ,. -‐-､　　　　　　　　　　　　　　　　__i___i__
　　　　　　 　i7＜::::＼　　　　 ／:::::／´i{　　　　　　┌─── 　｀ヽ ___|___|__
　　 　 　 +　 }|:::!´＼::::ヽ,　 ／:::::／/::::/}　　　　　　 |　┌─┐　ヽ ┌‐┴‐┐
　　　　　　　 {!:::|､ 　 ＼::|{/:::::／／::／ｿ　　　　　 　 ! 　!　　┘ 　 / | l__|__,l｜
　　┼　 　　 },!:::ヽ＞-‐ｧ'ﾆ7-'＜::／r'´ ｀ヽ､　　　　/　 L_____」　 /　.!　　　 .」
　　　　　　　 ,ゝ､.,___,.ｨ'/!￣＼::＼､´､.,,__ 　　'.,
　　　　　,.／ 　　　く::::/」　　　;ヽ､_」{' ＼｀ヽ､　',
　　　　く/　　,' 　7'十r　 ; 　 /-rイ　　　 ':､__」 .i
　　　　 ,'　　/ 　/!,_」_! ./|　,.'-‐-'､! 　| 　!　　　|
　　　 　i 　.,'　./ｧ' ;-､ﾚ' .!/'　;'´｀ヽ!　 !　ﾊ 　　.i 　　┼　　　　 　　,.-､ _
　　　　 | 　i　 ﾊ!　! r!　 　 　 ! 　rﾘ!__」/ /! 　 ,'!.　　　　 　　　　／　ﾉ´　）
　　　　 L__ﾊ＿!`　`´　, 　　　｀"´,.,/　　　!__/,ﾊ　　 　 　 _　　/　 /　／__
　　　　　　　|　!､ 　　　､_ _,　　　／　　/ 　　.,':::!}　 　　 （　｀ヾ, 　'　 '"´　_）
　　　　　　　!　|/＞,､,　　　　　/ 　 　,'　 　 /_::_|{,__　　 　ヽ　 ｀ヽ　　 ＜´
　　　　+　 　',　V´ 　 `iｧｰr　/ 　　／　　／´　 }/-!､ _,,. -‐〉､__, 　､__,､,_｀)
　　　　　　 　ヽ.!　 　 /イ´／　 '´　_,,..イ　　　/」:::::::/::!7:,r'､::`'-r‐ｧ´
　　　　　　　　 ﾉ＼　 i_!／　_,. イ´　　,'　　／」::::::::::}!::!{ｧ'　　`''}|::!{
　　　　　　　r!´}!:｀ヽr-rｧ'"´｀7/　　　　　/」´:::::::::::_}!::|{　　　 /}|::!}
　　　　　　 /L! {!::;:イハ､:::;:-､」{　　　　r'」´/ゝ､::::::::},ﾍ!}　　 /`{|::!{
　　　　　　,!､::ヾ￣（　ノ）::￣＼!　　　 /]:::::':::／|>ｰ'ヽ､　_,,.ｲヽ::}ﾍ!{
　_＿_ _＿_ _＿_ _＿_　_＿_ _＿_ _＿_ _＿_ _＿_ _＿_ _＿_ _＿__ _＿__　 _＿_
｜19｜19｜19｜25｜25｜25｜33｜33｜33｜37｜37｜37｜42｜｜42｜
｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜歳｜｜歳｜

 Together these results establish that the axiom of choice is logically independent of ZF. The assumption that ZF is consistent is harmless because adding another axiom to an already inconsistent system cannot make the situation worse.

The theorem that every Hilbert space has an orthonormal basis.

　 　　　　　　　　　　　　　　　__,,....,,,__
　　　　 　 　 ﾄ ､.,＿_/｀ヽ"´　　　　　｀'　､
　　　　　　 　＼,. 　 |　　　＼　´￣｀ヽ　 　＼
　　　　　 　., '´ 　　 |　　 　 　　　 　 　＼-─ﾊ
　　　　　　/ 　　 /　| 　　　ト ､ ＼　 　　 ＼,二}
　　　 　 　|. 　 　!　八　 　 |､ｰ-イﾊ 　 | 　 ,＞ ﾊ　　　………っッ！
　　　　　 八　 　|_メ._,＼ 　|'ｨ'Tｱﾜﾒ|　/　 /　/　|
　　　　∠　　､　.|ｧ'7ﾜヽ ＼!　 ゝ-ﾟoﾚ'O／-‐ ｧ.人
　　　　　 ｀ヽ. ＼|。ゞ-'　 .::...　　 xxｧ ﾚ'r‐''7´ 　 　｀ヽ.
　　　　　 　　＜o,ﾊxx　　　 __　 　/ 　 ﾊ 　| 　 　 | 　 |
　　　　　　 　 ﾉノ 人　　　´　　　/ 　./　　/　　　ﾉ 　/
　　　　　　, '´　 （　 |＞ ､..,__,. イ　／　_∠__ノ_イ.|／
　　　　 　 |　／ /＼'､　　,ｒ┴-.ﾚ' ア´　　, -‐-､＼
　　　　　　∨イ´ _ｒ ''ア￣|　　/／　 　／/:::::::::::＼}
　　　　　　　　/´:::!＼ ＼_Ｌ_,.イ＿,,..イX/:::::::::::::::／｀ヽ
　　　　 　 　 /::::::::|×|＼_|　　 |-‐ｧ' Ｘ/|::::::::::::::/ X ∧|
　　　　　　／::::::∨X/::::::/　|／／Ｘ,..:'::::!／::::::/ X /ヽ||
　　　　　くヽ:::::::/|X |:::::::|　 .／Ｘ／::::::::::|:::::::::/ X / ／＼
　　　　　/＼＼|::'､X＼:::!／X／::::::::::::::;ﾊ:::／.X ,:'./　　　＼
　　　 .／￣｀ヽﾍ;::::＼ ／X／::::::::::::::::ｲ-ｧく X／:::＞-─＜｀ヽ.
　　　/　　ヽ,ｿ､）|｀:::::/X /:::::::::::‐::''"::::イ 　 `く_/´,-ｧ ,　 　∨ ﾊ
　 ,ｒ/　　｀ンノ r'::::::::| X |::::::::::::::::::::::::::::|､　　　ｒし'-|_/ / ,　ﾉ .ﾉﾉ
    　 　　　　　　　　　　　　_,,.. -─-　..,,_
　　　　　　　　　 ,.　'"´　　　　　 　　 ｀　 、
　　 　 ､_,,..　‐''"　　 /´　　　　 　 　　 　　＼
　　　　 ＼／　　　　!　 　　　　、　 ヽ. 　 　　':,
　　　　　/　 ./ _ .／|　 　ﾊ　 　 ',　　　', 　 　 ﾊ
　　　　 ,' 　 ,'　 /｀　!　 /　'､　─ト.、　 !　　/　}
　　　　.| 　/|　 'ｧﾃ､|／ 　　 ＼　|.　 　 |_／　/}
　　　　 ）ｲ.r|　ｲ　|'ﾊ　 　　ァ'テ‐' 、 　 |　 ／ .|
　　　　　｀ヽ|/ﾊ.　ゝ'　　 　 　|ﾉ　,ﾊ>　/イ　　八
　　　　　 ／/　|"　　'　 　 　 ゝ-‐' |／-─ｧ　　 ヽ.
　　　　 〈　.,'　人　 　 、＿　 　""　ｒ_,,.. イ 　 !　　ﾊ
　 ,. - ､　）'ﾚ'|　/|＼　　　　　　　イ＜_　/　　ﾊ 　 /
　{　　　} 　　 ∨r' / ヽ--‐ｧ''" 　/　 　 ｀ヽ /　|／
　 ﾞ -‐'　;''" ;. /|　|　 　 / | 　.／　／　/／ヽ.
　　　　　ﾞ - ﾞ |　'､ヽ.　 ｒ‐.|／　／ 　 ／　　　＼
　　　　　　　く ＼i＼∨|_.」＿_,,.. - ''"　　　　／ﾇ
　　　　　　　　|`ｒ'､　|:::/ l |:::::::/　 　/　　／X /´|
　　　　　　　 ,.|/　|／）､ | |:::::;' 　　,'　 ／X.／ 7´
　　　　　　 .//　 '´ / ,ﾊ　|:::::|　　 .!　/X／　 /
　　　　　　/ｒ|　　 　 （＼ .|:::::|　　ｒ'‐'──‐-'､
　　　 　　 |　|　 　　（＼ ＼-'､　 /´￣￣ ｀ヽﾉ
　　　　　 ∧ '､＿_,,.（＼ `　∨--'､　　　　　/

A category C consists of the following three mathematical entities:

Category theory has been applied in other fields as well. For example, John Baez has shown a link between Feynman diagrams in Physics and monoidal categories. Another application of category theory, more specifically: topos theory, has been made in mathematical music theory, see for example the book The Topos of Music, Geometric Logic of Concepts, Theory, and Performance by Guerino Mazzola.

　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　ｏ　　　　　,.'⌒ヽ､
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　_ノ⌒´　　　　 ）
　　　＼　よ　い　し　ょ　/　　　　　/)　　　　　　　　　（_　　　　　　　〈
　　　　　　　　　,. --─‐-- ､　,へ 　　っ　　　 　　　　　　｀ヽ､__　　　 !
　　　　 　 　 ／　￣￣￣ ｀ヽ7::::／:7　　 ,.-''"i"⌒）　彡　　　　｀"'ｰ'"
　　　　　　　,'　　　　 　　　　　'く::::::」　／　　 ヽ､_ｲ　　　　 (⌒l
　　　　　 　 |　　　　　　　　　 　|￣　<　,. -､　　 /　　　o　　￣
　　　　　 　 |　　　　　　　　　 　|　　　,へ／　　/　
　　　　へ　 | ,　 i　　i　　　　|　.|　.／／ ｀"'ｰ-'　　
　　　　 ＼ヽﾉ|__ﾊ___ﾉﾍ__ﾊ__ル'／7'ヽ. 　　 ,. -‐- ､
　　　　　く,.くヽr'::ヽ‐-‐'´:/⌒ヽ'"´　/ 　／　　　 　ヽ
⌒ヽ,　 　　　＼＼::::::::::::〈　　 〈___,／　/　　　　　　　i
　　⌒｀"'ｰ'⌒く:＼＼:::::::::::'r-'"　彡 　i　　　　　　　/　　,.'⌒
　　　　 　⊂[[二二＼＼二＞　､　　　,'　　 ,.､___,.ノ　　/
ヽ　　　　 ⌒／/:::::｀Ｔ＼＼＼　　ヽ　/　／　___／￣｀⌒ヽ
　　　　　 rく::::::::::::::::::::::::::＼＼〉､　　i　〈　,'"　　ヽ　　　　⌒
　　　　　　>'ｰ=r-､__i___,.ｒ､__＼）>　　ヽﾉ
　　　_,. 　/　 ／´￣　 　｀ヽ.　 !　　　（　　　ゝ⌒
イ^´ ...:::;;!二7:::::::::::::::::::::::::::::「ﾆ,!:::...　　　　人　　　ヽ､
　　　　　 ￣　　　　　　　　　￣
　　　　～　少　女　除　雪　中　～

Formally, a bifunctor is a functor whose domain is a product category. For example, the Hom functor is of the type Cop × C → Set.

Zero is an additive identity κ + 0 = 0 + κ = κ.

\int_{-\infty}^{\infty} \, f(t)\ dt \ = \infty means that the area under f(t) is infinite.