: t/ ?2 r) l) x% N4 |+ aTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。一般來說，如果我們已經構作集n, 那麼它的後繼元(successor) n* 就界定為n∪{n}。 5 S# e$ P0 C. W
, Z9 z: b3 d0 C# j: w+ U5.39.217.77在一般的集合論公理系統中（如ZFC）中有一條公理保證這個構作過程能不斷地延續下去，並且所有由這構作方法得到的集合能構成一個集合，這條公理稱為無窮公理(Axiom of Infinity)(當然我們假定了其他一些公理（如並集公理）已經建立。 9 `% n6 L0 r8 O R _9 F M
TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。2 l) {, s) e, N0 u- E: l
〔注：無窮公理是一些所謂非邏輯的公理。正是這些公理使得以Russell 為代表的邏輯主義學派的某些主張在最嚴格的意義下不能實現。〕 # r0 C" o/ a7 x5.39.217.77TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。 z" q/ S( l1 f' x" O2 J) Q5 m
跟覑我們便可應用以下的定理來定義關於自然數的加法。 tvb now,tvbnow,bttvb7 j) m/ } H2 j7 K' p9 |
公仔箱論壇, Q* @6 O5 e {( S5 {- u- T7 p6 r
定理：命"|N"表示由所有自然數構成的集合，那麼我們可以唯一地定義映射A：|Nｘ|N→|N，使得它滿足以下的條件： 3 b# z; @: x1 E5 `: \) Q+ {公仔箱論壇(1)對於|N中任意的元素x，我們有A(x,0) = x ； * I* Z$ u. s9 P0 b) P0 W
(2)對於|N中任意的元素x和y，我們有A(x,y*) = A(x,y)*。 2 H) o* E( Z* z* M. |1 cTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。 2 b$ s- d, U2 F公仔箱論壇映射A就是我們用來定義加法的映射，我們可以把以上的條件重寫如下： 3 o/ m0 l- v, e T' l' ttvb now,tvbnow,bttvb(1) x+0 = x ；(2) x+y* = (x+y)*。 ; v5 d: S; P9 U, l3 g: T" yTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。公仔箱論壇* ]& l4 _4 {% ~
現在，我們可以証明"1+1 = 2" 如下： 5.39.217.776 V' I( V* }1 ? ^ t
1+1 ) b$ O# o, s2 h j= 1+0* (因為 1:= 0*) . T3 c8 [8 X3 q* @! p$ yTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。= (1+0)* (根據條件(2)) % m G/ }5 f/ t. H7 {0 Z5.39.217.77= 1* (根據條件(1)) ' o& A+ ]$ e8 {5 S5 ]) K/ f= 2 (因為 2:= 1*) ( d7 [7 A/ H% ?1 I4 j4 p * K% T/ T- I2 h5 u: ^〔注：嚴格來說我們要援用遞歸定理(Recursion Theorem)來保證以上的構作方法是妥當的，在此不贅。] 0 K, O" |; c Y; M3 B$ M4 m5 v5.39.217.77 5 a. ^4 j0 G+ d- n. v6 STVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。1+ 1=2"可以說是人類引入自然數及有關的運算後"自然"得到的結論。但從十九世紀起數學家開始為建基於實數系統的分析學建立嚴密的邏輯基礎後，人們才真正審視關於自然數的基礎問題。我相信這方面最"經典"的証明應要算是出現在由Russell和Whitehead合著的"PrincipiaMathematica" ;中的那個。 tvb now,tvbnow,bttvb g# L0 O# _+ G$ I8 c
我們可以這樣証明"1+1 = 2"： TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。) W4 Z" E7 F9 B0 n+ b( j2 a
首先，可以推知： ' L3 ?# m1 f$ Z8 D x" [公仔箱論壇αε１<=> (Σx)(α={x}) 7 V8 r1 H: a$ v: D8 x公仔箱論壇βε2 <=> (Σx)(Σy)(β={x,y}.&.~(x=y)) ; N3 J {! s8 k" y9 ~! z
ξε1+1 <=> (Σx)(Σy)(β={x}∪{y}.&.~(x=y)) 5.39.217.777 v' i( u4 f9 i- D0 E* t
所以對於任意的集合γ，我們有 tvb now,tvbnow,bttvb6 S% W, ~) q! s5 J
γε1+1 3 y# t4 \3 m- i+ m
<=>(Σx)(Σy)(γ={x}∪{y}.&.~(x=y)) 5.39.217.77& z) } j9 h0 Q$ l% {- Y
<=>(Σx)(Σy)(γ={x,y}.&.~(x=y)) 5.39.217.77' `. h! V. M! a4 v# j0 B A
<=> γε2 # a* }3 n. q! b3 w( b+ S4 mtvb now,tvbnow,bttvb根據集合論的外延公理(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: TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。; q6 m4 b: V; H, n3 c
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
