Spring cleaning day #12

Spring cleaning day #12

　　　　　　　　　　　　　　　　____
　　　　　　　　　　 　__　 _／　ヽゝ,
　　　　 _ _,.r--､_r'´___iｧ'___　　　|(__
　　　　 )「　｀＞'::::::::::::::::::::::｀ヽ､ ＼;｀ヽ
　　　　ﾉi_／　　　　　....::::::::::::::::::ヽ」(:::ﾊ
　　　　}y'::::::::::/:::::i:::::::i:::::::::i::::::ヽ､::::iヽ;:!
　　　　/:::::::::/:::i:::ﾊ:::::ﾊ:_,ニ_ﾊ:::::ﾊ::::|　 ＼
　　 　/:::/::::ﾊ-ｪ:;!　V'´{　,ﾊ!､!:::|:::::ﾄ､　,.ｲ(
　　　ｲ::::i::::::!Y'{ ﾊ　　　｀ｰ''´ 「_i:::::::i､_/(|　　
　　　 L.へﾚ:::i　'ｰ'　.　　 　"" ﾄ┤イ:::::´ﾊ
　　　　　 　L.ﾍ."　　　-　　,.ｲ|::7､:::|::::::::|::|
.　　　　 　　|:::|::｀7'ｧ‐--r''´ .i／ﾚ'⌒ヽ;:::!::|
＼　　 　　　|:::|ﾍ.|::::::!ｲ7 .／/:::/　　　ﾊ::i:::i
 ＼.＼ ,..､　　|/ !::::::ヽiY[]､__/,./　　　/|::::|:::|
　 ＼./ /ヽ._ 　ﾊ:::::|/i/ .ﾊ::i^ヽ､__　/､|:|::ﾊ::|
　　　!　'  　r !__Y:::!/ム__」/ ｀　- ｀ヽ7:ﾉ|　|/
　　　｀ヽ､ｲ ＼'li／7::ﾊ,. '"-‐ 　　ヽ ｀>'
　　　　 | !::＼,へ､/::／　　　　　　　 /!
　　　　 ', ヽ.,__>､ >'´ヽ､ヽ　　..:::　　,'」
　　　　　ヽ､___ Y　 　　,ﾊ_ l　 　　　i:ﾊ
　　　　　　　／/>ヽ,__rへ!　　　　 /::::ヽ.
　　　　　 ／:::/::::7 　　＼ >､.　　/:::::!:::::ヽ､

Another equivalent axiom only considers collections X that are essentially powersets of other sets:

The axiom of constructibility and the generalized continuum hypothesis both imply the axiom of choice, but are strictly stronger than it.

　　　 i｀i
　　　 | .|_,.､/'i
　　　ﾉ'" ﾆヽｲ
　　r〈　　　くﾝ　　　　　　__
　　ﾄ-'r､ｨ-へ7　 _Σﾆ'ゝ=<ｰｧ
　　Y　　￣'　|'"´　　　　　 ￣｀ヽ､
　　|　　　　　|___,,.._ゝ___　　　　, 　｀ヽ､
　　|　　　　 ｲ-'/´￣/￣ﾊ｀""''ヽ､ｨ　_i
　　|　　　　 / /|　/-!､ﾚ'　|　ﾊ_ !　 ｀''〈
　　.|　　　　| / ﾚ'ー=､　　ﾚ,.=､､7　ﾊ　|
　　 |　　　 .|　| | ""　 　. 　ﾋ_ﾉｲ/ /__!ｲ
　　 |､__　　|,|　 |　　ｒｰ--､ 　 "i ﾄ !ソV､
　ﾄ､,ﾄ､,___,.ｨ! ',　ﾄ､　ヽ.__,ノ 　,.ｲ　ﾊ'￣'｀　/二ヽ「|　「|/二ヽ「二ヽ「|　「|/二]
i＼ |　　　　　 ヽ|｀「＞ｰr=i'"ﾚﾍﾚヽ|　　　 | |　 ´| 二 || |　| || ﾄ-'ﾉ| |　| |ヽヽ
〉　　ヽ､　　　　ｲ´　Σ>o<{ﾊヽ､ｨ'i_　　　　ヽ二ﾌL| 'L|ヽ二/L|ヽ,」ヽ二ﾉ[二ﾉ
ゝ､_　　｀ヽr-'"´ ､　　／　　 i　 〉,　フ　　「ヽ,／| /二ヽ. /二][￣￣]「二] 「二ヽ　
　∠　　＞ヽ. 　Σ>o<{　　_,ｲ　　ｲイ.　 　| |｀´| | | ||7〈| ヽヽ. 　|　|　| 二] | ﾄｰ'ﾉ
　　レへ,　　ﾊ　　 /　⌒　　|__,.-ﾍ.7　　　L|　 |」 ヽ二ｲ>[二ﾉ　L.」　L二] L|ヽ,」
　　　　　 '⌒!,ﾍ／ ､　　　,　ﾄ,　　　＼　 　コーラスマスター────＜TM＞
　　　　　　　　r〉　'　　 i　　 ヽ'〈´ 　　〉
　　　　　　　／　/　　　!　　ヽ　ヽ､　/
　　　　　　/　　/　　　　　　　,イ　｀く
　　　　 ／ 　 /　　　　 _rﾍo'_　　　　ヽ､
　　　rく　/　　　　　　　レiヽ_７　　ヽ　 」､

    Gödel's completeness theorem for first-order logic: every consistent set of first-order sentences has a completion. That is, every consistent set of first-order sentences can be extended to a maximal consistent set.

Associativity: If f : a → b, g : b → c and h : c → d then h ∘ (g ∘ f) = (h ∘ g) ∘ f, and

　 　　　　　 　　　　　　_,,..　--─‐─- ､__
　　　　　 　　　 ,.　'"´　｀ヽ 　　　　　ｒ'"､oヽ､
　　　　　　　／　　　　　　　　　 　 　｀ヽ. ＼_）､
　　　　　　./　 　　 ／ 　 　 ﾊ　　　 　　 Y　　 ',
　　　　　 /　 　　 / __ ﾊ　　　! _,. イ| 　 ,ﾊ　 　 !
　　　　　,' 　 　　7´ _.」_|.　　/ ｧ‐-'､!　/　.!　 　|
　　　　　|　 ,! 　 |7´ｧ‐､|__／ 　 i´ ﾊ∨｀ヽ|. 　　!
　　　　　|　八.　 !l　! _,ﾘ　 　 　 ゝ-ﾟ'/＼._,'　 　 |
　　　　　ﾚ'　 |＼|⊃´　 　'　 　　 ⊂⊃､__ｊ　 　　!
　　　　　　　 |　/'!、　　 　‐- 　　∧ 　　ﾊ　 　　|
　　　　　　　 |/ 　 !＞ 、　　　　 ,'　 ヽ,.ｲ　',　 　 !
　　　　　　　/　　.,ﾊ　　|＞-ｒｧ　|＼__/ .|　 |　 　 !
　　　　　　 ,'　 ／　|. __」／ |／/＼_/-‐ｧ‐ｧ‐､　 .!
　　　　　／! ./ .＞i'"/./　／!　|　　 ヽ./:::/￣｀ヽ/_
　　　　/　 .|/7´　 ﾚ'　|／::::∧. '､ﾟ　ﾟ ﾉ:::/　　　　∨＼
　　　　!,.-ｒ／　 　,!　　 ,':::;' 　∨ ￣ |:::/!　　　 ／:::::::,ﾊ
　　　／＼＼＿_/　　　!:::|　　　 　　 !/ ﾊ、 ／::::::::／　 ',
　 ／　　　` ｰ‐7　　　 |::::!.　　　　　 ∨[￣:::::;＞'"　　　 |
/´ 　__,,.. -‐ｧ‐';、　　　',:::|　 　 　　 　ﾊ∧￣　　　 　　 　',
　　　　　　/::::/ |`　　　.|::|　　　　_,. ｲ / _j,. -‐─-　　　 ｀ヽ.

There are two operations which are defined on every morphism, the domain (or source) and the codomain (or target).

Endofunctor: A functor that maps a category to itself.

　 　　　　　　　　　　　　　　　　　 　,.へ _　　 _,,..､
　　　　　　　　　　　　, :';二＞'ｱ￣｀"'ヾ_＞'"　　｀ヽ､
　　　　　　　　　 　／／ ／/ :::::: : : : :/::::::::::/: : : : : :',
　　　　　r- ､　　く:::く　/ ノ:::::::::;::､__,. -/｀ヽ､_: : : : : : i
　　　　　 ｀;ゝヽ!`l__>'´イ´:,. '´/　 　,'　i　 　i　　`ヽ: : :|
　　　　　r' ､)_ﾝ' i　｀iヽ.: :/ ／ 　 _/__ /　　ﾊ　i　 /ヽﾊ
　　　 　 ,ゝ､ > ノ_,.／入'∠__,,..イｿ;-‐;!､,／　ヽ|_/ 　ヽ!
　　　　,'　　＞'"　　　!　ヽ. .|　 ,.ｲ ﾄ､ /` 　　ｧrV!　　 ,ﾊ
　　　　|`'"´　　 　 　 ', 　 ', |　　.!,,`''´　 　　!ﾝ〈,ﾊ　 /: :!
　　　　｀ヽ.,__　　　 　 　　　iﾍ. 　ﾄ.､.　 ` ー　"人!｀ヽ!､: |
　　　　　　　｀ヽ､.,_　 　　`ン ,へ.!__｀i＞ｰ;＜´i　,ﾊ: : : :/
　　　　　　　　　　　!｀`'＜ン´　　 Yｰ＜､＜/,ゝく__!_／
　　　　　　　　　　　⌒ヽ.,_!　 　　　!|　　 `く　`ヽ, ヽ.
　　　　　　　　　　　　　　 `ヽ､___ンﾍ,､　 _/___,rｲ_,ン､
　　　　　　　　　　　　　　 　　 　 `ヾン`二ニﾆｲ ｀ヽ ヽ.
　　　　　　　　　　　　　　　　 　 　 '!ﾆ,ｲ三 　Ξ`'くｧ　　〉
　　　　　　　　　　　　　　　　　　／　 ',':,　　　　　 iゝ､ /
　　　　　　　　　　　　　 ,.､__,..イ´ 　 　 ヽ､ﾉ)　　　　/l ヽ､ｰ--‐､_
　　　　　　　　　　　　,.へ.,__ ／　　 ,.へ.,_｀ヽ.　|＼/　 ,. '｀ヽ.／￣/|____
　　　　　　　 __,.‐-''´　　 　 ｀'ｰ''7　　　 `ヽへ!　 　 ﾊ o　　｀'＜´　ｒへヽ.
　　　 　　 ／,.へ.,__　_,.-､_　　　/　　 　　 　＼ヽ.　!　ヽ､ 　 　　｀ヽ/　 i　|
　　 　__,./／　　／￣　 　￣｀`"'ｰ-‐､.,____,,..-ﾍ ',. ヽ､　 ` "'' ｰ- ､ `く｀ヽ!､
　　/´　´ 　 　　　　　　　　　　　　　　　/　　　　', ',　　＞.､　　　　　　 ヽ. ｀ヽ.
　　|/　__ 　　　　　 　　　 　　　 　 　　 / 　　 　　| l　　 　　｀` ｰ ､., 　 　 ',　　',
　　ヽ/:::ﾍ. 　　　　　　　./　　　　　　　　　 　 　　.| l |_・__　　　　　　｀ヽ.,__|　　_,ゝ
　　　ヽ､／｀ヽ.,_____,. '"￣｀ヽ､.,________,,.. -､.,___,,.:-|_|______________________,,,...」ン´
　　　　　　　　　　　　　　　　 'rﾍヽ､_,/::::/
　　　　　　　　　　　　　　 　　.〉　,二7rY
　　　　　　　　　　　　　　　　 !､ '　 　 `ヾ.
　　　　　　　　　　　　　　　　 ｀'ヽ､,______,!     　 　　　　　　　　　　 ｉ＼　　　　　　　　＼　この
　　r‐─┐[][]　　　ﾉ::::::ヽ.　　　　　　 ／
　　,二l　|　　　　／_::::::::::::::＼　　　　 ￣i　　ロリコン
　 └─┘ 　 ／//´'ヽ､;;::::;__;ゝ;ﾆヽ.　　 |
　　　　 　 ／-''| l､　　 `､　 //｀ヽl |　 ∠.__　　どもめ！
　　 　 　/　　　 ＼ヽ､.,__,'ｒ-'､___,//ヽ.　　　|_
　　　　/　　_,ゝｒ-‐;＞-‐'⌒ヽﾍ‐‐'_/_!　　 _/ __／￣＼/
　　　 ,'__,r'"7-‐ｧ'　i　　ｉ　　　 〉-､/ ヾ.　/／
　　　 i_,,.!-'"／/-‐ﾊ-/| 　i　./i 　 ｀ヾ.! '´
　　　 | ｲ/./　/!ｧ';.ニ;ヽ|　,ﾊ/‐|､　ｉ 　 ',　l二二`i ［］［］
　　　 |　|/　./ｲ　! l,l i　ﾚ'　'ｧ;ﾆ;ヽﾊ. i　i　 ______| |
　,. ‐‐'--'､ノi.　` ゝ‐' 　　 　 ｉl | ﾊ/!ﾍﾉi　l________|
　i-─---〈 ﾊ " 　　　　　' 　`'',,i.　Y::::::|
　〉─---‐〉| .i､. 　　　,.-‐､　 　,ﾊ　ヽ､:;|_　 　,､
　`ｒ─---ﾉ 　!へ､,　└‐‐'　,.ィｧ'￣｀ヽ.⌒ヽ∠」
　 ｀i￣iフ7|　 ﾄ､　 ｀＞-ｧ'" !/　　 　 　 ',く.ﾉ|ヽ.
　　ﾉ.ノ| /:::!　 |､｀ヽ､.,____i/ ,ｲ　　　　 　　ｉ.|/　ﾉ
　（ｒ:' 　Y::::::',　|へ/　　　　/　!､　ヽ.,　 　/'ヽ.（　　　l二二二 `i [][]
　　)　　ヽ;:::::ヽ!::::::｀"'r--'i ｧ'::>､.,_ 　 　 　　 ＼　　　　　 　|　|
　　　　／/}＞i」く{:::::|_|___rへ､:;__ヽ.,_,,..-､ 　　　':, 　 ________|　|
　　　/／　　 ﾉｌ::::::/´　 /　　　　 ￣　　　 　　 　 i　l___________l
　　　`(　　 /　|`'┴--,i__　　　　　　　　　 　　 ,ノ
　　　 　 　 i　/　　　　|　 ￣　　　 ___,,.. -ｧ ''i"
　　　　　　 `(　　　　　ヽ.　　　　　　 ／´ヽ:::|
　　　　　　　　　　　　　　｀ヽ､.,____／　　　 )'

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).

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.