4 A5 X% p) h/ B& o5.39.217.77:8898〔比如說，如果我們從某個屬於１這個類的分子拿去一個元素的話，那麼該分子便會變成0的分子。換言之，１就是由所有只有一個元素的類組成的類。〕 6 C Q/ C( `; Q6 L$ w+ {3 `; ^tvb now,tvbnow,bttvb 6 X: O3 l1 G$ Y9 G, O- k現在我們一般採用主要由 von Neumann 引入的方法來界定自然數。例如： tvb now,tvbnow,bttvb$ A/ o8 z" Z; k9 J# h5 n! j
) G. X( \4 D/ W' \6 `" v
0:= Λ, 1:= {Λ} = {0} =0∪{0}, tvb now,tvbnow,bttvb0 J9 ~7 E k0 d: c& B' T8 `3 U4 F, Y
2:= {Λ,{Λ}} = {0,1} = 1∪{1} - q: M; Y }+ r3 a) N1 {6 v* ]
Y2 j. e" a ]* @$ ]) M$ q" k, F[Λ為空集] 0 x) F4 ~7 D& ? F t) C3 b7 z, a一般來說，如果我們已經構作集n, 那麼它的後繼元(successor) n* 就界定為n∪{n}。 tvb now,tvbnow,bttvb: Q& C1 h# m4 m `" a
; E! w. s: S c4 `# t& A在一般的集合論公理系統中（如ZFC）中有一條公理保證這個構作過程能不斷地延續下去，並且所有由這構作方法得到的集合能構成一個集合，這條公理稱為無窮公理(Axiom of Infinity)(當然我們假定了其他一些公理（如並集公理）已經建立。 5.39.217.77:8898; a: Q L4 ~: b, y$ y
1 h5 v l6 B" |# R1 o. B2 p$ ?tvb now,tvbnow,bttvb〔注：無窮公理是一些所謂非邏輯的公理。正是這些公理使得以Russell 為代表的邏輯主義學派的某些主張在最嚴格的意義下不能實現。〕 . d8 L4 ]# `1 e& \% z
TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。" ~2 Z# q. b& x! ?
跟覑我們便可應用以下的定理來定義關於自然數的加法。 4 V- W. F; t! m
but still need to thank you for explain to us
