& f: [0 M; A' w L% Y0 ^現在我們一般採用主要由 von Neumann 引入的方法來界定自然數。例如： 公仔箱論壇3 l) V; _, h/ [$ I0 ]3 k
tvb now,tvbnow,bttvb4 a! j7 D) n. F
0:= Λ, 1:= {Λ} = {0} =0∪{0}, + r5 ^9 A6 C9 jTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。2:= {Λ,{Λ}} = {0,1} = 1∪{1} www2.tvboxnow.com" L' E$ ] `+ K1 `( C0 k: c) b4 B; q
$ a% |' d, F9 j" u) G2 rtvb now,tvbnow,bttvb[Λ為空集] . w. H! n* Q9 a9 Z7 w. I6 d1 g3 g 8 g7 z2 g# P1 e* K- kTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。一般來說，如果我們已經構作集n, 那麼它的後繼元(successor) n* 就界定為n∪{n}。 TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。% ~# m( X4 v9 ~) A
公仔箱論壇+ L2 K* o" I. ~# b
在一般的集合論公理系統中（如ZFC）中有一條公理保證這個構作過程能不斷地延續下去，並且所有由這構作方法得到的集合能構成一個集合，這條公理稱為無窮公理(Axiom of Infinity)(當然我們假定了其他一些公理（如並集公理）已經建立。 , Q) z0 O; K3 J2 T * F! v5 b8 [, ^0 k: H5 atvb now,tvbnow,bttvb〔注：無窮公理是一些所謂非邏輯的公理。正是這些公理使得以Russell 為代表的邏輯主義學派的某些主張在最嚴格的意義下不能實現。〕 tvb now,tvbnow,bttvb4 Z% t1 v. C( ^
tvb now,tvbnow,bttvb* z1 L& G7 [1 ]$ C. i
跟覑我們便可應用以下的定理來定義關於自然數的加法。 % I" L" V) @* x1 [/ DTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。 2 d* i2 v" J! @4 L3 S6 g定理：命"|N"表示由所有自然數構成的集合，那麼我們可以唯一地定義映射A：|Nｘ|N→|N，使得它滿足以下的條件： ! a& G( L! \! d' Y- I# ](1)對於|N中任意的元素x，我們有A(x,0) = x ； www2.tvboxnow.com! `4 F. n% e( T9 @+ X* c) h9 J
(2)對於|N中任意的元素x和y，我們有A(x,y*) = A(x,y)*。 公仔箱論壇; e. t9 W. [1 J0 d+ A
8 ^' y7 u& S8 i s. j* q
映射A就是我們用來定義加法的映射，我們可以把以上的條件重寫如下： www2.tvboxnow.com" J8 y) y" q: B7 ~' L ^5 S
(1) x+0 = x ；(2) x+y* = (x+y)*。 tvb now,tvbnow,bttvb; J/ S/ E% ^, U1 y3 u3 G( P
* T" M* u+ b, s/ E# w$ \現在，我們可以証明"1+1 = 2" 如下： 公仔箱論壇 a2 N8 i- P+ [; G& `( `8 l
1+1 TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。2 B. B8 H8 n' ~& g% H6 ? V
= 1+0* (因為 1:= 0*) 9 T! w) B1 l. \; e* V" H; M
= (1+0)* (根據條件(2)) 8 v5 s* s+ D% Q6 k. e3 q= 1* (根據條件(1)) tvb now,tvbnow,bttvb# ?# [5 S* w" O5 X+ u& q
= 2 (因為 2:= 1*) % K* D4 }9 h; A " R, V& O* r( K, t( rwww2.tvboxnow.com〔注：嚴格來說我們要援用遞歸定理(Recursion Theorem)來保證以上的構作方法是妥當的，在此不贅。] www2.tvboxnow.com+ W$ L! ?4 {; g0 O
tvb now,tvbnow,bttvb5 c. ^3 X( L. E5 a k
1+ 1=2"可以說是人類引入自然數及有關的運算後"自然"得到的結論。但從十九世紀起數學家開始為建基於實數系統的分析學建立嚴密的邏輯基礎後，人們才真正審視關於自然數的基礎問題。我相信這方面最"經典"的証明應要算是出現在由Russell和Whitehead合著的"PrincipiaMathematica" ;中的那個。 ' r3 Z; Z9 {& htvb now,tvbnow,bttvb我們可以這樣証明"1+1 = 2"： ) Z" J7 P0 ^' t- f; T/ ~4 qtvb now,tvbnow,bttvb 首先，可以推知： - r6 `" h# [/ b5 R! H, Etvb now,tvbnow,bttvbαε１<=> (Σx)(α={x}) - K* X. I$ F8 @! s/ z0 r3 i( d Q
βε2 <=> (Σx)(Σy)(β={x,y}.&.~(x=y)) 公仔箱論壇% Y+ f* K* r9 \- s+ k( C) Y
ξε1+1 <=> (Σx)(Σy)(β={x}∪{y}.&.~(x=y)) TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。1 }% D0 l. }# h# j
所以對於任意的集合γ，我們有 1 r$ f, M. q% [; ~8 {; Q
γε1+1 9 M7 E* l5 z1 f( B' P3 gwww2.tvboxnow.com<=>(Σx)(Σy)(γ={x}∪{y}.&.~(x=y)) TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。5 |, G" }1 h% {1 O$ o
<=>(Σx)(Σy)(γ={x,y}.&.~(x=y)) 8 k8 b ~% @1 k. K
<=> γε2 4 R: t g1 J- {根據集合論的外延公理(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: tvb now,tvbnow,bttvb! B1 |0 m/ u: C5 q7 l. W6 f9 J5 y7 B" x
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
