• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    模糊集合論對(duì)羅素悖論的解決

    2021-07-09 01:30:30
    關(guān)鍵詞:集合論公理化謂詞

    楊 帆

    (南開大學(xué) 哲學(xué)院, 天津 300350)

    羅素悖論的發(fā)現(xiàn)引起了人們對(duì)集合論作為數(shù)學(xué)基礎(chǔ)的懷疑,甚至導(dǎo)致了第三次數(shù)學(xué)危機(jī)。一切后續(xù)的集合論研究都不能回避這個(gè)悖論,于是出現(xiàn)了ZF集合論(Zermelo-Fraenkel set theory)和NBG集合論(von Neumann-Bernays-G?del set tehroy)等公理化集合論來解決悖論,它們都對(duì)樸素集合論作出了修正。ZF集合論給出的方案是將能夠?qū)е裸U摰母爬ㄔ瓌t限制為分離公理,即將“如果φ(x)是一個(gè)性質(zhì),那么就存在一個(gè)集合{x|φ(x)}”修正為“如果φ(x)是一個(gè)性質(zhì),那么對(duì)任意的A存在一個(gè)集合{x∈A|φ(x)}”,這樣就確保每一個(gè)新的集合都是已經(jīng)存在的集合的子集,羅素集R={x|x?x}不復(fù)存在;NBG集合論則引入類的概念,并區(qū)分了集合和真類,集合可以屬于其他集合,而真類不屬于任何集合。這樣,羅素悖論中所有滿足某個(gè)條件的集合所構(gòu)成的集合便不存在,它被定義為真類,由此解決了悖論。

    上述兩種公理化集合論的解悖方案分別是對(duì)概括原則進(jìn)行限制與區(qū)分集合和真類的定義。替換經(jīng)典邏輯則是第三種思路。隨著非經(jīng)典邏輯研究的興起,構(gòu)造各種非經(jīng)典集合論的嘗試也相繼出現(xiàn)[1]。這些非經(jīng)典集合論多能結(jié)合底層邏輯的特點(diǎn)來解決羅素悖論。目前,國(guó)內(nèi)已經(jīng)有學(xué)者開展非經(jīng)典集合論在解悖方面的研究,主要涉及模態(tài)集合論[2]、弗協(xié)調(diào)集合論[3]和直覺主義集合論[4]等幾種非經(jīng)典集合論。但是,國(guó)內(nèi)關(guān)于模糊集合論(fuzzy set theory)解決羅素悖論的論述尚不多。模糊集合論是一種非經(jīng)典集合論,雖然創(chuàng)立的初衷是為了刻畫工程中遇到的不精確現(xiàn)象,但為了保證能夠作為模糊數(shù)學(xué)堅(jiān)實(shí)的理論基礎(chǔ),它依然要探討如何去解決羅素悖論。

    本文的創(chuàng)新之處在于探索了各種模糊集合論系統(tǒng)對(duì)羅素悖論的解決,綜合地分析并比較了它們的解悖方案,并以此來說明模糊集合論能夠作為模糊數(shù)學(xué)的基礎(chǔ)而存在。第一節(jié)闡述多值邏輯對(duì)羅素悖論的回應(yīng),第二節(jié)從底層邏輯和方法論兩個(gè)方面闡述模糊集合論公理化的基礎(chǔ),第三節(jié)分析ZF型模糊集合論、模糊類型論和樸素模糊集合論的構(gòu)造過程,第四節(jié)對(duì)這幾種構(gòu)造的解悖方案進(jìn)行分析和比較。

    一、多值邏輯對(duì)羅素悖論的回應(yīng)

    如果要討論模糊集合論對(duì)羅素悖論的解決,就無法繞開它的思想來源——多值邏輯(many-valued logic)對(duì)羅素悖論的回應(yīng)。作為非經(jīng)典邏輯的一種,多值邏輯對(duì)經(jīng)典邏輯中的二值原則持?jǐn)U張的態(tài)度,認(rèn)為命題不只可以取真和假兩個(gè)值,例如三值邏輯認(rèn)為命題可以有第三個(gè)值,有窮值邏輯認(rèn)為命題有n個(gè)值(n是任意的自然數(shù)),無窮值邏輯認(rèn)為命題有可數(shù)無窮多個(gè)值或不可數(shù)無窮多個(gè)值。多值邏輯最初還被認(rèn)為可以替換樸素集合論中的經(jīng)典邏輯來解決羅素悖論。與ZF集合論和NBG集合論的解悖思路不同,多值邏輯既不對(duì)概括原則作出任何限制,也不區(qū)分集合和真類的定義,而是將樸素集合論的底層邏輯替換為多值邏輯,例如鮑契瓦爾(D.A.Bochvar)的三值邏輯。如此一來,羅素悖論依然存在,但是這個(gè)命題被指派了第三值,因此并不構(gòu)成經(jīng)典意義上的悖論。

    然而,事實(shí)遠(yuǎn)非如此簡(jiǎn)單。莫紹揆證明,僅將樸素集合論的經(jīng)典邏輯替換為有窮值邏輯n(3≤n<ω),仍然會(huì)導(dǎo)致悖論[5]。不過,這個(gè)結(jié)論不能推廣到無窮值邏輯。那么無窮值邏輯就因此而值得信賴了嗎?鄭毓信等人證明,任何一個(gè)數(shù)學(xué)系統(tǒng),只要包括概括原則、分離規(guī)則、同一律、自然數(shù)系統(tǒng)且承認(rèn)無窮多個(gè)集合可以構(gòu)造并集,就會(huì)導(dǎo)致悖論,即使將經(jīng)典邏輯替換為無窮值邏輯也無法避免[6]。杜國(guó)平等人進(jìn)而將這個(gè)結(jié)論推廣到任意值邏輯上[7]。杜國(guó)平由此斷定,無法通過對(duì)樸素集合論的底層邏輯進(jìn)行替換來解決羅素悖論[8]。

    多值邏輯對(duì)羅素悖論的回應(yīng)之所以失敗,是因?yàn)檫@樣的回應(yīng)是不完備的,即僅將底層邏輯替換為多值邏輯,而沒有深入考察集合論隨之而來的變化。如果不放棄以多值邏輯替換底層邏輯的思路,那么集合論層面就不應(yīng)局限在固有的樸素集合論上,而應(yīng)尋求與多值邏輯相一致的某種新型非經(jīng)典集合論。只要構(gòu)造出基于多值邏輯的非經(jīng)典集合論,就可以繼續(xù)對(duì)羅素悖論的解決進(jìn)行合理的探索。幸運(yùn)的是,實(shí)際應(yīng)用中已發(fā)展出一種基于多值邏輯的非經(jīng)典集合論,即模糊集合論,并且它能夠從理論上回應(yīng)羅素悖論。

    二、模糊集合論公理化的基礎(chǔ)

    模糊集合論的概念最早是扎德(L.A.Zadeh)在其1965年的論文《模糊集合》(Fuzzysets)中提出的[9],用以處理不精確現(xiàn)象,它表現(xiàn)出了對(duì)經(jīng)典集合論的擴(kuò)張。這種擴(kuò)張?bào)w現(xiàn)在模糊集合論對(duì)屬于關(guān)系的重新解釋上。在經(jīng)典集合論中,一個(gè)元素要么屬于一個(gè)集合,要么不屬于一個(gè)集合,沒有其他情形。扎德創(chuàng)立的模糊集合論則不同,他認(rèn)為屬于關(guān)系可以用隸屬度(membership degree)的概念來刻畫。簡(jiǎn)單來說,就是對(duì)論域X,存在一個(gè)從X到實(shí)區(qū)間[0,1]的映射μA,稱作隸屬函數(shù)(membership function),它代表著一個(gè)模糊集合A。X中的元素x在μA映射下的像μA(x)就是x的隸屬度。這樣,模糊集合A可以表示為A={(x,μA(x))|x∈X}。一個(gè)元素是按一定的隸屬度屬于一個(gè)集合的,這個(gè)隸屬度是在[0,1]上取值的。顯然,隸屬度的取值有不可數(shù)無窮多個(gè),這與多值邏輯中的不可數(shù)無窮值邏輯的真值集相契合。

    模糊集合論的底層邏輯是多值邏輯,因此二者有著極其密切的聯(lián)系。但是,模糊集合論從兩個(gè)方面超越了多值邏輯:一是從模糊限制的角度發(fā)展了多值邏輯的語義學(xué),使其能夠刻畫不精確概念;二是它有著更為廣泛的應(yīng)用,在模糊控制、模糊識(shí)別和專家系統(tǒng)等領(lǐng)域都有重要價(jià)值。隨著模糊集合論在實(shí)際應(yīng)用中的逐漸成熟,對(duì)它的理論基礎(chǔ),即公理化系統(tǒng)之需求也日漸迫切。較之于扎德所創(chuàng)立的經(jīng)典模糊集合論,公理化模糊集合論蘊(yùn)含了更多的邏輯基礎(chǔ)和哲學(xué)上的考量。我們將從底層邏輯和方法論兩個(gè)角度來分析模糊集合論公理化的基礎(chǔ)。

    (一)底層邏輯:基本三角范數(shù)邏輯

    G?del三角范數(shù):T(x,y)=min(x,y);

    乘積三角范數(shù):T(x,y)=x·y。

    (二)方法論:公理化與形式主義

    一般的數(shù)學(xué)理論有三層結(jié)構(gòu):形式邏輯、基礎(chǔ)理論、具體學(xué)科。在模糊數(shù)學(xué)中,作為形式邏輯一層的數(shù)理模糊邏輯如前所述已經(jīng)非常豐富,而具體學(xué)科自扎德創(chuàng)立以來一直發(fā)展迅速,相對(duì)薄弱的是基礎(chǔ)理論,即一種能夠?qū)С瞿:龜?shù)學(xué)的公理化模糊集合論。結(jié)合基礎(chǔ)理論亟需發(fā)展的態(tài)勢(shì),貝侯內(nèi)克(L.Běhounek)和辛圖拉(P.Cintula)給出了模糊集合論公理化的指導(dǎo)思想,稱作“形式主義命令”(formalistic imperative)[11]?;诠藢?duì)數(shù)理模糊邏輯的研究,貝侯內(nèi)克和辛圖拉認(rèn)為要研究模糊數(shù)學(xué)的基礎(chǔ)理論,首先需要以一種模糊邏輯為底層邏輯來研究形式化和公理化的理論,而非特定的模型。由于模仿經(jīng)典邏輯的傳統(tǒng)語法已被數(shù)理模糊邏輯證明是可行的,因此延續(xù)這一思路進(jìn)而構(gòu)造模糊集合論似乎也是值得嘗試的。

    貝侯內(nèi)克和辛圖拉聲稱一種公理化模糊集合論可以簡(jiǎn)單地在某種模糊邏輯上增加二元屬于謂詞而構(gòu)造,而不必提出任何新的屬于謂詞。在這一情形下,許多經(jīng)典集合論中的構(gòu)造和證明都將成立,無需推倒重建。這個(gè)說法主要針對(duì)的是早期夏平(E.W.Chapin)等人(1)由于涉及的文獻(xiàn)較多,此處不再羅列,具體可參見戈特瓦爾德(S.Gottwald)對(duì)此的統(tǒng)一評(píng)述[12]?;诮?jīng)典邏輯構(gòu)造模糊集合論時(shí)為刻畫含混性而引入新的三元屬于謂詞,其中第三元表示隸屬度,這樣隸屬度在模糊集合論中就作為一個(gè)新的對(duì)象來處理。但按照貝侯內(nèi)克和辛圖拉的思路,隸屬度不必作為一個(gè)新的對(duì)象引入到模糊集合論中,只需“隱藏”在元語言層面即可。我們知道經(jīng)典邏輯是模糊邏輯的擴(kuò)張,因此也就可以視作是模糊邏輯的一個(gè)特例,以經(jīng)典邏輯為底層邏輯而構(gòu)造的模糊集合論只能視作是對(duì)模糊現(xiàn)象的一個(gè)經(jīng)典模型解釋,不能稱其為真正的模糊化方法。而如果能夠在模糊邏輯上構(gòu)造模糊集合論,那么經(jīng)典模型就同樣可以作為特例被容納于其中。

    這一說法確立了一種構(gòu)造模糊集合論的方案,即選擇一個(gè)合適的模糊邏輯系統(tǒng)作為底層邏輯,通過增加二元屬于謂詞,然后引入經(jīng)典集合論的公理系統(tǒng),得到一個(gè)新的公理化模糊集合論。雖然扎德的經(jīng)典模糊集合論具有一定的現(xiàn)實(shí)意義,但他創(chuàng)立模糊集合論的過程并不是從一種模糊邏輯開始的。貝侯內(nèi)克和辛圖拉認(rèn)為,我們更需要的是一種表達(dá)力極強(qiáng)的底層邏輯,而非對(duì)集合論的完全模仿。這主要表達(dá)了兩層含義:第一,扎德創(chuàng)立的模糊集合論只是將經(jīng)典集合論中的概念模糊化了,其結(jié)果仍然停留在基礎(chǔ)理論這一層,沒有深入到底層邏輯;第二,真正構(gòu)造模糊集合論必須選取數(shù)理模糊邏輯中表達(dá)力足夠強(qiáng)的系統(tǒng)。從他們的主張出發(fā)構(gòu)造的公理化模糊集合論,為了能作為模糊數(shù)學(xué)的哲學(xué)和理論基礎(chǔ),面臨的首要問題就是如何解決羅素悖論。

    三、模糊集合論的構(gòu)造

    模糊集合論的構(gòu)造過程與經(jīng)典集合論頗有相似之處,但其底層邏輯和具體問題又不盡相同。下面我們將考察三類已有的模糊集合論系統(tǒng)。

    (一)ZF型模糊集合論的方案

    ZF集合論對(duì)羅素悖論的解決方案比較經(jīng)典,也廣為數(shù)學(xué)界和邏輯學(xué)界所接受,將ZF集合論的公理系統(tǒng)移植到非經(jīng)典集合論中是很自然的思路。在仿照ZF集合論來構(gòu)造公理化模糊集合論的方法中,比較有價(jià)值的是竹內(nèi)外史(Gaisi Takeuti)和千谷慧子(Satoko Titani)基于G?del邏輯給出的方案,以及哈耶克和漢尼科娃(Z.Haniková)基于BL邏輯給出的方案。

    竹內(nèi)外史和千谷慧子以一種多值邏輯,即G?del邏輯為底層邏輯,吸納了直覺主義集合論(intuitionistic set theory)的思想[13],構(gòu)造了一種直覺主義模糊集合論ZFIF。ZFIF的公理有直覺主義集合論ZFI的公理加上依賴選擇公理和雙重否定公理。關(guān)鍵的步驟是用∈-歸納公理替代基礎(chǔ)公理,這一替代是對(duì)集合論中能夠蘊(yùn)涵排中律的公理進(jìn)行修正。而雙重否定公理補(bǔ)充了G?del邏輯中否定算子所不具有的對(duì)合性(involutivity),即φ?﹁﹁ψ。后來,他們又使用ukasiewicz邏輯聯(lián)結(jié)詞和乘積邏輯的合取聯(lián)結(jié)詞,提出一種新的底層邏輯FL(fuzzy logic)[14],F(xiàn)L可以包含G?del邏輯。由此,他們構(gòu)造了一種ZF型模糊集合論FZF,F(xiàn)ZF公理與ZFIF的公理基本一致。

    受ZFIF和FZF的啟發(fā),哈耶克和漢尼科娃從一階基本模糊邏輯BLΔ?出發(fā),引入Δ算子,構(gòu)造了一個(gè)ZF型模糊集合論FST(fuzzy set theory)[15]。他們認(rèn)為,竹內(nèi)外史和千谷慧子的工作的缺陷在于“沒有區(qū)分多值邏輯的特征,即合取聯(lián)結(jié)詞的非冪等性(non-idempotence)”[15]273。FST的公理有外延公理、空集公理、對(duì)集公理、并集公理、弱冪集公理、無窮公理、分離公理、收集公理、∈-歸納公理和支集存在公理等。

    (二)模糊類理論的方案

    雖然ZF集合論是比較經(jīng)典和公認(rèn)的一種思路,但是將ZF集合論移植到模糊集合論仍然會(huì)導(dǎo)致一些問題。例如,ZF型模糊集合論所依賴的底層邏輯無法推廣等。從方法論層面來看,這會(huì)使得某些模糊集合論不足以構(gòu)造出模糊數(shù)學(xué)的結(jié)構(gòu),于是我們轉(zhuǎn)向另一種方案。

    FCT是一個(gè)一階理論,扎德的模糊數(shù)學(xué)已經(jīng)容納于其中。但它可以繼續(xù)向高階理論擴(kuò)張,以容納更高階的數(shù)學(xué)理論。比如,二階FCT包含兩種變?cè)侯惡皖愖?family),并定義一個(gè)新的屬于謂詞∈表示“類屬于類族”,然后有類族的概括公理和外延公理;三階FCT同樣也包含兩種變?cè)侯愖搴皖愖宓淖澹俣x一個(gè)新的屬于謂詞∈表示“類族屬于類族的族”,然后有類族的族的概括公理和外延公理……如此可將理論擴(kuò)張為n階,屬于謂詞∈表示“n-1階變?cè)獙儆趎階變?cè)?。每一階的FCT語言和公理都是相同的,只有變?cè)獣?huì)有所變化。

    (三)回到樸素集合論的方案

    除了通過公理化方法構(gòu)造模糊集合論外,還可以選取一條回歸康托爾樸素集合論的路徑,這就是哈耶克以u(píng)kasiewicz邏輯為底層邏輯而構(gòu)造的C集合論(Cantor-ukasiewicz set theory)[17]。他將這種方法稱作是與FST“完全不同的”[17]763,C集合論是由將康托爾的樸素集合論中的經(jīng)典邏輯替代為ukasiewicz邏輯而構(gòu)造出來的,其思想來源于懷特(R.B.White)對(duì)無窮值ukasiewicz邏輯上概括原則的一致性證明[18]。

    四、模糊集合論解決羅素悖論的方案分析

    基本模糊邏輯BL已經(jīng)成為模糊邏輯領(lǐng)域中公認(rèn)的基礎(chǔ)邏輯系統(tǒng),由此出發(fā)而構(gòu)造的幾種模糊集合論,以及它們對(duì)羅素悖論的解決方案則各有異同。這一節(jié)我們將具體分析以上三類模糊集合論對(duì)羅素悖論的解決。

    竹內(nèi)外史和千谷慧子所提出的ZFIF和FZF系統(tǒng),是模糊集合論的研究進(jìn)程中最先借鑒直覺主義集合論對(duì)基礎(chǔ)公理處理的方案。ZFIF和FZF保留了ZF集合論原有的分離公理,因此能夠避免悖論。在哈耶克提出BL從而將幾種多值邏輯系統(tǒng)視作其擴(kuò)張后,以BLΔ?為底層邏輯來構(gòu)造一種“更為基本”的集合論就成了可能。接下來我們主要分析模糊集合論FST是如何解決羅素悖論的。

    一方面,F(xiàn)ST的構(gòu)造是從經(jīng)典的ZF集合論出發(fā),借鑒直覺主義集合論中的思想,對(duì)能夠蘊(yùn)涵排中律的公理進(jìn)行修正。蘊(yùn)涵排中律的公理,即基礎(chǔ)公理,在直覺主義集合論中會(huì)導(dǎo)致悖論。而在模糊集合論中,基礎(chǔ)公理會(huì)使得屬于關(guān)系弱化為明確的,亦即二值的,整個(gè)集合論失去了模糊性,這樣FST就無法對(duì)多值模型作出解釋。所以,F(xiàn)ST中用∈-歸納公理替代了基礎(chǔ)公理。而分離公理確保了每一個(gè)新的集合都必須是從已存在的集合中構(gòu)造的,這避免了樸素集合論中的羅素集出現(xiàn)。另一方面,F(xiàn)ST的底層邏輯是BLΔ?,它延續(xù)了多值邏輯的思想,即對(duì)經(jīng)典邏輯中二值原則的擴(kuò)張,所以底層邏輯的語義是多值的。

    以上兩個(gè)方面表明,F(xiàn)ST的解悖思路既確保了不存在羅素集,又保證了對(duì)多值模型的解釋,由此排除了羅素悖論。FST是從ZF集合論的角度,立足于形式主義的主張來消解悖論。實(shí)際上,用ZF集合論處理悖論也一直是集合論研究領(lǐng)域的主流。不過,F(xiàn)ST更關(guān)注的是ZF集合論的元數(shù)學(xué)性質(zhì),它在作為模糊數(shù)學(xué)的基礎(chǔ)時(shí)具有一定局限性,譬如無法構(gòu)造一些模糊數(shù)學(xué)的結(jié)構(gòu)。

    與FST相比能夠推導(dǎo)出模糊數(shù)學(xué)的FCT則是從變?cè)椭^詞的定義角度消解悖論,它對(duì)屬于謂詞∈的定義非常嚴(yán)格,從而排除了羅素集出現(xiàn)的可能,因此也不需要對(duì)概括公理做任何的修正。FCT在定義屬于謂詞時(shí)很明確地指出,謂詞∈前面的變?cè)仨毷菍?duì)象,后面的變?cè)仨毷穷悾現(xiàn)CT既不考慮類與類之間的關(guān)系,也不考慮對(duì)象與對(duì)象之間的關(guān)系[16]43。羅素悖論要求的“所有不以自身為元素的集合”在FCT中是不符合謂詞∈的定義的,而奇異收集所說的“所有不以自身為元素的集合的集合”在FCT中只能是“所有不以自身為元素的對(duì)象的類”。無論何種,都說明羅素集在FCT中不存在,這樣就避免了羅素悖論。FCT對(duì)于羅素悖論的解決與NBG集合論有一些相似之處,例如對(duì)所處理的對(duì)象進(jìn)行分層,但它對(duì)屬于謂詞的定義明顯要強(qiáng)于NBG集合論,它只承認(rèn)對(duì)象屬于類的合法性。如果考慮將FCT推廣到高階的情形,很明顯n階FCT對(duì)于變?cè)星逦姆謱?,羅素悖論中對(duì)于“所有n-1階變?cè)氖占睂⑹且粋€(gè)n階變?cè)⒉粫?huì)導(dǎo)致悖論。

    五、結(jié)語

    杜國(guó)平將羅素悖論的架構(gòu)梳理為:概括原則+集合論的基本定義+經(jīng)典邏輯→矛盾[8]4。本文主要討論的3種模糊集合論則恰好從這3個(gè)方面各自對(duì)羅素悖論進(jìn)行了回應(yīng):FST通過公理化的方法對(duì)概括原則進(jìn)行限制,F(xiàn)CT在關(guān)于集合的基本定義上更加嚴(yán)格,而C則是將樸素集合論的經(jīng)典邏輯進(jìn)行了替換,但C所謂的解悖方案目前還是一個(gè)假設(shè),關(guān)于它的一致性依然是一個(gè)開放性問題。

    羅素悖論是集合論和邏輯哲學(xué)中的一個(gè)重要問題。模糊集合論在其發(fā)展和解決羅素悖論的過程中,基本離不開對(duì)具有多值語義的模糊邏輯的依賴。模糊理論的學(xué)者們建立了一個(gè)個(gè)非平凡的理論,并在哲學(xué)上得到了合理的解釋。在研究特定的模糊現(xiàn)象時(shí)人們會(huì)進(jìn)行建模,而模糊集合論則是這些特定建模的一般化理論。從多值邏輯到模糊集合論的進(jìn)程,雖然還有許多問題需要探討,但模糊集合論已經(jīng)較好地處理了羅素悖論,使其能夠作為模糊數(shù)學(xué)的基礎(chǔ)而存在,為進(jìn)一步的理論研究和實(shí)際應(yīng)用提供了必要的支撐。

    猜你喜歡
    集合論公理化謂詞
    引發(fā)數(shù)學(xué)界大震蕩的羅素悖論
    羅素悖論與羅素定理
    被遮蔽的邏輯謂詞
    ——論胡好對(duì)邏輯謂詞的誤讀
    黨項(xiàng)語謂詞前綴的分裂式
    西夏研究(2020年2期)2020-06-01 05:19:12
    論經(jīng)濟(jì)學(xué)中的公理化方法
    根據(jù)微積分理論來認(rèn)識(shí)康托集合論的錯(cuò)誤
    對(duì)外漢語教學(xué)中的數(shù)學(xué)方法
    也談“語言是存在的家”——從語言的主詞與謂詞看存在的殊相與共相
    基于獨(dú)立公理的離散制造系統(tǒng)精益設(shè)計(jì)公理化映射研究
    基于哲學(xué)邏輯的集合論研究
    国产精品伦人一区二区| 男人的好看免费观看在线视频| 一二三四社区在线视频社区8| 欧美又色又爽又黄视频| 日韩精品中文字幕看吧| 亚洲在线观看片| 欧美日韩亚洲国产一区二区在线观看| 给我免费播放毛片高清在线观看| а√天堂www在线а√下载| 亚洲熟妇中文字幕五十中出| 在线观看一区二区三区| 国产三级中文精品| 成人特级黄色片久久久久久久| 一本综合久久免费| 国产在线男女| 精品99又大又爽又粗少妇毛片 | 黄色日韩在线| 韩国av一区二区三区四区| 国内精品久久久久精免费| 亚洲avbb在线观看| 97超级碰碰碰精品色视频在线观看| 嫁个100分男人电影在线观看| 免费搜索国产男女视频| 少妇裸体淫交视频免费看高清| 日本精品一区二区三区蜜桃| 亚洲综合色惰| 一级a爱片免费观看的视频| 精品人妻偷拍中文字幕| 久久香蕉精品热| 国产精品一区二区三区四区免费观看 | av在线观看视频网站免费| 免费看光身美女| 少妇熟女aⅴ在线视频| 国产成人欧美在线观看| 美女 人体艺术 gogo| 亚洲人与动物交配视频| 亚洲av第一区精品v没综合| 精品久久久久久久人妻蜜臀av| 国产精品永久免费网站| 欧美3d第一页| 中文字幕精品亚洲无线码一区| 一本久久中文字幕| 嫩草影院入口| 91在线精品国自产拍蜜月| 丰满乱子伦码专区| 亚洲av成人av| 九九久久精品国产亚洲av麻豆| 中文字幕人成人乱码亚洲影| 麻豆成人午夜福利视频| а√天堂www在线а√下载| 超碰av人人做人人爽久久| 国产欧美日韩精品亚洲av| 亚洲综合色惰| 一进一出好大好爽视频| 国产蜜桃级精品一区二区三区| 亚洲国产精品sss在线观看| 97碰自拍视频| 91字幕亚洲| 亚洲 欧美 日韩 在线 免费| 亚洲精品一卡2卡三卡4卡5卡| 伊人久久精品亚洲午夜| 亚洲成av人片在线播放无| 小蜜桃在线观看免费完整版高清| 在线播放国产精品三级| 亚洲美女搞黄在线观看 | 欧美乱色亚洲激情| 91九色精品人成在线观看| 亚洲av中文字字幕乱码综合| 亚洲欧美日韩高清在线视频| 亚洲在线观看片| 精品一区二区三区av网在线观看| 99热这里只有精品一区| 特大巨黑吊av在线直播| 国产精品久久久久久久久免 | av黄色大香蕉| 直男gayav资源| av黄色大香蕉| 老师上课跳d突然被开到最大视频 久久午夜综合久久蜜桃 | 成人美女网站在线观看视频| 脱女人内裤的视频| 国产在线精品亚洲第一网站| 久久久久精品国产欧美久久久| 99久久成人亚洲精品观看| 精品久久久久久成人av| 内地一区二区视频在线| 精品午夜福利视频在线观看一区| 最新在线观看一区二区三区| 五月玫瑰六月丁香| 两性午夜刺激爽爽歪歪视频在线观看| av黄色大香蕉| 在线国产一区二区在线| 午夜福利在线观看吧| 一卡2卡三卡四卡精品乱码亚洲| 精品午夜福利在线看| 麻豆av噜噜一区二区三区| 午夜福利免费观看在线| 99久久九九国产精品国产免费| 特大巨黑吊av在线直播| 久久6这里有精品| 精品人妻视频免费看| 午夜日韩欧美国产| 亚洲一区高清亚洲精品| 久久久精品欧美日韩精品| 亚洲国产精品sss在线观看| 国产熟女xx| 美女高潮的动态| 男女视频在线观看网站免费| 床上黄色一级片| 亚洲综合色惰| 一级a爱片免费观看的视频| 国产白丝娇喘喷水9色精品| 亚洲三级黄色毛片| 欧美3d第一页| 18美女黄网站色大片免费观看| 国产私拍福利视频在线观看| 亚洲中文字幕日韩| 精品人妻熟女av久视频| 九九在线视频观看精品| 成人午夜高清在线视频| 欧美日韩瑟瑟在线播放| 国产黄色小视频在线观看| 欧美绝顶高潮抽搐喷水| 国产精品久久视频播放| 亚洲电影在线观看av| 午夜福利视频1000在线观看| 国产精品亚洲一级av第二区| 丰满乱子伦码专区| 亚洲无线观看免费| 日韩亚洲欧美综合| 久久久久久久精品吃奶| 99国产综合亚洲精品| 天堂动漫精品| 久久中文看片网| 3wmmmm亚洲av在线观看| 久久人人精品亚洲av| 我的老师免费观看完整版| 欧美不卡视频在线免费观看| 国产亚洲精品综合一区在线观看| 亚洲第一电影网av| 中出人妻视频一区二区| 欧美丝袜亚洲另类 | 一个人免费在线观看电影| 久久久久久久久久黄片| 搡老岳熟女国产| 午夜福利高清视频| 国产精品一区二区性色av| 亚洲专区国产一区二区| 看黄色毛片网站| 天堂影院成人在线观看| 91麻豆av在线| 午夜免费激情av| 国产黄色小视频在线观看| a级毛片a级免费在线| 五月玫瑰六月丁香| a级毛片a级免费在线| 美女高潮喷水抽搐中文字幕| 91av网一区二区| 欧美日本亚洲视频在线播放| 国产午夜福利久久久久久| 亚洲最大成人中文| 免费一级毛片在线播放高清视频| 亚洲男人的天堂狠狠| 99热6这里只有精品| 别揉我奶头~嗯~啊~动态视频| 女人十人毛片免费观看3o分钟| 国产欧美日韩精品亚洲av| 欧美日本亚洲视频在线播放| 日本黄色视频三级网站网址| av专区在线播放| 99在线视频只有这里精品首页| 偷拍熟女少妇极品色| 99在线人妻在线中文字幕| 亚州av有码| 97人妻精品一区二区三区麻豆| 国产一级毛片七仙女欲春2| 熟女电影av网| 免费无遮挡裸体视频| 国产精品99久久久久久久久| 日韩国内少妇激情av| 日韩欧美在线乱码| 国产亚洲精品综合一区在线观看| 亚洲中文日韩欧美视频| 免费人成在线观看视频色| 免费人成在线观看视频色| 欧美潮喷喷水| 怎么达到女性高潮| 精品国内亚洲2022精品成人| 中文字幕人妻熟人妻熟丝袜美| 国产高清三级在线| 国产综合懂色| 99热精品在线国产| 日本一本二区三区精品| 观看免费一级毛片| 又爽又黄a免费视频| 啦啦啦韩国在线观看视频| 搡老熟女国产l中国老女人| 人人妻人人看人人澡| 波多野结衣巨乳人妻| 欧美潮喷喷水| 国产探花在线观看一区二区| 可以在线观看毛片的网站| 波多野结衣巨乳人妻| 特级一级黄色大片| 国产伦一二天堂av在线观看| 特级一级黄色大片| h日本视频在线播放| 99久久九九国产精品国产免费| 久久国产精品影院| 国产三级中文精品| 搡老岳熟女国产| 最新中文字幕久久久久| 日本精品一区二区三区蜜桃| 综合色av麻豆| 精品久久久久久久末码| 午夜精品久久久久久毛片777| 毛片女人毛片| 亚洲精品久久国产高清桃花| av女优亚洲男人天堂| 给我免费播放毛片高清在线观看| 午夜亚洲福利在线播放| 午夜a级毛片| 亚洲av五月六月丁香网| 国产成人影院久久av| 午夜福利在线观看免费完整高清在 | av欧美777| 成人精品一区二区免费| a级一级毛片免费在线观看| 国产淫片久久久久久久久 | 桃色一区二区三区在线观看| 精品久久久久久久久久久久久| 精品久久久久久久久久久久久| 国产亚洲精品av在线| 色5月婷婷丁香| 熟妇人妻久久中文字幕3abv| 欧美不卡视频在线免费观看| 午夜福利在线在线| 午夜精品一区二区三区免费看| 赤兔流量卡办理| 国产午夜福利久久久久久| 免费看a级黄色片| 亚州av有码| 亚洲狠狠婷婷综合久久图片| 国产亚洲精品久久久com| 老师上课跳d突然被开到最大视频 久久午夜综合久久蜜桃 | 男女下面进入的视频免费午夜| 90打野战视频偷拍视频| 久久天躁狠狠躁夜夜2o2o| 又爽又黄无遮挡网站| 国内精品久久久久精免费| 成人国产综合亚洲| 一a级毛片在线观看| 欧美成人a在线观看| 亚洲三级黄色毛片| 黄色女人牲交| 在线免费观看不下载黄p国产 | 亚洲片人在线观看| 国产视频内射| 国语自产精品视频在线第100页| 亚洲内射少妇av| 色av中文字幕| 亚洲成人精品中文字幕电影| 简卡轻食公司| 亚洲中文字幕日韩| 国产精品久久久久久人妻精品电影| 欧美国产日韩亚洲一区| 村上凉子中文字幕在线| 国产欧美日韩一区二区精品| 亚洲经典国产精华液单 | 在线国产一区二区在线| 久久精品国产亚洲av香蕉五月| 欧美xxxx性猛交bbbb| 亚洲精品一卡2卡三卡4卡5卡| 色综合站精品国产| 国产又黄又爽又无遮挡在线| 久久国产乱子免费精品| 日韩亚洲欧美综合| 在线观看免费视频日本深夜| 欧美性猛交╳xxx乱大交人| 老女人水多毛片| 人人妻人人澡欧美一区二区| 欧美色视频一区免费| 久久久久免费精品人妻一区二区| 亚洲av成人av| 国产大屁股一区二区在线视频| 国产三级在线视频| 日韩 亚洲 欧美在线| 亚洲人成网站在线播放欧美日韩| 岛国在线免费视频观看| 18+在线观看网站| 日本 av在线| 久99久视频精品免费| 国产精品1区2区在线观看.| 嫩草影院精品99| 国产精品一区二区免费欧美| 午夜a级毛片| 欧美xxxx性猛交bbbb| 一区二区三区激情视频| 毛片一级片免费看久久久久 | 91狼人影院| 国产精品一区二区三区四区久久| av黄色大香蕉| 18禁黄网站禁片免费观看直播| av女优亚洲男人天堂| h日本视频在线播放| 中文字幕熟女人妻在线| 国产欧美日韩精品一区二区| 亚州av有码| 日本三级黄在线观看| av在线观看视频网站免费| 久久久国产成人免费| 看十八女毛片水多多多| 69人妻影院| 亚洲午夜理论影院| 国产精品爽爽va在线观看网站| 国内精品久久久久精免费| www.色视频.com| 首页视频小说图片口味搜索| 在线观看av片永久免费下载| 国产欧美日韩一区二区精品| 国产极品精品免费视频能看的| 51午夜福利影视在线观看| 赤兔流量卡办理| 长腿黑丝高跟| 男女那种视频在线观看| 亚洲美女视频黄频| 精品午夜福利视频在线观看一区| 亚洲欧美日韩无卡精品| 国产视频内射| 自拍偷自拍亚洲精品老妇| 99在线视频只有这里精品首页| h日本视频在线播放| 日本a在线网址| 亚洲中文日韩欧美视频| 九九热线精品视视频播放| 精品久久久久久久久久免费视频| 国产高清激情床上av| 首页视频小说图片口味搜索| 午夜福利18| 亚洲人与动物交配视频| 身体一侧抽搐| 在线观看午夜福利视频| 波野结衣二区三区在线| 日韩av在线大香蕉| 又黄又爽又免费观看的视频| 国产黄色小视频在线观看| 韩国av一区二区三区四区| 亚洲av日韩精品久久久久久密| 九色国产91popny在线| 亚洲精品一区av在线观看| 精品欧美国产一区二区三| 精品不卡国产一区二区三区| 亚洲av熟女| 亚洲va日本ⅴa欧美va伊人久久| 99在线人妻在线中文字幕| 久久人妻av系列| 香蕉av资源在线| 亚洲男人的天堂狠狠| 国产真实伦视频高清在线观看 | 中文字幕av在线有码专区| 3wmmmm亚洲av在线观看| 亚洲欧美精品综合久久99| 欧美日本亚洲视频在线播放| 麻豆av噜噜一区二区三区| 日韩人妻高清精品专区| 可以在线观看的亚洲视频| 亚洲一区二区三区色噜噜| 18禁裸乳无遮挡免费网站照片| 亚洲av五月六月丁香网| 国产亚洲欧美在线一区二区| 99精品在免费线老司机午夜| 久久久久久久久久黄片| 久久人妻av系列| 我的女老师完整版在线观看| 久久久久久久亚洲中文字幕 | 日本一本二区三区精品| 欧美bdsm另类| 亚洲av电影不卡..在线观看| 3wmmmm亚洲av在线观看| 午夜福利成人在线免费观看| 午夜福利欧美成人| 欧美日韩亚洲国产一区二区在线观看| av国产免费在线观看| 美女高潮的动态| 午夜福利18| 亚洲一区高清亚洲精品| 亚洲美女黄片视频| 亚洲欧美精品综合久久99| 欧美在线黄色| 亚洲国产精品久久男人天堂| 黄色女人牲交| 日本一本二区三区精品| 99在线人妻在线中文字幕| 成人一区二区视频在线观看| 女生性感内裤真人,穿戴方法视频| 可以在线观看毛片的网站| 麻豆国产97在线/欧美| 国内精品久久久久精免费| 天堂√8在线中文| 亚洲午夜理论影院| 久久精品国产亚洲av香蕉五月| 男插女下体视频免费在线播放| 在线观看舔阴道视频| 日韩欧美一区二区三区在线观看| 有码 亚洲区| 亚洲精品乱码久久久v下载方式| 每晚都被弄得嗷嗷叫到高潮| 观看美女的网站| 国产精品日韩av在线免费观看| 久久久久国内视频| 免费av观看视频| 久久精品人妻少妇| 国产精品精品国产色婷婷| 亚洲精品乱码久久久v下载方式| 神马国产精品三级电影在线观看| 国产高清有码在线观看视频| 中文字幕av在线有码专区| 变态另类丝袜制服| 真实男女啪啪啪动态图| 欧美又色又爽又黄视频| 女人十人毛片免费观看3o分钟| 欧美日本视频| 一级a爱片免费观看的视频| 嫩草影院精品99| 午夜福利成人在线免费观看| 欧美又色又爽又黄视频| 欧美bdsm另类| 老司机午夜十八禁免费视频| 国产亚洲精品久久久久久毛片| 国内毛片毛片毛片毛片毛片| 精品国内亚洲2022精品成人| 久久精品久久久久久噜噜老黄 | 在线观看一区二区三区| 精品久久久久久久久久久久久| 欧美黄色片欧美黄色片| 午夜视频国产福利| 丰满乱子伦码专区| 国产伦在线观看视频一区| av视频在线观看入口| 白带黄色成豆腐渣| 高清毛片免费观看视频网站| 两个人的视频大全免费| 午夜激情欧美在线| 精品久久久久久久久亚洲 | 欧美区成人在线视频| 中国美女看黄片| 国产一区二区三区视频了| 精品人妻熟女av久视频| 少妇人妻一区二区三区视频| 亚洲美女搞黄在线观看 | 午夜影院日韩av| 欧美极品一区二区三区四区| 久久久久久久久大av| 亚洲黑人精品在线| 看十八女毛片水多多多| 欧美乱妇无乱码| 亚洲精品亚洲一区二区| 亚洲精品456在线播放app | 久久6这里有精品| 欧美日韩综合久久久久久 | 又爽又黄无遮挡网站| 亚洲成人中文字幕在线播放| 国内久久婷婷六月综合欲色啪| 黄片小视频在线播放| 国产精品野战在线观看| 最近中文字幕高清免费大全6 | 麻豆久久精品国产亚洲av| 99riav亚洲国产免费| ponron亚洲| 99久久精品国产亚洲精品| 少妇人妻一区二区三区视频| 精品人妻一区二区三区麻豆 | 精品人妻偷拍中文字幕| 日本黄色片子视频| 国产精品久久久久久精品电影| 老女人水多毛片| 成年女人永久免费观看视频| 国产精品亚洲美女久久久| 国产伦人伦偷精品视频| .国产精品久久| 国产亚洲精品久久久com| 男人舔奶头视频| 91麻豆av在线| 婷婷六月久久综合丁香| 国产aⅴ精品一区二区三区波| АⅤ资源中文在线天堂| 9191精品国产免费久久| 久久6这里有精品| 动漫黄色视频在线观看| 非洲黑人性xxxx精品又粗又长| 日韩欧美精品v在线| 蜜桃久久精品国产亚洲av| 天堂动漫精品| 熟妇人妻久久中文字幕3abv| 嫁个100分男人电影在线观看| 国产免费一级a男人的天堂| 麻豆av噜噜一区二区三区| 3wmmmm亚洲av在线观看| 国产色婷婷99| 搡老妇女老女人老熟妇| 亚洲人成网站在线播放欧美日韩| 青草久久国产| 91午夜精品亚洲一区二区三区 | 久久精品国产亚洲av涩爱 | 成人高潮视频无遮挡免费网站| 午夜福利在线观看吧| 在线观看av片永久免费下载| 校园春色视频在线观看| 欧美黑人欧美精品刺激| 亚洲,欧美,日韩| 亚洲黑人精品在线| 国产爱豆传媒在线观看| 欧美极品一区二区三区四区| 国产国拍精品亚洲av在线观看| 免费av观看视频| 日本 欧美在线| 久久热精品热| 欧洲精品卡2卡3卡4卡5卡区| 国产高清视频在线观看网站| 久久久久免费精品人妻一区二区| a在线观看视频网站| 国产精品综合久久久久久久免费| 久久草成人影院| 我的女老师完整版在线观看| 91在线观看av| 俺也久久电影网| 国产三级中文精品| www.熟女人妻精品国产| 亚洲最大成人av| 天天一区二区日本电影三级| 1024手机看黄色片| 日韩欧美精品v在线| 真实男女啪啪啪动态图| a级毛片免费高清观看在线播放| 成人高潮视频无遮挡免费网站| 在现免费观看毛片| av国产免费在线观看| 又黄又爽又刺激的免费视频.| 久久久精品欧美日韩精品| h日本视频在线播放| 日韩 亚洲 欧美在线| 亚洲片人在线观看| a级一级毛片免费在线观看| 99久久无色码亚洲精品果冻| 大型黄色视频在线免费观看| x7x7x7水蜜桃| 久久99热这里只有精品18| 啦啦啦韩国在线观看视频| 欧美日韩乱码在线| av在线蜜桃| 成年女人毛片免费观看观看9| 免费电影在线观看免费观看| 国产精品亚洲美女久久久| 久久九九热精品免费| 国产真实伦视频高清在线观看 | 欧美日韩黄片免| 一级黄片播放器| 亚洲av.av天堂| 好看av亚洲va欧美ⅴa在| 国产精华一区二区三区| 久久国产乱子免费精品| 免费观看精品视频网站| 欧美成人性av电影在线观看| 1000部很黄的大片| 亚洲欧美精品综合久久99| 九色成人免费人妻av| 在线播放无遮挡| 午夜福利视频1000在线观看| 午夜影院日韩av| 久久久精品大字幕| 日日夜夜操网爽| 久久精品综合一区二区三区| 国产亚洲精品综合一区在线观看| 免费观看人在逋| 麻豆一二三区av精品| 国产私拍福利视频在线观看| 中文字幕免费在线视频6| 亚洲国产精品sss在线观看| 如何舔出高潮| 色综合亚洲欧美另类图片| 日本在线视频免费播放| 亚洲精品色激情综合| 亚洲午夜理论影院| 免费人成视频x8x8入口观看| 99视频精品全部免费 在线| 最近在线观看免费完整版| 男人舔奶头视频| 精品久久久久久成人av| 在线免费观看的www视频| 精品国内亚洲2022精品成人| 免费看美女性在线毛片视频| 亚洲va日本ⅴa欧美va伊人久久| www.www免费av| 一进一出抽搐gif免费好疼| 女人被狂操c到高潮| 亚洲美女视频黄频| 亚洲三级黄色毛片| 一级毛片久久久久久久久女| 在线十欧美十亚洲十日本专区| 久久久久九九精品影院| 国产三级中文精品| 成熟少妇高潮喷水视频| 美女黄网站色视频| 脱女人内裤的视频| 成人特级av手机在线观看| 欧美日本视频| 18美女黄网站色大片免费观看| 小说图片视频综合网站| 一级作爱视频免费观看| 自拍偷自拍亚洲精品老妇| 精品人妻一区二区三区麻豆 | 精品人妻视频免费看| 天堂av国产一区二区熟女人妻| 久久午夜福利片| 亚洲成人中文字幕在线播放| 国产激情偷乱视频一区二区|