u# ^7 n5 e* R7 T x3 @TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。現在我們一般採用主要由 von Neumann 引入的方法來界定自然數。例如： os.tvboxnow.com G; `; ]1 n0 e; x; K$ v# [4 k
公仔箱論壇0 F0 R' |4 o: [' Y- y6 E
0:= Λ, 1:= {Λ} = {0} =0∪{0}, 公仔箱論壇. y" z' V, I! x8 v# B! s6 {
2:= {Λ,{Λ}} = {0,1} = 1∪{1} ( E% f3 H9 e7 N5 S' i- V7 Cos.tvboxnow.comtvb now,tvbnow,bttvb A7 t7 Z( [, M9 Z4 _( n' Z$ k- u
[Λ為空集] # x$ C6 w! G' _, g: J' ~公仔箱論壇( c% r& Q+ p5 l0 W( Y3 \( ^
一般來說，如果我們已經構作集n, 那麼它的後繼元(successor) n* 就界定為n∪{n}。 / ^6 C/ T4 i( T. r: yTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。 # n5 U5 c, l% B7 o) o( I. b# t在一般的集合論公理系統中（如ZFC）中有一條公理保證這個構作過程能不斷地延續下去，並且所有由這構作方法得到的集合能構成一個集合，這條公理稱為無窮公理(Axiom of Infinity)(當然我們假定了其他一些公理（如並集公理）已經建立。 : g8 s% v; i1 c1 U: w
tvb now,tvbnow,bttvb+ X3 Q+ J, f& e1 q; ~& z( m
〔注：無窮公理是一些所謂非邏輯的公理。正是這些公理使得以Russell 為代表的邏輯主義學派的某些主張在最嚴格的意義下不能實現。〕 / x, T" G( W) l- P5 gTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。 * ?8 U# Z$ c1 t4 Z% ~+ f& l! [os.tvboxnow.com跟覑我們便可應用以下的定理來定義關於自然數的加法。 % V8 ^& g% W. Q% i
公仔箱論壇, \" B8 H; l }5 b2 i& d1 C
定理：命"|N"表示由所有自然數構成的集合，那麼我們可以唯一地定義映射A：|Nｘ|N→|N，使得它滿足以下的條件： tvb now,tvbnow,bttvb3 e3 f% f6 k# Z' Q6 k4 @
(1)對於|N中任意的元素x，我們有A(x,0) = x ； os.tvboxnow.com8 k1 s( \4 T6 k- {9 s, H; Z
(2)對於|N中任意的元素x和y，我們有A(x,y*) = A(x,y)*。 ! j* u# C/ ~6 m+ X8 C8 \TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。/ G5 Z( G- n: U0 S1 V" h
映射A就是我們用來定義加法的映射，我們可以把以上的條件重寫如下： $ v& l' I1 X W% N5 Ktvb now,tvbnow,bttvb(1) x+0 = x ；(2) x+y* = (x+y)*。 8 w9 `; H% g; W0 o }3 j$ T+ a0 R' r/ N0 }- ^+ Y; v
現在，我們可以証明"1+1 = 2" 如下： 7 y1 d6 N% H" a& I" z. r; g公仔箱論壇1+1 7 k3 J- N8 u, m9 V" }. X* }TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。= 1+0* (因為 1:= 0*) 公仔箱論壇& [! Z$ r" n& g1 E7 @- D8 m, F3 S
= (1+0)* (根據條件(2)) ! u* u3 {1 \' d+ \- Q& q3 ^+ I= 1* (根據條件(1)) 1 b+ S" }+ \( Z! F6 W" }! {公仔箱論壇= 2 (因為 2:= 1*) % j& K" e/ k* V& W! x/ Z% d / z8 F, F4 p7 P5 \os.tvboxnow.com〔注：嚴格來說我們要援用遞歸定理(Recursion Theorem)來保證以上的構作方法是妥當的，在此不贅。] `" P- }, ?* O e5 L4 C% iTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。3 b6 U/ X c9 N
1+ 1=2"可以說是人類引入自然數及有關的運算後"自然"得到的結論。但從十九世紀起數學家開始為建基於實數系統的分析學建立嚴密的邏輯基礎後，人們才真正審視關於自然數的基礎問題。我相信這方面最"經典"的証明應要算是出現在由Russell和Whitehead合著的"PrincipiaMathematica" ;中的那個。 os.tvboxnow.com- g# R0 W- T0 S" j% x! N( L
我們可以這樣証明"1+1 = 2"： / R3 N% S# u, [4 `! S5 W- F, p+ H$ A5 M
首先，可以推知： ' S* ~: R) I2 a( Uos.tvboxnow.comαε１<=> (Σx)(α={x}) TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。5 K& s4 B" L5 L
βε2 <=> (Σx)(Σy)(β={x,y}.&.~(x=y)) 6 e3 a2 f: e0 M公仔箱論壇ξε1+1 <=> (Σx)(Σy)(β={x}∪{y}.&.~(x=y)) TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。0 b# }$ J. o a; q! E
所以對於任意的集合γ，我們有 公仔箱論壇1 E P; r# U4 f- c O
γε1+1 公仔箱論壇! n" _9 m3 t; f' T e% S
<=>(Σx)(Σy)(γ={x}∪{y}.&.~(x=y)) 3 @" N) A2 p: V<=>(Σx)(Σy)(γ={x,y}.&.~(x=y)) TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。; Q, C% V& U5 q5 t8 u" _! Y+ H2 }
<=> γε2 TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。& r# ?# ]" H) A
根據集合論的外延公理(Axiom of Extension)，我們得到1+1 = 2。]作者: ~天穎~ 時間: 2007-11-16 12:59 AM
謝謝分享!作者: nd126 時間: 2007-11-16 02:20 AM
Wow!!Even tho. i don't get it at all but still need to thank you for explain to us作者: smsl 時間: 2007-11-16 12:49 PM
wa , add math , logic all come out :019: / s+ c0 E- K! `/ B+ G, b) uTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。thank nice info !!!作者: VuiLoong 時間: 2007-11-17 05:18 PM
thx for sharing作者: meowmeow520 時間: 2007-11-18 08:10 PM
thanks for sharing....作者: yaya1818 時間: 2007-11-29 03:49 PM
but still need to thank you for explain to us
