亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        羅素悖論與羅素定理

        2021-01-31 10:51:00王海東
        數(shù)理化解題研究 2021年12期
        關(guān)鍵詞:集合論空集公理

        王海東

        (天津市北方調(diào)查策劃事務(wù)所 300050)

        一個幽靈在集合論中徘徊,這個幽靈就是羅素悖論.

        羅素悖論可以用以下公式表示:

        ?y?x(x∈y?x?x)

        從這個公式來看,羅素悖論來自于集合論的一個常用語句.這個常用語句就是用屬于符號∈構(gòu)成的語句.由于集合論的所有表達(dá)式都離不開這個常用語句,所以集合論的所有表達(dá)式都會無一例外地受到羅素悖論的困擾.

        有人認(rèn)為,子集公理能夠從集合論中排除羅素悖論.

        子集公理可以用以下公式表示:

        ?x?y?z(x∈y?x∈z∧p(x))

        但是,即使有了子集公理,羅素悖論仍然無處不在.因為,我們可以從子集公理中推出:

        ?x?y?z(x∈y?x∈z∧p(x)?z∈p(x)?x∈p(x)?x?x)

        由此可見,子集公理只是把羅素悖論從某個集合推給了另一個集合.如果可以這樣推下去,羅素悖論將會出現(xiàn)在所有集合之中.

        那么,怎樣才能從集合論中排除羅素悖論呢?顯然,要想從集合論中排除羅素悖論,就必須找到羅素悖論在集合論中的形成條件.

        那么,羅素悖論在集合論中的形成條件是什么呢?顯然,羅素悖論在集合論中的形成條件,就是集合論一直沒有解決集合定義問題.

        有人認(rèn)為,集合論不需要給出明確的集合定義.把集合視為一種可以任意定義的數(shù)學(xué)對象,就可以對號入座地解決各種各樣的集合論問題了.這種看法是一種不符合數(shù)學(xué)要求的錯誤看法.從數(shù)學(xué)發(fā)展史來看,任何一種數(shù)學(xué)理論都是以數(shù)學(xué)定義作為理論起點的.不能給出明確的數(shù)學(xué)定義,就不能建立起嚴(yán)密的數(shù)學(xué)理論.只有給出了明確的數(shù)學(xué)定義,才能建立起嚴(yán)密的數(shù)學(xué)理論.幾何學(xué)就是一個最好的先例.在幾何學(xué)中,幾何定義的理論地位高于幾何公理,幾何公理的理論地位又高于幾何定理.在給出了各種幾何定義之后,幾何學(xué)才會進一步給出各種幾何公理.在給出了各種幾何公理之后,幾何學(xué)才會進一步給出各種幾何定理.如果我們將集合論視為一種數(shù)學(xué)理論,我們就必須讓集合論遵循數(shù)學(xué)理論的發(fā)展規(guī)律.

        更重要的是,如果我們所說的集合不是集合論所說的集合,而是人們在日常生活中所說的集合,那么這種集合也許不需要給出明確的定義.因為,人們在日常生活中所說的集合與人們的生活環(huán)境密切相關(guān).人們可以通過各種不同的生活環(huán)境找到集合的明確定義.例如,一個學(xué)校的集合就是全校師生的集合,一支軍隊的集合就是全軍官兵的集合,以此類推.但是,如果我們所說的集合是集合論所說的集合,而不是人們在日常生活中所說的集合,那么這種集合就必須給出明確的定義了.因為,集合論所說的集合是一種具有數(shù)學(xué)抽象性的集合.這種具有數(shù)學(xué)抽象性的集合與人們的生活環(huán)境毫無關(guān)系.如果不把這種具有數(shù)學(xué)抽象性的集合用數(shù)學(xué)語言明確地表述出來,人們就可以隨心所欲地解釋這種具有數(shù)學(xué)抽象性的集合了.這樣一來,羅素悖論就會從集合論所說的集合中產(chǎn)生出來,集合論所說的集合就為羅素悖論提供了形成條件.

        不過,我們也應(yīng)該看到,雖然集合論一直沒有解決集合定義問題,但是集合論已經(jīng)為解決這一問題奠定了良好的理論基礎(chǔ).這個理論基礎(chǔ)就是代表任意集合的集合公式:

        ?A?a(a∈A|a=an,0≤n≤∞)

        根據(jù)集合公式,我們可以把集合定義為一組具有相同數(shù)學(xué)性質(zhì)的數(shù)學(xué)對象.根據(jù)集合定義,我們可以將元素定義為包含在某個集合之中的最小數(shù)學(xué)對象.根據(jù)元素定義,我們可以將子集定義為包含在某個集合之中并包含其若干元素的數(shù)學(xué)對象.根據(jù)子集定義,我們可以將空集定義為包含在某個集合之中但不包含其任何元素的數(shù)學(xué)對象.根據(jù)空集定義,我們可以將非空集合定義為包含某個集合的所有元素但不包含其空集的子集.

        由此可見,只要給出了集合定義,我們就可以給出元素定義.只要給出了元素定義,我們就可以給出子集定義.只要給出了子集定義,我們就可以給出空集定義.只要給出了空集定義,我們就可以給出非空集合定義.由于這五個集合論定義具有極其密切的理論聯(lián)系,所以我們可以把這五個集合論定義稱為集合論定義系統(tǒng).令D代表集合論定義系統(tǒng),d1代表集合定義,d2代表元素定義,d3代表子集定義,d4代表空集定義,d5代表非空集合定義,我們可以用以下公式來證明集合論定義系統(tǒng):

        已知

        d1→d2→d3→d4→d5

        又知

        d1∈D

        d2∈D

        d3∈D

        d4∈D

        d5∈D

        因此

        ?D?d(d∈D|d=di,0

        證畢.

        我們不難發(fā)現(xiàn):集合論定義系統(tǒng)為集合論公理系統(tǒng)提供了理論依據(jù).只要給出了集合論定義系統(tǒng),我們就可以從中推出集合論公理系統(tǒng).令G代表集合論公理系統(tǒng),g1代表外延公理,g2代表空集公理,g3代表子集公理,g4代表偶集公理,g5代表并集公理,g6代表冪集公理,g7代表正則公理,g8代表無窮公理,g9代表替換公理,g10代表選擇公理,我們可以用以下公式來證明這一發(fā)現(xiàn):

        已知

        ?D?d(d∈D|d=di,0

        ?G?g(g∈G|g=gj,0

        又知

        d1∈D→g4∧g5∧g8∈G

        d2∈D→g1∧g9∈G

        d3∈D→g3∧g6∈G

        d4∈D→g2∈G

        d5∈D→g7∧g10∈G

        因此

        ?D?d(d∈D|d=di,0

        證畢.

        我們還會發(fā)現(xiàn),集合論定義系統(tǒng)不僅為集合論公理系統(tǒng)提供了理論依據(jù),而且為集合論公理系統(tǒng)提供了四個十分重要的集合論公理.這四個集合論公理就是包含公理、等于公理、包含等于公理和不屬于公理.包含公理是指:包含在某個集合之中的任何一種數(shù)學(xué)對象都屬于某個集合而不屬于自己.等于公理是指:任何一種等于某個集合的數(shù)學(xué)對象都屬于自己而不屬于某個集合.包含等于公理是指:除了兩個元素相同的集合,其他任何一種數(shù)學(xué)對象都不可能既包含在某個集合之中又等于某個集合.不屬于公理是指:與某個集合的元素有關(guān)卻又不屬于某個集合的數(shù)學(xué)對象屬于某個集合的空集.

        包含公理可以用以下公式表示:

        ?y?x(x?y?x∈y?x?x)

        等于公理可以用以下公式表示:

        ?y?x(x=y?x∈x?x?y)

        包含等于公理可以用以下公式表示:

        ?y?x(x?y?x?y∨x=y?x∈y∨x?y)

        不屬于公理可以用以下公式表示:

        ?x?y?z(x∈y,x∈z|z?y,z∈?,?∈y)

        這樣一來,我們就找到了從集合論中排除羅素悖論的方法.這個方法就是:將包含公理、等于公理、包含等于公理和不屬于公理引進集合論公理系統(tǒng).因為,在引進了這四個集合論公理之后,我們不僅可以將羅素悖論視為羅素定理,而且可以用以下方法來證明羅素定理:

        已知

        ?y?x(x∈y?x?y)

        又知

        ?y?x(x?y?x?x)

        因此

        ?y?x(x∈y?x?x)

        證畢.

        綜上所述,不能從集合論中排除羅素悖論,說明不能用集合論證明羅素定理.不能用集合論證明羅素定理,說明集合論公理系統(tǒng)不完善.集合論公理系統(tǒng)不完善,說明集合論定義系統(tǒng)未建立.集合論定義系統(tǒng)未建立,說明集合定義問題沒解決.只有解決了集合定義問題,才能建立集合論定義系統(tǒng).只有建立了集合論定義系統(tǒng),才能完善集合論公理系統(tǒng).只有完善了集合論公理系統(tǒng),才能用集合論證明羅素定理.只有用集合論證明了羅素定理,才能從集合論中排除羅素悖論.

        猜你喜歡
        集合論空集公理
        引發(fā)數(shù)學(xué)界大震蕩的羅素悖論
        模糊集合論對羅素悖論的解決
        全面認(rèn)識空集
        根據(jù)微積分理論來認(rèn)識康托集合論的錯誤
        歐幾里得的公理方法
        Abstracts and Key Words
        公理是什么
        基于哲學(xué)邏輯的集合論研究
        空集的應(yīng)用
        說三道四話“空集”
        极品美女调教喷水网站| 狠狠色噜噜狠狠狠8888米奇| 精品精品国产高清a毛片| 国产精品亚洲αv天堂无码| 亚洲日韩一区精品射精| 国产福利姬喷水福利在线观看| 日韩成人无码一区二区三区| 亚洲人成无码网www| 国产精品久久码一区二区| 欧美亚洲另类 丝袜综合网| 亚洲国产精品成人久久av| 黑人一区二区三区啪啪网站| 亚洲av色在线播放一区| 色欲av永久无码精品无码蜜桃| 中文字幕亚洲综合久久| 国产亚av手机在线观看| 熟女人妇 成熟妇女系列视频| 精品无码av一区二区三区| а天堂中文在线官网| 国产a v无码专区亚洲av| 自慰高潮网站在线观看| 久久影院最新国产精品| av一区二区在线网站| 国产精品美女一区二区视频| 3d动漫精品啪啪一区二区免费| 人人妻人人爽人人澡欧美一区| 久久久久久av无码免费看大片 | 正在播放东北夫妻内射| 蜜臀av无码精品人妻色欲| 亚洲高清有码在线观看| 国产精品自拍网站在线| 国产精品亚洲一区二区三区在线| а天堂中文在线官网在线| 人妻丰满熟妇av无码片| 91亚洲人成手机在线观看| 亚洲福利网站在线一区不卡| 在线播放av不卡国产日韩| 美女扒开屁股让男人桶| 亚洲欧美成人一区二区在线电影| 国产亚洲美女精品久久| h视频在线观看视频在线|