2007-11-22 21:32
hello
[嚙踝蕭K]1+1=2 嚙踝蕭嚙踝蕭嚙確嚙踝蕭嚙踝蕭
1+1=2 嚙踝蕭嚙踝蕭嚙確嚙踝蕭嚙踝蕭
嚙踝蕭嚙緯嚙緘嚙豎這嚙諉歹蕭嚙踝蕭嚙璀1+1=2嚙緯嚙磕嚙踝蕭グ氶嚙踝蕭怜嚙踝蕭j嚙踝蕭嚙踝蕭嚙踝蕭嚙踝蕭嚙瑾嚙瘠
嚙踝蕭嚙踝蕭嚙誰人嚙踝蕭嚙箠嚙賞曾嚙篇嚙豎過"嚙踝蕭嚙踝蕭1+1=2嚙瘡"嚙緻嚙諉看佗蕭嚙篁嚙締(!?)嚙踝蕭嚙踝蕭嚙瘩嚙瘠嚙緹嚙箭嚙誹對蕭嚙調向嚙踝蕭嚙踝蕭嚙趣的嚙踝蕭嚙踝蕭簡嚙賣介嚙請一嚙磊嚙踝蕭辿b嚙踝蕭嚙緲嚙踝蕭嚙碼嚙論迎蕭嚙諍架嚙踝蕭嚙踝蕭嚙踝蕭 "1+1=2& quot; 嚙緻嚙緙嚙踝絕嚙篌嚙篁嚙複人嚙諉鳴蕭嚙踝蕭"嚙璀嚙踝蕭嚙踝蕭嚙罷"嚙踝蕭嚙複學述嚙緙嚙瘠嚙踝蕭嚙踝蕭嚙璀嚙篌嚙窮嚙緯嚙踝蕭嚙瘩嚙箭嚙踝蕭嚙碼嚙論迎蕭嚙賠蛛蕭嚙踝蕭嚙誹們討嚙論迎蕭嚙踝蕭H嚙瞌嚙磊嚙踝蕭嚙磊嚙誼迎蕭嚙踝蕭嚙碼嚙稽嚙踝蕭嚙踝蕭 (class)嚙璀嚙踝蕭嚙諒和嚙踝蕭嚙碼嚙踝蕭嚙踝蕭嚙瞌嚙箭嚙踝蕭嚙踝蕭嚙諍）嚙璀嚙瘦嚙踝蕭嚙誹們經嚙窯嚙瘢嚙趣的嚙諛然嚙複在嚙緻嚙諒也嚙瞌嚙瘡嚙踝蕭嚙碼嚙稽嚙踝蕭嚙踝蕭嚙稷嚙諉定嚙緬嚙瘠嚙課如嚙誹們可嚙諄以嚙磊嚙踝蕭嚙質式嚙褕定0嚙璀1嚙瞎2(eg. qv. Quine, Mathematical Logic, Revised Ed., Ch. 6, 嚙踝蕭43-44)嚙瘦
0 := {x: x ={y: ~(y = y)}}
1 := {x: y(y嚙窯x.&.x\{y}嚙窯0)}
2 := {x: y(y嚙窯x.&.x\{y}嚙窯1)}
嚙箴嚙踝蕭p嚙踝蕭嚙璀嚙緘嚙瘦嚙誹們從嚙磐嚙踝蕭嚙豎於１這嚙踝蕭嚙踝蕭嚙踝蕭嚙踝蕭嚙締嚙踝蕭嚙篁嚙瑾嚙諉歹蕭嚙踝蕭嚙踝蕭嚙豌，嚙踝蕭嚙踝蕭茪嚙踝蕭l嚙皺嚙罵嚙豌佗蕭0嚙踝蕭嚙踝蕭嚙締嚙瘠嚙踝蕭嚙踝蕭嚙踝蕭嚙璀嚙踝蕭嚙瞇嚙瞌嚙諸所佗蕭嚙線嚙踝蕭嚙瑾嚙諉歹蕭嚙踝蕭嚙踝蕭嚙踝蕭嚙調佗蕭嚙踝蕭嚙踝蕭嚙瘠嚙篆
嚙緹嚙箭嚙誹們一嚙踝蕭艦峊D嚙緯嚙踝蕭 von Neumann 嚙豬入嚙踝蕭嚙踝蕭k嚙諉界定嚙諛然嚙複。嚙課如嚙瘦
0:= 嚙瞇, 1:= {嚙瞇} = {0} =0嚙踝蕭{0},
2:= {嚙瞇,{嚙瞇}} = {0,1} = 1嚙踝蕭{1}
[嚙瞇嚙踝蕭嚙褐塚蕭]
嚙瑾嚙踝蕭蚖嚙踝蕭A嚙緘嚙瘦嚙誹們已嚙篇嚙箱嚙瑾嚙踝蕭n, 嚙踝蕭嚙踩它迎蕭嚙踝蕭嚙羯嚙踝蕭(successor) n* 嚙瞇嚙褕定嚙踝蕭n嚙踝蕭{n}嚙瘠
嚙箭嚙瑾嚙趟的嚙踝蕭嚙碼嚙論歹蕭嚙緲嚙緣嚙諄歹蕭嚙稽嚙緘ZFC嚙稷嚙踝蕭嚙踝蕭嚙瑾嚙踝蕭嚙踝蕭嚙緲嚙瞌嚙課這嚙諉構嚙瑾嚙盤嚙緹嚙賞不嚙稻嚙窮嚙踝蕭嚙踝蕭U嚙篁嚙璀嚙衛且嚙課佗蕭嚙諸這嚙箱嚙瑾嚙踝蕭k嚙緻嚙趣的嚙踝蕭嚙碼嚙踝蕭c嚙踝蕭嚙瑾嚙諉塚蕭嚙碼嚙璀嚙緻嚙踝蕭嚙踝蕭嚙緲嚙誶穿蕭嚙盤嚙窮嚙踝蕭嚙緲(Axiom of Infinity)(嚙踝蕭嚙瞎嚙誹們堆蕭嚙緩嚙瘤嚙踝蕭L嚙瑾嚙褒歹蕭嚙緲嚙稽嚙緘嚙衛塚蕭嚙踝蕭嚙緲嚙稷嚙緩嚙篇嚙諍立。
嚙箴嚙窯嚙瘦嚙盤嚙窮嚙踝蕭嚙緲嚙瞌嚙瑾嚙褒所謂非嚙豬輯的嚙踝蕭嚙緲嚙瘠嚙踝蕭嚙瞌嚙緻嚙褒歹蕭嚙緲嚙誕得嚙瘡Russell 嚙踝蕭嚙瞇嚙踝蕭嚙踝蕭嚙豬選蕭D嚙緬嚙褒穿蕭嚙踝蕭嚙磐嚙褒主嚙箠嚙箭嚙踝蕭嚙磐嚙賣的嚙瞇嚙緬嚙磊嚙踝蕭嚙踝蕭嚙緹嚙瘠嚙篆
嚙踝蕭