[‰ß‹ŽÛ¸Þ] ƒKƒƒA‘æˆê˜_•¶‚Ææ”ƒCƒfƒAƒ‹‘¼ŠÖ˜AŽ‘—¿ƒXƒŒ12 (1002Ú½)
㉺‘OŽŸ1-V
’Šo‰ðœ Ú½žx

‚±‚̽گÄނ͉ߋŽÛ¸Þ‘qŒÉ‚ÉŠi”[‚³‚ê‚Ä‚¢‚Ü‚·¡
ŽŸ½ÚŒŸõ —ðí¨ŽŸ½Ú žxí¨ŽŸ½Ú ‰ß‹ŽÛ¸ÞÒÆ­°
ØÛ°ÄÞ‹K§‚Å‚·¡10•ª‚قǂʼn𜂷‚é‚̂Ť‘¼‚ÌÌÞ׳»Þ‚Ö”ð“‚Ä‚­‚¾‚³‚¢¡
510
(3): Œ»‘㔊w‚ÌŒn•ˆ ŽG’k ŸyH25M02vWFhP 01/22(…)16:07 ID:XJPGzntw(4/4) AAS
>>508
(ˆø—pŠJŽn)
‚¶‚áAf‚ð•\‚Éo‚µ‚È‚æ
A,A∖f(A),(A∖f(A))∖f(A∖f(A)),c
«
f(A),f(A∖f(A)),f((A∖f(A))∖f(A∖f(A))),c
’è‹`ˆæ‚ÌW‡‘°‚ð{A,A∖f(A),(A∖f(A))∖f(A∖f(A)),c}‚ɧŒÀ‚µ‚½‚¢‚炵‚¢‚¯‚Ç
È37
511
(1): 01/22(…)16:14 ID:c8kxvDgP(1) AAS
>>510
>‚³‚ÄA‚±‚Ì en.wikipedia Well-ordering theorem ‚Ì
>Proof from axiom of choice by 9O Jech, Thomas (2002). Set Theory ‚ł̋LÚ
>hFor every ordinal ƒ¿, define an element aƒ¿ that is in A by setting
>aƒ¿= f(A∖{aƒÌ∣ƒÌ<ƒ¿})
>if this complement A∖{aƒÌ∣ƒÌ<ƒ¿} is nonempty, or leave aƒ¿ undefined if it is.h
>‚ªAzŠÂ˜_–@‚¾‚ÆH
È7
522: Œ»‘㔊w‚ÌŒn•ˆ ŽG’k ŸyH25M02vWFhP 01/23(–Ø)10:00 ID:OWxAi42s(1/12) AAS
ƒŒöŠJˆŒY ‘±‚­„
iw ZFã‚ÅŽÀ”‚Í ‚Ç‚±‚܂Œè‹`‰Â”\‚Ȃ̂©Hx‚ÉŒü‚¯‚Ä ‚Æ
@ (‚ ‚Ù“ñl‚ÌhƒAƒiƒOƒ}‚ÌŽpÄ‚«") ‚ÉŒü‚¯‚Ä‚—‚— G‚j

>>520-521
‚Ó‚Á‚ÓA‚Ù‚Á‚Ù
‚È‚ñ‚©AuzŠÂ˜_–@v‚©‚ç ƒYƒŒ‚Ü‚­‚Á‚ĂȂ¢‚©H

‚¦[‚Æ
È25
526
(3): Œ»‘㔊w‚ÌŒn•ˆ ŽG’k ŸyH25M02vWFhP 01/23(–Ø)11:46 ID:OWxAi42s(2/12) AAS
>>524-525
>¶‘¤‚Íf‚Ì”½•œ‚É‚æ‚Á‚ÄŒˆ‚Ü‚é‚Ì‚Å
>f‚Ì’è‹`‚Ì‘O‚ɂ͌ˆ‚Ü‚ç‚È‚¢
>‚¾‚©‚çf‚Éæ—§‚Á‚Ä”½•œ‚ÉŒ»‚ê‚éW‡‚Ì‘S‘Ì‚ðŒˆ‚ß‚é‚Ì‚ÍzŠÂ˜_–@

Œ¾‚Á‚Ä‚¢‚éˆÓ–¡‚ª‚í‚©‚ç‚ñ‚— G‚j
‰º‹L‚Ì “Œ–k‘å ”ö”¨Œ¤ ‘æ13Í ®—ñW‡ ’è—13.18 (’´ŒÀ‹A”[–@)
•S‰ñ‰¹“Ç‚µ‚Ă˂— G‚j
È28
㉺‘OŽŸ1-VŠÖŽÊ”——õÝžx—ð
½Úî•ñ ÔÚ½’Šo ‰æ‘œÚ½’Šo —ð‚Ì–¢“Ç½Ú AA»ÑȲÙ

‚Ê‚±‚ÌŽè ‚Ê‚±TOP 0.036s