/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1907

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 50 61 74 68 3a 20 73 70 | 61 72 6b 79 21 75 75 6e |Path: sp|arky!uun|
|00000010| 65 74 21 6f 67 69 63 73 | 65 21 64 61 73 2d 6e 65 |et!ogics|e!das-ne|
|00000020| 77 73 2e 68 61 72 76 61 | 72 64 2e 65 64 75 21 68 |ws.harva|rd.edu!h|
|00000030| 75 73 63 2d 6e 65 77 73 | 2e 68 61 72 76 61 72 64 |usc-news|.harvard|
|00000040| 2e 65 64 75 21 68 75 73 | 63 31 30 2e 68 61 72 76 |.edu!hus|c10.harv|
|00000050| 61 72 64 2e 65 64 75 21 | 7a 65 6c 65 6e 79 0a 46 |ard.edu!|zeleny.F|
|00000060| 72 6f 6d 3a 20 7a 65 6c | 65 6e 79 40 68 75 73 63 |rom: zel|eny@husc|
|00000070| 31 30 2e 68 61 72 76 61 | 72 64 2e 65 64 75 20 28 |10.harva|rd.edu (|
|00000080| 4d 69 63 68 61 65 6c 20 | 5a 65 6c 65 6e 79 29 0a |Michael |Zeleny).|
|00000090| 4e 65 77 73 67 72 6f 75 | 70 73 3a 20 73 63 69 2e |Newsgrou|ps: sci.|
|000000a0| 6c 6f 67 69 63 0a 53 75 | 62 6a 65 63 74 3a 20 52 |logic.Su|bject: R|
|000000b0| 65 3a 20 49 6d 70 72 65 | 64 69 63 61 74 69 76 69 |e: Impre|dicativi|
|000000c0| 74 79 20 2d 20 77 61 73 | 3a 20 52 75 73 73 65 6c |ty - was|: Russel|
|000000d0| 6c 27 73 20 50 61 72 61 | 64 6f 78 0a 4d 65 73 73 |l's Para|dox.Mess|
|000000e0| 61 67 65 2d 49 44 3a 20 | 3c 31 39 39 32 4e 6f 76 |age-ID: |<1992Nov|
|000000f0| 35 2e 30 30 34 33 34 36 | 2e 31 37 31 32 30 40 68 |5.004346|.17120@h|
|00000100| 75 73 63 33 2e 68 61 72 | 76 61 72 64 2e 65 64 75 |usc3.har|vard.edu|
|00000110| 3e 0a 44 61 74 65 3a 20 | 35 20 4e 6f 76 20 39 32 |>.Date: |5 Nov 92|
|00000120| 20 30 35 3a 34 33 3a 34 | 34 20 47 4d 54 0a 41 72 | 05:43:4|4 GMT.Ar|
|00000130| 74 69 63 6c 65 2d 49 2e | 44 2e 3a 20 68 75 73 63 |ticle-I.|D.: husc|
|00000140| 33 2e 31 39 39 32 4e 6f | 76 35 2e 30 30 34 33 34 |3.1992No|v5.00434|
|00000150| 36 2e 31 37 31 32 30 0a | 52 65 66 65 72 65 6e 63 |6.17120.|Referenc|
|00000160| 65 73 3a 20 3c 42 78 38 | 31 48 6f 2e 39 48 4c 40 |es: <Bx8|1Ho.9HL@|
|00000170| 63 61 6e 74 75 61 2e 63 | 61 6e 74 65 72 62 75 72 |cantua.c|anterbur|
|00000180| 79 2e 61 63 2e 6e 7a 3e | 0a 4f 72 67 61 6e 69 7a |y.ac.nz>|.Organiz|
|00000190| 61 74 69 6f 6e 3a 20 48 | 61 72 76 61 72 64 20 55 |ation: H|arvard U|
|000001a0| 6e 69 76 65 72 73 69 74 | 79 20 53 63 69 65 6e 63 |niversit|y Scienc|
|000001b0| 65 20 43 65 6e 74 65 72 | 0a 4c 69 6e 65 73 3a 20 |e Center|.Lines: |
|000001c0| 31 38 36 0a 4e 6e 74 70 | 2d 50 6f 73 74 69 6e 67 |186.Nntp|-Posting|
|000001d0| 2d 48 6f 73 74 3a 20 68 | 75 73 63 31 30 2e 68 61 |-Host: h|usc10.ha|
|000001e0| 72 76 61 72 64 2e 65 64 | 75 0a 0a 49 6e 20 61 72 |rvard.ed|u..In ar|
|000001f0| 74 69 63 6c 65 20 3c 42 | 78 38 31 48 6f 2e 39 48 |ticle <B|x81Ho.9H|
|00000200| 4c 40 63 61 6e 74 75 61 | 2e 63 61 6e 74 65 72 62 |L@cantua|.canterb|
|00000210| 75 72 79 2e 61 63 2e 6e | 7a 3e 20 77 66 74 40 6d |ury.ac.n|z> wft@m|
|00000220| 61 74 68 2e 63 61 6e 74 | 65 72 62 75 72 79 2e 61 |ath.cant|erbury.a|
|00000230| 63 2e 6e 7a 20 28 42 69 | 6c 6c 20 54 61 79 6c 6f |c.nz (Bi|ll Taylo|
|00000240| 72 29 20 77 72 69 74 65 | 73 3a 0a 0a 42 54 3a 0a |r) write|s:..BT:.|
|00000250| 3e 3e 3e 41 20 3d 20 7b | 20 31 20 2c 20 7b 20 32 |>>>A = {| 1 , { 2|
|00000260| 20 2c 20 7b 20 33 20 2c | 20 7b 20 34 20 2c 20 7b | , { 3 ,| { 4 , {|
|00000270| 2e 2e 2e 2e 2e 7d 7d 7d | 7d 7d 20 2e 20 53 75 63 |.....}}}|}} . Suc|
|00000280| 68 20 61 20 73 65 74 20 | 73 65 65 6d 73 20 76 65 |h a set |seems ve|
|00000290| 72 79 20 77 65 6c 6c 20 | 64 65 66 69 6e 65 64 0a |ry well |defined.|
|000002a0| 0a 56 50 3a 0a 3e 3e 49 | 66 20 79 6f 75 20 61 72 |.VP:.>>I|f you ar|
|000002b0| 65 20 63 6f 6d 66 6f 72 | 74 61 62 6c 65 20 77 69 |e comfor|table wi|
|000002c0| 74 68 20 41 2c 20 79 6f | 75 20 73 68 6f 75 6c 64 |th A, yo|u should|
|000002d0| 20 6e 6f 74 20 6d 69 6e | 64 0a 3e 3e 42 20 3d 20 | not min|d.>>B = |
|000002e0| 7b 20 31 20 2c 20 7b 20 | 31 20 2c 20 7b 20 31 20 |{ 1 , { |1 , { 1 |
|000002f0| 2c 20 7b 20 31 20 2c 20 | 7b 2e 2e 2e 2e 2e 7d 7d |, { 1 , |{.....}}|
|00000300| 7d 7d 7d 20 2e 0a 0a 42 | 54 3a 0a 3e 59 65 73 2c |}}} ...B|T:.>Yes,|
|00000310| 20 49 20 2a 64 6f 2a 20 | 6d 69 6e 64 20 42 2c 20 | I *do* |mind B, |
|00000320| 66 6f 72 20 74 68 65 20 | 76 65 72 79 20 72 65 61 |for the |very rea|
|00000330| 73 6f 6e 20 79 6f 75 20 | 73 75 67 67 65 73 74 3b |son you |suggest;|
|00000340| 20 74 68 61 74 20 69 74 | 20 69 73 20 61 20 6d 65 | that it| is a me|
|00000350| 6d 62 65 72 20 6f 66 0a | 3e 69 74 73 65 6c 66 2e |mber of.|>itself.|
|00000360| 20 54 68 65 72 65 20 69 | 73 2c 20 49 20 61 67 72 | There i|s, I agr|
|00000370| 65 65 2c 20 6e 6f 74 20 | 61 20 6c 6f 74 20 6f 66 |ee, not |a lot of|
|00000380| 20 64 69 66 66 65 72 65 | 6e 63 65 2c 20 6f 6e 20 | differe|nce, on |
|00000390| 74 68 65 20 66 61 63 65 | 20 6f 66 20 69 74 2c 20 |the face| of it, |
|000003a0| 62 65 74 77 65 65 6e 0a | 3e 42 20 61 6e 64 20 41 |between.|>B and A|
|000003b0| 2e 20 20 49 27 6d 20 6e | 6f 74 20 2a 64 65 76 6f |.  I'm n|ot *devo|
|000003c0| 74 65 64 2a 20 74 6f 20 | 41 2e 20 49 74 20 2a 64 |ted* to |A. It *d|
|000003d0| 6f 65 73 2a 20 68 61 76 | 65 20 61 20 73 6c 69 67 |oes* hav|e a slig|
|000003e0| 68 74 6c 79 20 66 69 73 | 68 79 20 6c 6f 6f 6b 2e |htly fis|hy look.|
|000003f0| 20 0a 3e 45 76 65 6e 20 | 61 20 68 65 72 65 64 69 | .>Even |a heredi|
|00000400| 74 61 72 69 6c 79 20 66 | 69 73 68 79 20 6c 6f 6f |tarily f|ishy loo|
|00000410| 6b 2e 20 20 3a 29 20 20 | 20 20 54 68 61 74 27 73 |k.  :)  |  That's|
|00000420| 20 77 68 79 20 49 20 70 | 75 74 20 6f 75 74 20 6d | why I p|ut out m|
|00000430| 79 20 72 65 71 75 65 73 | 74 2e 0a 3e 4c 65 74 20 |y reques|t..>Let |
|00000440| 6d 65 20 72 65 70 65 61 | 74 20 69 74 2e 2e 2e 0a |me repea|t it....|
|00000450| 3e 0a 3e 52 45 51 55 45 | 53 54 3a 20 43 61 6e 20 |>.>REQUE|ST: Can |
|00000460| 42 20 61 62 6f 76 65 2c | 20 62 65 20 6f 62 74 61 |B above,| be obta|
|00000470| 69 6e 65 64 20 66 72 6f | 6d 20 41 20 61 62 6f 76 |ined fro|m A abov|
|00000480| 65 2c 20 62 79 20 5a 46 | 20 6d 65 74 68 6f 64 73 |e, by ZF| methods|
|00000490| 2e 0a 3e 7e 7e 7e 7e 7e | 7e 7e 20 20 49 20 64 6f |..>~~~~~|~~  I do|
|000004a0| 6e 27 74 20 74 68 69 6e | 6b 20 52 65 70 6c 61 63 |n't thin|k Replac|
|000004b0| 65 6d 65 6e 74 20 63 61 | 6e 20 61 63 68 69 65 76 |ement ca|n achiev|
|000004c0| 65 20 69 74 2c 20 62 75 | 74 20 49 27 6d 20 6f 70 |e it, bu|t I'm op|
|000004d0| 65 6e 20 74 6f 20 63 6f | 72 72 65 63 74 69 6f 6e |en to co|rrection|
|000004e0| 2e 0a 3e 41 6e 79 20 69 | 64 65 61 73 2c 20 61 6e |..>Any i|deas, an|
|000004f0| 79 6f 6e 65 20 3f 0a 0a | 42 69 6c 6c 2c 20 56 61 |yone ?..|Bill, Va|
|00000500| 75 67 68 61 6e 2c 20 2d | 2d 20 6c 6f 6f 6b 20 61 |ughan, -|- look a|
|00000510| 74 20 74 68 65 20 70 72 | 6f 6f 66 20 49 20 73 65 |t the pr|oof I se|
|00000520| 6e 74 20 79 6f 75 2e 20 | 20 42 65 74 74 65 72 20 |nt you. | Better |
|00000530| 79 65 74 2c 20 68 65 72 | 65 20 69 74 0a 69 73 2e |yet, her|e it.is.|
|00000540| 20 20 54 68 69 73 20 69 | 73 20 73 6f 6d 65 20 6d |  This i|s some m|
|00000550| 61 74 65 72 69 61 6c 20 | 66 72 6f 6d 20 6d 79 20 |aterial |from my |
|00000560| 73 65 74 20 74 68 65 6f | 72 79 20 6e 6f 74 65 73 |set theo|ry notes|
|00000570| 2c 20 77 68 69 63 68 20 | 73 68 6f 75 6c 64 20 77 |, which |should w|
|00000580| 6f 72 6b 0a 61 73 20 69 | 73 20 69 6e 20 61 6d 73 |ork.as i|s in ams|
|00000590| 6c 61 74 65 78 3a 0a 0a | 5c 62 65 67 69 6e 7b 64 |latex:..|\begin{d|
|000005a0| 6f 63 75 6d 65 6e 74 7d | 0a 0a 5c 74 68 65 6f 72 |ocument}|..\theor|
|000005b0| 65 6d 73 74 79 6c 65 7b | 70 6c 61 69 6e 7d 0a 0a |emstyle{|plain}..|
|000005c0| 25 7b 5c 74 68 65 6f 72 | 65 6d 62 6f 64 79 66 6f |%{\theor|embodyfo|
|000005d0| 6e 74 7b 5c 6e 6f 72 6d | 61 6c 73 68 61 70 65 7d |nt{\norm|alshape}|
|000005e0| 20 5c 6e 65 77 74 68 65 | 6f 72 65 6d 7b 70 72 6f | \newthe|orem{pro|
|000005f0| 62 6c 65 6d 7d 7b 50 72 | 6f 62 6c 65 6d 7d 5b 73 |blem}{Pr|oblem}[s|
|00000600| 65 63 74 69 6f 6e 5d 7d | 0a 7b 5c 74 68 65 6f 72 |ection]}|.{\theor|
|00000610| 65 6d 62 6f 64 79 66 6f | 6e 74 7b 5c 6e 6f 72 6d |embodyfo|nt{\norm|
|00000620| 61 6c 73 68 61 70 65 7d | 20 5c 6e 65 77 74 68 65 |alshape}| \newthe|
|00000630| 6f 72 65 6d 7b 70 72 6f | 62 6c 65 6d 7d 7b 50 72 |orem{pro|blem}{Pr|
|00000640| 6f 62 6c 65 6d 7d 7d 0a | 25 7b 5c 74 68 65 6f 72 |oblem}}.|%{\theor|
|00000650| 65 6d 62 6f 64 79 66 6f | 6e 74 7b 5c 6e 6f 72 6d |embodyfo|nt{\norm|
|00000660| 61 6c 73 68 61 70 65 7d | 20 5c 6e 65 77 74 68 65 |alshape}| \newthe|
|00000670| 6f 72 65 6d 7b 74 68 65 | 6f 72 65 6d 7d 7b 54 68 |orem{the|orem}{Th|
|00000680| 65 6f 72 65 6d 7d 5b 73 | 65 63 74 69 6f 6e 5d 7d |eorem}[s|ection]}|
|00000690| 0a 7b 5c 74 68 65 6f 72 | 65 6d 62 6f 64 79 66 6f |.{\theor|embodyfo|
|000006a0| 6e 74 7b 5c 6e 6f 72 6d | 61 6c 73 68 61 70 65 7d |nt{\norm|alshape}|
|000006b0| 20 5c 6e 65 77 74 68 65 | 6f 72 65 6d 7b 74 68 65 | \newthe|orem{the|
|000006c0| 6f 72 65 6d 7d 7b 54 68 | 65 6f 72 65 6d 7d 7d 0a |orem}{Th|eorem}}.|
|000006d0| 7b 5c 74 68 65 6f 72 65 | 6d 62 6f 64 79 66 6f 6e |{\theore|mbodyfon|
|000006e0| 74 7b 5c 6e 6f 72 6d 61 | 6c 73 68 61 70 65 7d 20 |t{\norma|lshape} |
|000006f0| 5c 6e 65 77 74 68 65 6f | 72 25 20 73 71 64 6f 74 |\newtheo|r% sqdot|
|00000700| 73 2e 73 74 79 0a 25 20 | 41 75 74 68 6f 72 3a 20 |s.sty.% |Author: |
|00000710| 52 2e 20 41 2e 20 52 69 | 65 6d 65 6e 73 63 68 6e |R. A. Ri|emenschn|
|00000720| 65 69 64 65 72 20 28 72 | 61 72 40 61 64 73 2e 63 |eider (r|ar@ads.c|
|00000730| 6f 6d 29 0a 0a 5c 6e 65 | 77 64 69 6d 65 6e 5c 73 |om)..\ne|wdimen\s|
|00000740| 71 64 6f 74 64 69 6d 0a | 5c 73 71 64 6f 74 64 69 |qdotdim.|\sqdotdi|
|00000750| 6d 3d 2e 33 35 65 78 20 | 20 20 20 20 20 20 20 20 |m=.35ex |        |
|00000760| 25 20 41 64 6a 75 73 74 | 20 74 68 69 73 20 6e 75 |% Adjust| this nu|
|00000770| 6d 62 65 72 20 74 6f 20 | 63 68 61 6e 67 65 20 74 |mber to |change t|
|00000780| 68 65 20 73 69 7a 65 20 | 6f 66 20 74 68 65 20 64 |he size |of the d|
|00000790| 6f 74 73 0a 25 20 41 64 | 6a 75 73 74 20 74 68 69 |ots.% Ad|just thi|
|000007a0| 73 20 6e 75 6d 62 65 72 | 20 74 6f 20 63 68 61 6e |s number| to chan|
|000007b0| 67 65 20 74 68 65 20 73 | 69 7a 65 20 6f 66 20 74 |ge the s|ize of t|
|000007c0| 68 65 20 64 6f 74 73 0a | 0a 5c 64 65 66 5c 73 71 |he dots.|.\def\sq|
|000007d0| 64 6f 74 7b 7b 7d 5c 6d | 61 74 68 6f 70 7b 0a 20 |dot{{}\m|athop{. |
|000007e0| 20 20 5c 76 72 75 6c 65 | 20 77 69 64 74 68 5c 73 |  \vrule| width\s|
|000007f0| 71 64 6f 74 64 69 6d 20 | 68 65 69 67 68 74 5c 73 |qdotdim |height\s|
|00000800| 71 64 6f 74 64 69 6d 20 | 64 65 70 74 68 30 65 78 |qdotdim |depth0ex|
|00000810| 7d 7b 7d 7d 0a 0a 5c 64 | 65 66 5c 73 71 64 6f 74 |}{}}..\d|ef\sqdot|
|00000820| 73 7b 5c 73 71 64 6f 74 | 5c 6c 6c 61 70 7b 5c 72 |s{\sqdot|\llap{\r|
|00000830| 61 69 73 65 33 5c 73 71 | 64 6f 74 64 69 6d 5c 68 |aise3\sq|dotdim\h|
|00000840| 62 6f 78 7b 24 5c 73 71 | 64 6f 74 24 7d 7d 7d 0a |box{$\sq|dot$}}}.|
|00000850| 0a 65 6d 7b 6c 65 6d 6d | 61 7d 5b 74 68 65 6f 72 |.em{lemm|a}[theor|
|00000860| 65 6d 5d 7b 4c 65 6d 6d | 61 7d 7d 0a 7b 5c 6e 65 |em]{Lemm|a}}.{\ne|
|00000870| 77 74 68 65 6f 72 65 6d | 7b 61 78 69 6f 6d 7d 7b |wtheorem|{axiom}{|
|00000880| 41 78 69 6f 6d 7d 7d 0a | 7b 5c 74 68 65 6f 72 65 |Axiom}}.|{\theore|
|00000890| 6d 62 6f 64 79 66 6f 6e | 74 7b 5c 6e 6f 72 6d 61 |mbodyfon|t{\norma|
|000008a0| 6c 73 68 61 70 65 7d 20 | 5c 6e 65 77 74 68 65 6f |lshape} |\newtheo|
|000008b0| 72 65 6d 7b 72 65 6d 61 | 72 6b 7d 7b 52 65 6d 61 |rem{rema|rk}{Rema|
|000008c0| 72 6b 7d 7d 0a 25 7b 5c | 74 68 65 6f 72 65 6d 62 |rk}}.%{\|theoremb|
|000008d0| 6f 64 79 66 6f 6e 74 7b | 5c 6e 6f 72 6d 61 6c 73 |odyfont{|\normals|
|000008e0| 68 61 70 65 7d 20 5c 6e | 65 77 74 68 65 6f 72 65 |hape} \n|ewtheore|
|000008f0| 6d 7b 64 65 66 6e 7d 7b | 44 65 66 69 6e 69 74 69 |m{defn}{|Definiti|
|00000900| 6f 6e 7d 5b 73 65 63 74 | 69 6f 6e 5d 7d 0a 7b 5c |on}[sect|ion]}.{\|
|00000910| 74 68 65 6f 72 65 6d 62 | 6f 64 79 66 6f 6e 74 7b |theoremb|odyfont{|
|00000920| 5c 6e 6f 72 6d 61 6c 73 | 68 61 70 65 7d 20 5c 6e |\normals|hape} \n|
|00000930| 65 77 74 68 65 6f 72 65 | 6d 7b 64 65 66 6e 7d 7b |ewtheore|m{defn}{|
|00000940| 44 65 66 69 6e 69 74 69 | 6f 6e 7d 7d 0a 25 7b 5c |Definiti|on}}.%{\|
|00000950| 74 68 65 6f 72 65 6d 62 | 6f 64 79 66 6f 6e 74 7b |theoremb|odyfont{|
|00000960| 5c 6e 6f 72 6d 61 6c 73 | 68 61 70 65 7d 20 5c 6e |\normals|hape} \n|
|00000970| 65 77 74 68 65 6f 72 65 | 6d 7b 70 72 6f 70 7d 7b |ewtheore|m{prop}{|
|00000980| 50 72 6f 70 6f 73 69 74 | 69 6f 6e 7d 5b 73 65 63 |Proposit|ion}[sec|
|00000990| 74 69 6f 6e 5d 7d 0a 7b | 5c 74 68 65 6f 72 65 6d |tion]}.{|\theorem|
|000009a0| 62 6f 64 79 66 6f 6e 74 | 7b 5c 6e 6f 72 6d 61 6c |bodyfont|{\normal|
|000009b0| 73 68 61 70 65 7d 20 5c | 6e 65 77 74 68 65 6f 72 |shape} \|newtheor|
|000009c0| 65 6d 7b 70 72 6f 70 7d | 7b 50 72 6f 70 6f 73 69 |em{prop}|{Proposi|
|000009d0| 74 69 6f 6e 7d 7d 0a 7b | 5c 74 68 65 6f 72 65 6d |tion}}.{|\theorem|
|000009e0| 62 6f 64 79 66 6f 6e 74 | 7b 5c 6e 6f 72 6d 61 6c |bodyfont|{\normal|
|000009f0| 73 68 61 70 65 7d 20 5c | 6e 65 77 74 68 65 6f 72 |shape} \|newtheor|
|00000a00| 65 6d 7b 63 6f 72 7d 5b | 74 68 65 6f 72 65 6d 5d |em{cor}[|theorem]|
|00000a10| 7b 43 6f 72 6f 6c 6c 61 | 72 79 7d 7d 0a 5c 6e 65 |{Corolla|ry}}.\ne|
|00000a20| 77 65 6e 76 69 72 6f 6e | 6d 65 6e 74 7b 70 72 6f |wenviron|ment{pro|
|00000a30| 6f 66 7d 7b 5c 6e 6f 69 | 6e 64 65 6e 74 20 5c 72 |of}{\noi|ndent \r|
|00000a40| 6d 20 7b 5c 73 63 20 50 | 72 6f 6f 66 3a 5c 5c 7d |m {\sc P|roof:\\}|
|00000a50| 7d 7b 5c 71 75 61 64 20 | 24 5c 62 6c 61 63 6b 73 |}{\quad |$\blacks|
|00000a60| 71 75 61 72 65 24 7d 0a | 25 5c 6e 65 77 65 6e 76 |quare$}.|%\newenv|
|00000a70| 69 72 6f 6e 6d 65 6e 74 | 7b 70 72 6f 6f 66 7d 7b |ironment|{proof}{|
|00000a80| 5c 6e 6f 69 6e 64 65 6e | 74 20 5c 72 6d 20 7b 5c |\noinden|t \rm {\|
|00000a90| 73 63 20 50 72 6f 6f 66 | 3a 5c 5c 7d 7d 7b 24 5c |sc Proof|:\\}}{$\|
|00000aa0| 42 6f 78 24 20 5c 76 73 | 70 61 63 65 7b 32 20 65 |Box$ \vs|pace{2 e|
|00000ab0| 78 7d 7d 0a 25 5c 6e 65 | 77 65 6e 76 69 72 6f 6e |x}}.%\ne|wenviron|
|00000ac0| 6d 65 6e 74 7b 64 65 66 | 6e 7d 7b 5c 6e 6f 69 6e |ment{def|n}{\noin|
|00000ad0| 64 65 6e 74 20 5c 72 6d | 20 7b 5c 73 63 20 44 65 |dent \rm| {\sc De|
|00000ae0| 66 69 6e 69 74 69 6f 6e | 3a 5c 5c 7d 7d 7b 24 5c |finition|:\\}}{$\|
|00000af0| 42 6f 78 24 20 5c 76 73 | 70 61 63 65 7b 32 20 65 |Box$ \vs|pace{2 e|
|00000b00| 78 7d 7d 0a 0a 0a 0a 5c | 64 65 66 5c 62 65 78 69 |x}}....\|def\bexi|
|00000b10| 73 74 73 7b 5c 62 6f 6c | 64 73 79 6d 62 6f 6c 7b |sts{\bol|dsymbol{|
|00000b20| 5c 65 78 69 73 74 73 7d | 7d 0a 5c 64 65 66 5c 62 |\exists}|}.\def\b|
|00000b30| 6f 6c 64 65 78 69 73 74 | 73 7b 5c 62 6f 6c 64 73 |oldexist|s{\bolds|
|00000b40| 79 6d 62 6f 6c 7b 5c 65 | 78 69 73 74 73 7d 7d 0a |ymbol{\e|xists}}.|
|00000b50| 5c 64 65 66 5c 76 61 72 | 65 78 69 73 74 73 23 31 |\def\var|exists#1|
|00000b60| 23 32 7b 5c 6f 70 65 72 | 61 74 6f 72 6e 61 6d 65 |#2{\oper|atorname|
|00000b70| 77 69 74 68 6c 69 6d 69 | 74 73 7b 28 5c 62 6f 6c |withlimi|ts{(\bol|
|00000b80| 64 73 79 6d 62 6f 6c 5c | 65 78 69 73 74 73 20 5c |dsymbol\|exists \|
|00000b90| 68 62 6f 78 7b 24 23 31 | 24 7d 29 7d 5f 7b 23 5c |hbox{$#1|$})}_{#\|
|00000ba0| 0a 32 7d 7d 0a 0a 5c 64 | 65 66 5c 62 73 75 70 73 |.2}}..\d|ef\bsups|
|00000bb0| 65 74 7b 5c 62 6f 6c 64 | 73 79 6d 62 6f 6c 7b 5c |et{\bold|symbol{\|
|00000bc0| 73 75 70 73 65 74 7d 7d | 0a 5c 64 65 66 5c 62 6f |supset}}|.\def\bo|
|00000bd0| 6c 64 73 75 70 73 65 74 | 7b 5c 62 6f 6c 64 73 79 |ldsupset|{\boldsy|
|00000be0| 6d 62 6f 6c 7b 5c 73 75 | 70 73 65 74 7d 7d 0a 5c |mbol{\su|pset}}.\|
|00000bf0| 64 65 66 5c 76 61 72 73 | 75 70 73 65 74 23 31 7b |def\vars|upset#1{|
|00000c00| 5c 6f 70 65 72 61 74 6f | 72 6e 61 6d 65 77 69 74 |\operato|rnamewit|
|00000c10| 68 6c 69 6d 69 74 73 7b | 5c 62 6f 6c 64 73 79 6d |hlimits{|\boldsym|
|00000c20| 62 6f 6c 5c 73 75 70 73 | 65 74 7d 5f 7b 23 31 7d |bol\sups|et}_{#1}|
|00000c30| 7d 0a 0a 5c 64 65 66 5c | 62 65 71 75 69 76 7b 5c |}..\def\|bequiv{\|
|00000c40| 62 6f 6c 64 73 79 6d 62 | 6f 6c 7b 5c 65 71 75 69 |boldsymb|ol{\equi|
|00000c50| 76 7d 7d 0a 5c 64 65 66 | 5c 62 6f 6c 64 65 71 75 |v}}.\def|\boldequ|
|00000c60| 69 76 7b 5c 62 6f 6c 64 | 73 79 6d 62 6f 6c 7b 5c |iv{\bold|symbol{\|
|00000c70| 65 71 75 69 76 7d 7d 0a | 5c 64 65 66 5c 76 61 72 |equiv}}.|\def\var|
|00000c80| 65 71 75 69 76 23 31 7b | 5c 6f 70 65 72 61 74 6f |equiv#1{|\operato|
|00000c90| 72 6e 61 6d 65 77 69 74 | 68 6c 69 6d 69 74 73 7b |rnamewit|hlimits{|
|00000ca0| 5c 62 6f 6c 64 73 79 6d | 62 6f 6c 5c 65 71 75 69 |\boldsym|bol\equi|
|00000cb0| 76 7d 5f 7b 23 31 7d 7d | 0a 0a 0a 5c 62 65 67 69 |v}_{#1}}|...\begi|
|00000cc0| 6e 7b 61 78 69 6f 6d 7d | 0a 5c 6c 61 62 65 6c 7b |n{axiom}|.\label{|
|00000cd0| 66 6f 75 6e 64 61 74 69 | 6f 6e 7d 0a 25 20 46 72 |foundati|on}.% Fr|
|00000ce0| 61 65 6e 6b 65 6c 20 5c | 26 20 42 61 72 2d 48 69 |aenkel \|& Bar-Hi|
|00000cf0| 6c 6c 65 6c 2c 20 70 2e | 38 38 0a 46 6f 75 6e 64 |llel, p.|88.Found|
|00000d00| 61 74 69 6f 6e 2e 0a 49 | 66 20 24 78 24 20 69 73 |ation..I|f $x$ is|
|00000d10| 20 6e 6f 6e 2d 65 6d 70 | 74 79 2c 20 74 68 65 6e | non-emp|ty, then|
|00000d20| 20 69 74 20 63 6f 6e 74 | 61 69 6e 73 20 61 20 6d | it cont|ains a m|
|00000d30| 65 6d 62 65 72 20 77 68 | 69 63 68 20 69 73 20 64 |ember wh|ich is d|
|00000d40| 69 73 6a 6f 69 6e 74 20 | 66 72 6f 6d 20 24 78 24 |isjoint |from $x$|
|00000d50| 2c 0a 69 2e 65 2e 7e 61 | 20 6d 65 6d 62 65 72 20 |,.i.e.~a| member |
|00000d60| 24 79 24 20 77 69 74 68 | 20 6e 6f 20 6d 65 6d 62 |$y$ with| no memb|
|00000d70| 65 72 73 20 63 6f 6d 6d | 6f 6e 20 74 6f 20 24 78 |ers comm|on to $x|
|00000d80| 24 20 61 6e 64 20 24 79 | 24 3a 0a 24 24 5c 76 61 |$ and $y|$:.$$\va|
|00000d90| 72 65 78 69 73 74 73 7b | 75 7d 7b 7d 28 75 20 5c |rexists{|u}{}(u \|
|00000da0| 69 6e 20 78 29 20 5c 76 | 61 72 73 75 70 73 65 74 |in x) \v|arsupset|
|00000db0| 7b 78 7d 20 5c 76 61 72 | 65 78 69 73 74 73 7b 79 |{x} \var|exists{y|
|00000dc0| 7d 7b 79 20 5c 69 6e 20 | 78 7d 0a 5c 76 61 72 66 |}{y \in |x}.\varf|
|00000dd0| 6f 72 61 6c 6c 7b 7a 7d | 7b 7a 20 5c 69 6e 20 78 |orall{z}|{z \in x|
|00000de0| 7d 20 5c 73 71 64 6f 74 | 20 7a 20 5c 6e 6f 74 5c |} \sqdot| z \not\|
|00000df0| 69 6e 20 79 2e 24 24 0a | 5c 65 6e 64 7b 61 78 69 |in y.$$.|\end{axi|
|00000e00| 6f 6d 7d 0a 0a 5c 62 65 | 67 69 6e 7b 72 65 6d 61 |om}..\be|gin{rema|
|00000e10| 72 6b 7d 0a 5c 6c 61 62 | 65 6c 7b 69 6e 6d 69 6e |rk}.\lab|el{inmin|
|00000e20| 7d 0a 41 73 20 61 20 63 | 6f 6e 73 65 71 75 65 6e |}.As a c|onsequen|
|00000e30| 63 65 20 6f 66 20 74 68 | 65 20 41 78 69 6f 6d 7e |ce of th|e Axiom~|
|00000e40| 5c 72 65 66 7b 66 6f 75 | 6e 64 61 74 69 6f 6e 7d |\ref{fou|ndation}|
|00000e50| 2c 20 77 65 20 77 69 6c | 6c 20 6f 62 74 61 69 6e |, we wil|l obtain|
|00000e60| 20 74 68 61 74 20 69 66 | 0a 74 68 65 72 65 20 69 | that if|.there i|
|00000e70| 73 20 73 6f 6d 65 20 65 | 6c 65 6d 65 6e 74 20 24 |s some e|lement $|
|00000e80| 78 24 20 77 68 69 63 68 | 20 66 75 6c 66 69 6c 73 |x$ which| fulfils|
|00000e90| 20 24 5c 63 61 6c 7b 50 | 7d 28 78 29 24 20 74 68 | $\cal{P|}(x)$ th|
|00000ea0| 65 6e 20 74 68 65 72 65 | 20 69 73 20 61 6e 0a 24 |en there| is an.$|
|00000eb0| 5c 69 6e 24 2d 6d 69 6e | 69 6d 61 6c 20 65 6c 65 |\in$-min|imal ele|
|00000ec0| 6d 65 6e 74 20 24 75 24 | 20 77 68 69 63 68 20 66 |ment $u$| which f|
|00000ed0| 75 6c 66 69 6c 73 20 24 | 5c 63 61 6c 7b 50 7d 28 |ulfils $|\cal{P}(|
|00000ee0| 78 29 24 2c 20 69 2e 65 | 2e 2c 20 24 75 24 20 66 |x)$, i.e|., $u$ f|
|00000ef0| 75 6c 66 69 6c 73 0a 24 | 5c 63 61 6c 7b 50 7d 28 |ulfils.$|\cal{P}(|
|00000f00| 78 29 24 20 62 75 74 20 | 6e 6f 6e 65 20 6f 66 20 |x)$ but |none of |
|00000f10| 69 74 73 20 6d 65 6d 62 | 65 72 73 20 66 75 6c 66 |its memb|ers fulf|
|00000f20| 69 6c 73 20 24 5c 63 61 | 6c 7b 50 7d 28 78 29 24 |ils $\ca|l{P}(x)$|
|00000f30| 2e 20 20 49 6e 20 73 79 | 6d 62 6f 6c 73 2c 0a 24 |.  In sy|mbols,.$|
|00000f40| 24 5c 76 61 72 66 6f 72 | 61 6c 6c 7b 7a 5f 31 7d |$\varfor|all{z_1}|
|00000f50| 7b 7d 20 5c 6c 64 6f 74 | 73 20 5c 76 61 72 66 6f |{} \ldot|s \varfo|
|00000f60| 72 61 6c 6c 7b 7a 5f 6e | 7d 7b 7d 20 5c 73 71 64 |rall{z_n|}{} \sqd|
|00000f70| 6f 74 20 5c 76 61 72 65 | 78 69 73 74 73 7b 78 7d |ot \vare|xists{x}|
|00000f80| 7b 7d 20 5c 70 68 69 28 | 78 29 0a 5c 62 6f 6c 64 |{} \phi(|x).\bold|
|00000f90| 73 75 70 73 65 74 20 5c | 76 61 72 65 78 69 73 74 |supset \|varexist|
|00000fa0| 73 7b 78 7d 7b 7d 20 5c | 73 71 64 6f 74 20 5c 70 |s{x}{} \|sqdot \p|
|00000fb0| 68 69 28 78 29 20 5c 73 | 71 64 6f 74 20 28 79 20 |hi(x) \s|qdot (y |
|00000fc0| 5c 69 6e 20 78 20 5c 62 | 6f 6c 64 65 71 75 69 76 |\in x \b|oldequiv|
|00000fd0| 5f 79 20 5c 6e 65 67 0a | 5c 70 68 69 28 79 29 29 |_y \neg.|\phi(y))|
|00000fe0| 2e 24 24 0a 54 68 69 73 | 20 61 78 69 6f 6d 20 69 |.$$.This| axiom i|
|00000ff0| 73 20 6f 75 72 20 73 65 | 63 6f 6e 64 20 65 78 61 |s our se|cond exa|
|00001000| 6d 70 6c 65 20 28 61 66 | 74 65 72 20 74 68 65 20 |mple (af|ter the |
|00001010| 41 78 69 6f 6d 7e 5c 72 | 65 66 7b 63 6f 6d 70 72 |Axiom~\r|ef{compr|
|00001020| 65 68 65 6e 73 69 6f 6e | 7d 0a 28 43 6f 6d 70 72 |ehension|}.(Compr|
|00001030| 65 68 65 6e 73 69 6f 6e | 29 29 20 6f 66 20 61 20 |ehension|)) of a |
|00001040| 70 72 69 6e 63 69 70 6c | 65 20 74 68 61 74 20 73 |principl|e that s|
|00001050| 74 69 70 75 6c 61 74 65 | 73 20 74 68 61 74 20 61 |tipulate|s that a|
|00001060| 6c 6c 20 73 65 74 73 20 | 68 61 76 65 20 63 65 72 |ll sets |have cer|
|00001070| 74 61 69 6e 0a 70 72 6f | 70 65 72 74 69 65 73 3b |tain.pro|perties;|
|00001080| 20 61 6c 6c 20 74 68 65 | 20 6f 74 68 65 72 20 61 | all the| other a|
|00001090| 78 69 6f 6d 73 20 63 61 | 6e 20 62 65 20 69 6e 74 |xioms ca|n be int|
|000010a0| 65 72 70 72 65 74 65 64 | 20 61 73 20 77 65 61 6b |erpreted| as weak|
|000010b0| 65 6e 65 64 20 69 6e 73 | 74 61 6e 63 65 73 0a 6f |ened ins|tances.o|
|000010c0| 66 20 74 68 65 20 63 6f | 6d 70 72 65 68 65 6e 73 |f the co|mprehens|
|000010d0| 69 6f 6e 20 73 63 68 65 | 6d 65 20 65 6d 62 6f 64 |ion sche|me embod|
|000010e0| 69 65 64 20 69 6e 20 50 | 72 6f 70 6f 73 69 74 69 |ied in P|ropositi|
|000010f0| 6f 6e 7e 5c 72 65 66 7b | 63 6f 6d 70 72 65 68 65 |on~\ref{|comprehe|
|00001100| 6e 73 69 6f 6e 7d 2e 0a | 5c 65 6e 64 7b 72 65 6d |nsion}..|\end{rem|
|00001110| 61 72 6b 7d 0a 0a 5c 62 | 65 67 69 6e 7b 70 72 6f |ark}..\b|egin{pro|
|00001120| 62 6c 65 6d 7d 0a 5c 6c | 61 62 65 6c 7b 68 77 31 |blem}.\l|abel{hw1|
|00001130| 7d 0a 25 20 68 6f 6d 65 | 77 6f 72 6b 20 23 31 0a |}.% home|work #1.|
|00001140| 53 68 6f 77 20 74 68 61 | 74 20 74 68 65 72 65 20 |Show tha|t there |
|00001150| 61 72 65 20 6e 6f 20 66 | 69 6e 69 74 65 20 24 5c |are no f|inite $\|
|00001160| 69 6e 24 2d 63 79 63 6c | 65 73 2e 0a 0a 5c 62 65 |in$-cycl|es...\be|
|00001170| 67 69 6e 7b 70 72 6f 6f | 66 7d 0a 41 73 73 75 6d |gin{proo|f}.Assum|
|00001180| 65 20 74 68 65 72 65 20 | 65 78 69 73 74 73 20 61 |e there |exists a|
|00001190| 20 63 79 63 6c 65 20 6f | 66 20 6c 65 6e 67 74 68 | cycle o|f length|
|000011a0| 20 24 6e 24 2c 20 74 68 | 61 74 20 69 73 2c 20 24 | $n$, th|at is, $|
|000011b0| 78 5f 31 20 5c 69 6e 20 | 78 5f 32 20 5c 69 6e 0a |x_1 \in |x_2 \in.|
|000011c0| 5c 6c 64 6f 74 73 20 5c | 69 6e 20 78 5f 6e 20 5c |\ldots \|in x_n \|
|000011d0| 69 6e 20 78 5f 31 24 2e | 20 20 4c 65 74 20 24 79 |in x_1$.|  Let $y|
|000011e0| 20 3d 20 5c 7b 20 78 5f | 31 2c 20 78 5f 32 2c 20 | = \{ x_|1, x_2, |
|000011f0| 5c 6c 64 6f 74 73 2c 20 | 78 5f 6e 20 5c 7d 24 2c |\ldots, |x_n \}$,|
|00001200| 20 77 68 69 63 68 0a 65 | 78 69 73 74 73 20 62 79 | which.e|xists by|
|00001210| 20 69 74 65 72 61 74 65 | 64 20 61 70 70 6c 69 63 | iterate|d applic|
|00001220| 61 74 69 6f 6e 20 6f 66 | 20 74 68 65 20 50 61 69 |ation of| the Pai|
|00001230| 72 69 6e 67 20 61 6e 64 | 20 55 6e 69 6f 6e 20 41 |ring and| Union A|
|00001240| 78 69 6f 6d 73 2e 20 20 | 43 6f 6e 73 69 64 65 72 |xioms.  |Consider|
|00001250| 0a 61 6e 20 61 72 62 69 | 74 72 61 72 79 20 24 78 |.an arbi|trary $x|
|00001260| 5f 69 5c 69 6e 20 79 24 | 2c 20 24 31 5c 6c 65 71 |_i\in y$|, $1\leq|
|00001270| 20 69 5c 6c 65 71 20 6e | 24 3b 20 74 68 65 6e 2c | i\leq n|$; then,|
|00001280| 20 69 66 20 24 69 20 3e | 20 31 24 2c 20 77 65 20 | if $i >| 1$, we |
|00001290| 68 61 76 65 20 74 68 61 | 74 0a 24 78 5f 7b 69 2d |have tha|t.$x_{i-|
|000012a0| 31 7d 20 5c 69 6e 20 78 | 5f 69 20 5c 63 61 70 20 |1} \in x|_i \cap |
|000012b0| 79 24 3b 20 6f 74 68 65 | 72 77 69 73 65 2c 20 69 |y$; othe|rwise, i|
|000012c0| 66 20 24 69 3d 31 24 2c | 20 77 65 20 68 61 76 65 |f $i=1$,| we have|
|000012d0| 20 74 68 61 74 20 24 78 | 5f 6e 5c 69 6e 20 78 5f | that $x|_n\in x_|
|000012e0| 69 0a 5c 63 61 70 20 79 | 24 2e 20 20 48 65 6e 63 |i.\cap y|$.  Henc|
|000012f0| 65 20 74 68 65 20 63 6f | 6e 64 69 74 69 6f 6e 20 |e the co|ndition |
|00001300| 6f 66 20 41 78 69 6f 6d | 7e 5c 72 65 66 7b 66 6f |of Axiom|~\ref{fo|
|00001310| 75 6e 64 61 74 69 6f 6e | 7d 20 28 46 6f 75 6e 64 |undation|} (Found|
|00001320| 61 74 69 6f 6e 29 20 69 | 73 0a 76 69 6f 6c 61 74 |ation) i|s.violat|
|00001330| 65 64 2e 0a 0a 41 6c 74 | 65 72 6e 61 74 69 76 65 |ed...Alt|ernative|
|00001340| 6c 79 2c 20 24 79 24 20 | 66 61 69 6c 73 20 74 6f |ly, $y$ |fails to|
|00001350| 20 73 61 74 69 73 66 79 | 20 74 68 65 20 63 6f 6e | satisfy| the con|
|00001360| 64 69 74 69 6f 6e 20 6f | 66 20 52 65 6d 61 72 6b |dition o|f Remark|
|00001370| 7e 5c 72 65 66 7b 69 6e | 6d 69 6e 7d 2c 0a 73 69 |~\ref{in|min},.si|
|00001380| 6e 63 65 20 74 68 65 72 | 65 20 69 73 20 6e 6f 20 |nce ther|e is no |
|00001390| 24 5c 69 6e 24 2d 6d 69 | 6e 69 6d 61 6c 20 73 65 |$\in$-mi|nimal se|
|000013a0| 74 20 77 68 69 63 68 20 | 73 61 74 69 73 66 69 65 |t which |satisfie|
|000013b0| 73 20 74 68 65 20 70 72 | 6f 70 65 72 74 79 20 24 |s the pr|operty $|
|000013c0| 28 5c 6c 61 6d 62 64 61 | 0a 78 29 5c 73 71 64 6f |(\lambda|.x)\sqdo|
|000013d0| 74 20 78 20 5c 69 6e 20 | 79 24 2e 0a 5c 65 6e 64 |t x \in |y$..\end|
|000013e0| 7b 70 72 6f 6f 66 7d 0a | 5c 65 6e 64 7b 70 72 6f |{proof}.|\end{pro|
|000013f0| 62 6c 65 6d 7d 0a 0a 5c | 65 6e 64 7b 64 6f 63 75 |blem}..\|end{docu|
|00001400| 6d 65 6e 74 7d 0a 0a 4e | 6f 77 2c 20 73 68 6f 77 |ment}..N|ow, show|
|00001410| 69 6e 67 20 74 68 61 74 | 20 0a 0a 41 20 3d 20 7b |ing that| ..A = {|
|00001420| 20 31 20 2c 20 7b 20 32 | 20 2c 20 7b 20 33 20 2c | 1 , { 2| , { 3 ,|
|00001430| 20 7b 20 34 20 2c 20 7b | 2e 2e 2e 2e 2e 7d 7d 7d | { 4 , {|.....}}}|
|00001440| 7d 7d 0a 0a 69 73 20 2a | 6e 6f 74 2a 20 61 20 73 |}}..is *|not* a s|
|00001450| 65 74 20 69 6e 20 61 20 | 77 65 6c 6c 2d 66 6f 75 |et in a |well-fou|
|00001460| 6e 64 65 64 20 74 68 65 | 6f 72 79 20 69 73 20 6c |nded the|ory is l|
|00001470| 65 66 74 20 61 73 20 61 | 6e 20 65 78 65 72 63 69 |eft as a|n exerci|
|00001480| 73 65 20 66 6f 72 20 74 | 68 65 0a 72 65 61 64 65 |se for t|he.reade|
|00001490| 72 2e 20 20 48 6f 77 65 | 76 65 72 2c 20 69 66 20 |r.  Howe|ver, if |
|000014a0| 79 6f 75 72 20 74 68 65 | 6f 72 79 20 68 61 73 20 |your the|ory has |
|000014b0| 6e 6f 20 65 71 75 69 76 | 61 6c 65 6e 74 20 6f 66 |no equiv|alent of|
|000014c0| 20 74 68 65 20 61 78 69 | 6f 6d 20 6f 66 0a 66 6f | the axi|om of.fo|
|000014d0| 75 6e 64 61 74 69 6f 6e | 20 28 61 2e 6b 2e 61 2e |undation| (a.k.a.|
|000014e0| 20 72 65 67 75 6c 61 72 | 69 74 79 29 2c 20 74 68 | regular|ity), th|
|000014f0| 65 6e 2c 20 67 69 76 65 | 6e 20 61 20 73 75 69 74 |en, give|n a suit|
|00001500| 61 62 6c 65 20 63 6f 6d | 70 72 65 68 65 6e 73 69 |able com|prehensi|
|00001510| 6f 6e 0a 73 63 68 65 6d | 61 20 67 75 61 72 61 6e |on.schem|a guaran|
|00001520| 74 65 65 69 6e 67 20 74 | 68 65 20 65 78 69 73 74 |teeing t|he exist|
|00001530| 65 6e 63 65 20 6f 66 20 | 41 2c 20 79 6f 75 20 63 |ence of |A, you c|
|00001540| 61 6e 20 6f 62 74 61 69 | 6e 0a 0a 42 20 3d 20 7b |an obtai|n..B = {|
|00001550| 20 31 20 2c 20 7b 20 31 | 20 2c 20 7b 20 31 20 2c | 1 , { 1| , { 1 ,|
|00001560| 20 7b 20 31 20 2c 20 7b | 2e 2e 2e 2e 2e 7d 7d 7d | { 1 , {|.....}}}|
|00001570| 7d 7d 0a 0a 62 79 20 52 | 65 70 6c 61 63 65 6d 65 |}}..by R|eplaceme|
|00001580| 6e 74 20 77 69 74 68 20 | 74 72 61 6e 73 66 69 6e |nt with |transfin|
|00001590| 69 74 65 20 72 65 63 75 | 72 73 69 6f 6e 2e 20 20 |ite recu|rsion.  |
|000015a0| 49 20 74 68 69 6e 6b 2e | 20 20 4c 6f 6f 6b 20 61 |I think.|  Look a|
|000015b0| 74 20 41 63 7a 65 6c 20 | 74 6f 0a 6d 61 6b 65 20 |t Aczel |to.make |
|000015c0| 73 75 72 65 2e 0a 0a 42 | 54 3a 0a 3e 52 61 6e 64 |sure...B|T:.>Rand|
|000015d0| 61 6c 6c 20 48 6f 6c 6d | 65 73 20 2d 20 61 20 71 |all Holm|es - a q|
|000015e0| 75 65 73 74 69 6f 6e 2e | 20 20 59 6f 75 20 73 61 |uestion.|  You sa|
|000015f0| 79 20 74 68 61 74 20 69 | 74 20 69 73 20 61 20 2a |y that i|t is a *|
|00001600| 74 68 65 6f 72 65 6d 2a | 20 6f 66 20 5a 46 20 74 |theorem*| of ZF t|
|00001610| 68 61 74 0a 3e 0a 3e 20 | 20 20 22 66 6f 72 20 61 |hat.>.> |  "for a|
|00001620| 6e 79 20 73 65 74 20 78 | 2c 20 66 6f 72 20 73 6f |ny set x|, for so|
|00001630| 6d 65 20 6f 72 64 69 6e | 61 6c 20 61 2c 20 78 20 |me ordin|al a, x |
|00001640| 45 20 56 28 61 29 22 20 | 2e 0a 3e 0a 3e 5b 77 68 |E V(a)" |..>.>[wh|
|00001650| 65 72 65 20 56 28 61 29 | 20 69 73 20 64 65 66 69 |ere V(a)| is defi|
|00001660| 6e 65 64 20 62 79 20 20 | 56 28 30 29 20 3d 20 7b |ned by  |V(0) = {|
|00001670| 7d 0a 3e 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |}.>     |        |
|00001680| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 56 28 |        |      V(|
|00001690| 61 2b 31 29 20 3d 20 50 | 7b 56 7b 61 7d 7d 0a 3e |a+1) = P|{V{a}}.>|
|000016a0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|000016b0| 20 20 20 20 20 20 20 20 | 20 20 20 56 28 4c 29 20 |        |   V(L) |
|000016c0| 3d 20 55 7b 61 20 3c 20 | 4c 7d 5b 56 28 61 29 5d |= U{a < |L}[V(a)]|
|000016d0| 20 28 4c 20 61 20 6c 69 | 6d 69 74 20 6f 72 64 69 | (L a li|mit ordi|
|000016e0| 6e 61 6c 29 2e 20 5d 0a | 3e 0a 3e 49 73 20 74 68 |nal). ].|>.>Is th|
|000016f0| 69 73 20 72 65 61 6c 6c | 79 20 74 72 75 65 20 3f |is reall|y true ?|
|00001700| 20 53 75 72 65 6c 79 20 | 6e 6f 74 2e 20 54 68 65 | Surely |not. The|
|00001710| 20 63 6f 6c 6c 65 63 74 | 69 6f 6e 20 6f 66 20 56 | collect|ion of V|
|00001720| 27 73 20 69 73 20 61 20 | 6d 6f 64 65 6c 20 66 6f |'s is a |model fo|
|00001730| 72 20 5a 46 2c 20 79 65 | 73 2e 0a 3e 42 75 74 20 |r ZF, ye|s..>But |
|00001740| 74 68 65 20 61 62 6f 76 | 65 20 69 73 6e 27 74 20 |the abov|e isn't |
|00001750| 61 20 74 68 65 6f 72 65 | 6d 2c 20 69 73 20 69 74 |a theore|m, is it|
|00001760| 3f 20 0a 3e 49 20 65 78 | 70 65 63 74 20 69 74 20 |? .>I ex|pect it |
|00001770| 2a 69 73 2a 20 61 20 74 | 68 65 6f 72 65 6d 20 6f |*is* a t|heorem o|
|00001780| 66 20 5a 46 2b 41 78 46 | 6e 64 74 6e 2e 0a 3e 0a |f ZF+AxF|ndtn..>.|
|00001790| 3e 43 61 6e 20 79 6f 75 | 20 63 6f 6e 66 69 72 6d |>Can you| confirm|
|000017a0| 20 74 68 69 73 20 70 6f | 69 6e 74 20 70 6c 65 61 | this po|int plea|
|000017b0| 73 65 3b 20 61 6e 64 20 | 67 69 76 65 20 61 20 72 |se; and |give a r|
|000017c0| 65 66 65 72 65 6e 63 65 | 2c 20 69 66 20 79 6f 75 |eference|, if you|
|000017d0| 20 73 74 69 6c 6c 20 73 | 61 79 0a 3e 69 74 27 73 | still s|ay.>it's|
|000017e0| 20 61 20 74 68 65 6f 72 | 65 6d 20 6f 66 20 5a 46 | a theor|em of ZF|
|000017f0| 20 6f 6e 6c 79 3f 0a 0a | 22 5a 46 20 6f 6e 6c 79 | only?..|"ZF only|
|00001800| 22 20 69 73 20 63 6f 6e | 76 65 6e 74 69 6f 6e 61 |" is con|ventiona|
|00001810| 6c 6c 79 20 74 61 6b 65 | 6e 20 74 6f 20 69 6e 63 |lly take|n to inc|
|00001820| 6c 75 64 65 20 46 6f 75 | 6e 64 61 74 69 6f 6e 2e |lude Fou|ndation.|
|00001830| 0a 0a 48 65 72 65 20 69 | 73 20 73 6f 6d 65 20 6d |..Here i|s some m|
|00001840| 6f 72 65 20 73 74 75 66 | 66 3a 0a 0a 5c 62 65 67 |ore stuf|f:..\beg|
|00001850| 69 6e 7b 64 65 66 6e 7d | 0a 5c 6c 61 62 65 6c 7b |in{defn}|.\label{|
|00001860| 52 7d 0a 5c 6c 61 62 65 | 6c 7b 77 65 6c 6c 66 6f |R}.\labe|l{wellfo|
|00001870| 75 6e 64 65 64 7d 0a 25 | 20 46 26 42 2c 20 70 2e |unded}.%| F&B, p.|
|00001880| 39 33 2d 34 2c 20 4a 65 | 63 68 2c 20 70 2e 32 31 |93-4, Je|ch, p.21|
|00001890| 2c 20 4c 65 76 79 2c 20 | 70 2e 36 38 0a 57 65 20 |, Levy, |p.68.We |
|000018a0| 64 65 66 69 6e 65 20 74 | 68 65 20 66 75 6e 63 74 |define t|he funct|
|000018b0| 69 6f 6e 20 24 52 24 20 | 6f 6e 20 61 6c 6c 20 6f |ion $R$ |on all o|
|000018c0| 72 64 69 6e 61 6c 73 20 | 62 79 20 74 72 61 6e 73 |rdinals |by trans|
|000018d0| 66 69 6e 69 74 65 20 72 | 65 63 75 72 73 69 6f 6e |finite r|ecursion|
|000018e0| 20 61 73 0a 66 6f 6c 6c | 6f 77 73 3a 0a 5c 62 65 | as.foll|ows:.\be|
|000018f0| 67 69 6e 7b 69 74 65 6d | 69 7a 65 7d 0a 5c 69 74 |gin{item|ize}.\it|
|00001900| 65 6d 5b 5c 49 5d 20 24 | 52 28 30 29 20 3d 20 5c |em[\I] $|R(0) = \|
|00001910| 65 6d 70 74 79 73 65 74 | 24 2c 0a 5c 69 74 65 6d |emptyset|$,.\item|
|00001920| 5b 5c 49 49 5d 20 24 5c | 76 61 72 66 6f 72 61 6c |[\II] $\|varforal|
|00001930| 6c 7b 5c 61 6c 70 68 61 | 7d 7b 7d 5c 73 71 64 6f |l{\alpha|}{}\sqdo|
|00001940| 74 20 52 28 53 28 5c 61 | 6c 70 68 61 29 29 20 3d |t R(S(\a|lpha)) =|
|00001950| 20 5c 66 7b 50 7d 28 52 | 28 5c 61 6c 70 68 61 29 | \f{P}(R|(\alpha)|
|00001960| 29 24 2c 0a 5c 69 74 65 | 6d 5b 5c 49 49 49 5d 20 |)$,.\ite|m[\III] |
|00001970| 24 5c 76 61 72 66 6f 72 | 61 6c 6c 7b 5c 6c 61 6d |$\varfor|all{\lam|
|00001980| 62 64 61 7d 7b 5c 4c 69 | 6d 7b 5c 6c 61 6d 62 64 |bda}{\Li|m{\lambd|
|00001990| 61 7d 7d 5c 73 71 64 6f | 74 20 52 28 5c 6c 61 6d |a}}\sqdo|t R(\lam|
|000019a0| 62 64 61 29 20 3d 0a 5c | 62 69 67 63 75 70 5f 7b |bda) =.\|bigcup_{|
|000019b0| 5c 62 65 74 61 20 3c 20 | 5c 61 6c 70 68 61 7d 20 |\beta < |\alpha} |
|000019c0| 52 28 5c 62 65 74 61 29 | 24 2e 0a 5c 65 6e 64 7b |R(\beta)|$..\end{|
|000019d0| 69 74 65 6d 69 7a 65 7d | 0a 41 20 73 65 74 20 24 |itemize}|.A set $|
|000019e0| 78 24 20 69 73 20 73 61 | 69 64 20 74 6f 20 62 65 |x$ is sa|id to be|
|000019f0| 20 7b 5c 69 74 20 77 65 | 6c 6c 2d 66 6f 75 6e 64 | {\it we|ll-found|
|00001a00| 65 64 7d 20 69 66 20 69 | 74 20 69 73 20 61 20 6d |ed} if i|t is a m|
|00001a10| 65 6d 62 65 72 20 28 6f | 72 20 61 20 73 75 62 73 |ember (o|r a subs|
|00001a20| 65 74 29 0a 6f 66 20 24 | 52 28 5c 61 6c 70 68 61 |et).of $|R(\alpha|
|00001a30| 29 24 20 66 6f 72 20 73 | 6f 6d 65 20 6f 72 64 69 |)$ for s|ome ordi|
|00001a40| 6e 61 6c 20 24 5c 61 6c | 70 68 61 24 2e 20 20 54 |nal $\al|pha$.  T|
|00001a50| 68 65 20 72 61 6e 6b 20 | 24 5c 72 68 6f 28 78 29 |he rank |$\rho(x)|
|00001a60| 24 2c 20 6f 72 20 24 5c | 72 61 6e 6b 0a 28 78 29 |$, or $\|rank.(x)|
|00001a70| 24 2c 20 6f 66 20 61 20 | 77 65 6c 6c 2d 66 6f 75 |$, of a |well-fou|
|00001a80| 6e 64 65 64 20 73 65 74 | 20 24 78 24 20 69 73 20 |nded set| $x$ is |
|00001a90| 74 68 65 20 6c 65 61 73 | 74 20 6f 72 64 69 6e 61 |the leas|t ordina|
|00001aa0| 6c 20 24 5c 62 65 74 61 | 24 20 73 75 63 68 20 74 |l $\beta|$ such t|
|00001ab0| 68 61 74 20 24 78 0a 5c | 73 75 62 73 65 74 65 71 |hat $x.\|subseteq|
|00001ac0| 20 52 28 5c 62 65 74 61 | 29 24 3a 20 24 24 5c 72 | R(\beta|)$: $$\r|
|00001ad0| 68 6f 20 28 78 29 20 5c | 44 66 20 28 5c 6d 75 20 |ho (x) \|Df (\mu |
|00001ae0| 5c 62 65 74 61 29 20 5c | 73 71 64 6f 74 20 5c 4f |\beta) \|sqdot \O|
|00001af0| 72 64 20 28 5c 62 65 74 | 61 29 20 5c 73 71 64 6f |rd (\bet|a) \sqdo|
|00001b00| 74 20 78 0a 5c 73 75 62 | 73 65 74 65 71 20 52 28 |t x.\sub|seteq R(|
|00001b10| 5c 62 65 74 61 29 2e 24 | 24 0a 5c 65 6e 64 7b 64 |\beta).$|$.\end{d|
|00001b20| 65 66 6e 7d 0a 0a 28 59 | 6f 75 20 6d 61 79 20 68 |efn}..(Y|ou may h|
|00001b30| 61 76 65 20 74 6f 20 6d | 61 6b 65 20 73 6f 6d 65 |ave to m|ake some|
|00001b40| 20 6f 62 76 69 6f 75 73 | 20 61 64 6a 75 73 74 6d | obvious| adjustm|
|00001b50| 65 6e 74 73 20 74 6f 20 | 63 6f 6d 70 69 6c 65 20 |ents to |compile |
|00001b60| 74 68 69 73 2e 29 0a 0a | 42 65 69 6e 67 20 74 68 |this.)..|Being th|
|00001b70| 61 74 20 61 6e 20 65 71 | 75 69 76 61 6c 65 6e 74 |at an eq|uivalent|
|00001b80| 20 66 6f 72 6d 20 6f 66 | 20 74 68 65 20 41 78 69 | form of| the Axi|
|00001b90| 6f 6d 20 6f 66 20 46 6f | 75 6e 64 61 74 69 6f 6e |om of Fo|undation|
|00001ba0| 20 69 73 20 74 68 61 74 | 20 61 6c 6c 0a 73 65 74 | is that| all.set|
|00001bb0| 73 20 61 72 65 20 77 65 | 6c 6c 2d 66 6f 75 6e 64 |s are we|ll-found|
|00001bc0| 65 64 2c 20 75 6e 64 65 | 72 20 74 68 65 73 65 20 |ed, unde|r these |
|00001bd0| 64 65 66 69 6e 69 74 69 | 6f 6e 73 20 65 61 63 68 |definiti|ons each|
|00001be0| 20 73 65 74 20 68 61 73 | 20 61 20 72 61 6e 6b 2e | set has| a rank.|
|00001bf0| 0a 0a 3e 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |..>-----|--------|
|00001c00| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001c10| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001c20| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001c30| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001c40| 2d 0a 3e 20 20 20 20 20 | 20 20 20 20 20 20 20 42 |-.>     |       B|
|00001c50| 69 6c 6c 20 54 61 79 6c | 6f 72 20 20 20 20 20 20 |ill Tayl|or      |
|00001c60| 20 20 20 20 20 20 20 20 | 77 66 74 40 6d 61 74 68 |        |wft@math|
|00001c70| 2e 63 61 6e 74 65 72 62 | 75 72 79 2e 61 63 2e 6e |.canterb|ury.ac.n|
|00001c80| 7a 0a 3e 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |z.>-----|--------|
|00001c90| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001ca0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001cb0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001cc0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001cd0| 2d 0a 3e 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |-.>     |        |
|00001ce0| 20 20 20 20 20 20 49 20 | 74 68 69 6e 6b 2c 20 74 |      I |think, t|
|00001cf0| 68 65 72 65 66 6f 72 65 | 20 49 20 61 6d 3b 20 28 |herefore| I am; (|
|00001d00| 49 20 74 68 69 6e 6b 29 | 2e 0a 3e 2d 2d 2d 2d 2d |I think)|..>-----|
|00001d10| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001d20| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001d30| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001d40| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001d50| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 0a 0a 63 6f 72 64 69 |--------|-..cordi|
|00001d60| 61 6c 6c 79 2c 0a 6d 69 | 6b 68 61 69 6c 20 7a 65 |ally,.mi|khail ze|
|00001d70| 6c 65 6e 79 40 68 75 73 | 63 2e 68 61 72 76 61 72 |leny@hus|c.harvar|
|00001d80| 64 2e 65 64 75 0a 22 20 | 2d 2d 20 49 20 73 68 61 |d.edu." |-- I sha|
|00001d90| 6c 6c 20 73 70 65 61 6b | 20 62 6c 75 6e 74 6c 79 |ll speak| bluntly|
|00001da0| 2c 20 62 65 63 61 75 73 | 65 20 6c 69 66 65 20 69 |, becaus|e life i|
|00001db0| 73 20 73 68 6f 72 74 2e | 22 0a                   |s short.|".      |
+--------+-------------------------+-------------------------+--------+--------+