• <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é)邏輯的集合論研究
    日本av手机在线免费观看| 一级毛片 在线播放| 国产一区二区亚洲精品在线观看| 久久国内精品自在自线图片| 18禁动态无遮挡网站| 亚洲国产日韩欧美精品在线观看| 日韩一本色道免费dvd| 日本午夜av视频| 在线免费观看的www视频| 日日摸夜夜添夜夜爱| 2021少妇久久久久久久久久久| 丝瓜视频免费看黄片| 欧美激情国产日韩精品一区| 自拍偷自拍亚洲精品老妇| 亚洲内射少妇av| 99久久精品国产国产毛片| 狠狠精品人妻久久久久久综合| 亚洲精品久久久久久婷婷小说| 国内揄拍国产精品人妻在线| 视频中文字幕在线观看| 欧美丝袜亚洲另类| av专区在线播放| 成年女人看的毛片在线观看| 久久99热这里只有精品18| 偷拍熟女少妇极品色| 少妇人妻精品综合一区二区| 精品一区二区三卡| av在线蜜桃| 美女黄网站色视频| 最后的刺客免费高清国语| 亚洲久久久久久中文字幕| 久久久久国产网址| 国产一区二区在线观看日韩| 啦啦啦中文免费视频观看日本| 国产成人aa在线观看| 亚洲三级黄色毛片| 身体一侧抽搐| 国产国拍精品亚洲av在线观看| 99久久精品国产国产毛片| av黄色大香蕉| 伦理电影大哥的女人| av免费观看日本| 搡老乐熟女国产| 亚洲成人久久爱视频| 久久精品熟女亚洲av麻豆精品 | 久久精品久久久久久噜噜老黄| 少妇裸体淫交视频免费看高清| 青春草国产在线视频| 久久久欧美国产精品| 日韩人妻高清精品专区| 成人特级av手机在线观看| 成人av在线播放网站| 啦啦啦韩国在线观看视频| 国产精品一区二区性色av| 国产欧美另类精品又又久久亚洲欧美| 国产亚洲精品久久久com| av黄色大香蕉| 全区人妻精品视频| 国产 亚洲一区二区三区 | 丝袜美腿在线中文| 特大巨黑吊av在线直播| 伦理电影大哥的女人| 日韩不卡一区二区三区视频在线| 久久97久久精品| 欧美日韩亚洲高清精品| 国产白丝娇喘喷水9色精品| 免费高清在线观看视频在线观看| 国产综合精华液| 麻豆乱淫一区二区| 熟妇人妻久久中文字幕3abv| 日本午夜av视频| 两个人视频免费观看高清| 国产免费福利视频在线观看| www.色视频.com| videossex国产| 日日啪夜夜爽| 亚洲成人av在线免费| 国产成人91sexporn| 最后的刺客免费高清国语| 国产 一区 欧美 日韩| 欧美三级亚洲精品| 国产一区亚洲一区在线观看| 精品一区二区三区视频在线| 国产又色又爽无遮挡免| 欧美日韩在线观看h| 国产黄色小视频在线观看| 国产精品伦人一区二区| 人妻制服诱惑在线中文字幕| 色综合亚洲欧美另类图片| 国语对白做爰xxxⅹ性视频网站| 国产综合懂色| 边亲边吃奶的免费视频| or卡值多少钱| 国产一级毛片在线| 老司机影院毛片| 久久久久久久久大av| 禁无遮挡网站| 日韩一区二区视频免费看| 男女啪啪激烈高潮av片| 久久综合国产亚洲精品| 亚洲久久久久久中文字幕| 三级男女做爰猛烈吃奶摸视频| 日日撸夜夜添| 国内精品宾馆在线| 少妇的逼水好多| 国产黄频视频在线观看| 一二三四中文在线观看免费高清| 尤物成人国产欧美一区二区三区| 人妻夜夜爽99麻豆av| 色哟哟·www| 韩国av在线不卡| 欧美+日韩+精品| 97人妻精品一区二区三区麻豆| 日韩av在线大香蕉| 免费黄频网站在线观看国产| 欧美精品一区二区大全| 一级二级三级毛片免费看| 男人狂女人下面高潮的视频| 色网站视频免费| 亚洲18禁久久av| 能在线免费观看的黄片| 亚洲精华国产精华液的使用体验| 2021天堂中文幕一二区在线观| 校园人妻丝袜中文字幕| 内地一区二区视频在线| 寂寞人妻少妇视频99o| 国产黄a三级三级三级人| 韩国av在线不卡| 日本熟妇午夜| 美女国产视频在线观看| 熟女人妻精品中文字幕| 人妻一区二区av| 欧美bdsm另类| 久久国内精品自在自线图片| 国产精品不卡视频一区二区| 哪个播放器可以免费观看大片| 一区二区三区四区激情视频| 欧美 日韩 精品 国产| 免费观看精品视频网站| 国产精品国产三级专区第一集| 亚洲国产精品专区欧美| 亚洲精品国产av成人精品| 亚洲三级黄色毛片| 国产三级在线视频| 亚洲高清免费不卡视频| 国产欧美日韩精品一区二区| 深夜a级毛片| 大片免费播放器 马上看| 国产成人a区在线观看| 久久精品人妻少妇| 69av精品久久久久久| 老女人水多毛片| 国产爱豆传媒在线观看| 日本爱情动作片www.在线观看| 国产乱人偷精品视频| 国产高潮美女av| 久久精品综合一区二区三区| 欧美极品一区二区三区四区| 国内精品美女久久久久久| 少妇的逼好多水| 三级国产精品片| 天天一区二区日本电影三级| 亚洲av免费在线观看| 三级毛片av免费| 日韩,欧美,国产一区二区三区| 亚洲av.av天堂| 精品人妻熟女av久视频| www.av在线官网国产| 在线免费观看的www视频| 51国产日韩欧美| 精品国内亚洲2022精品成人| 日本与韩国留学比较| 午夜福利在线观看吧| 成年女人在线观看亚洲视频 | 青春草亚洲视频在线观看| 亚洲久久久久久中文字幕| 寂寞人妻少妇视频99o| 国产精品精品国产色婷婷| 久久久久久久国产电影| 日韩欧美 国产精品| 在线观看美女被高潮喷水网站| 亚洲精品一区蜜桃| 男女啪啪激烈高潮av片| 一二三四中文在线观看免费高清| 99久久精品一区二区三区| 亚洲精品日韩av片在线观看| 日本欧美国产在线视频| 亚洲在久久综合| 美女黄网站色视频| 成人二区视频| 国产一级毛片七仙女欲春2| 我要看日韩黄色一级片| 乱码一卡2卡4卡精品| 91午夜精品亚洲一区二区三区| 成人午夜高清在线视频| 精品一区二区三卡| 免费播放大片免费观看视频在线观看| 久99久视频精品免费| 欧美日本视频| 99热网站在线观看| 成人鲁丝片一二三区免费| 最近中文字幕2019免费版| 欧美另类一区| 尤物成人国产欧美一区二区三区| 免费看a级黄色片| 国产精品久久视频播放| 中文资源天堂在线| 亚洲av免费在线观看| 女人被狂操c到高潮| 肉色欧美久久久久久久蜜桃 | 久久精品久久久久久久性| .国产精品久久| 国产精品三级大全| av线在线观看网站| 日韩精品青青久久久久久| 美女内射精品一级片tv| 中文资源天堂在线| 日韩欧美三级三区| 丝袜喷水一区| 精品人妻视频免费看| 国产精品久久久久久av不卡| 赤兔流量卡办理| 日韩不卡一区二区三区视频在线| 99热全是精品| 色网站视频免费| 欧美性猛交╳xxx乱大交人| 国产大屁股一区二区在线视频| 2021天堂中文幕一二区在线观| 久久久久九九精品影院| 天天一区二区日本电影三级| 丰满乱子伦码专区| 色尼玛亚洲综合影院| freevideosex欧美| 国内精品宾馆在线| 亚洲av二区三区四区| 国产亚洲最大av| 伊人久久国产一区二区| 日本色播在线视频| 精品人妻熟女av久视频| 夜夜看夜夜爽夜夜摸| 亚洲精品久久午夜乱码| 小蜜桃在线观看免费完整版高清| 国产精品国产三级国产av玫瑰| 色视频www国产| 亚洲国产高清在线一区二区三| 欧美日韩视频高清一区二区三区二| 一级爰片在线观看| 欧美bdsm另类| 亚洲一区高清亚洲精品| ponron亚洲| 国产成人a∨麻豆精品| 免费看不卡的av| 亚洲av.av天堂| 男人狂女人下面高潮的视频| 日韩精品青青久久久久久| 亚洲精品国产av成人精品| 不卡视频在线观看欧美| 男女国产视频网站| 国产 一区 欧美 日韩| 日本午夜av视频| 国产美女午夜福利| 国产午夜福利久久久久久| 日日干狠狠操夜夜爽| 成人午夜精彩视频在线观看| 我的女老师完整版在线观看| 女的被弄到高潮叫床怎么办| 只有这里有精品99| 人妻少妇偷人精品九色| 夜夜看夜夜爽夜夜摸| 国产高清有码在线观看视频| 人妻一区二区av| 精品久久久久久久久av| 又黄又爽又刺激的免费视频.| 精品久久久久久久久亚洲| 熟女人妻精品中文字幕| 寂寞人妻少妇视频99o| 性插视频无遮挡在线免费观看| 中国美白少妇内射xxxbb| 777米奇影视久久| 欧美成人午夜免费资源| 黄片无遮挡物在线观看| 国产成人aa在线观看| 肉色欧美久久久久久久蜜桃 | 免费黄网站久久成人精品| 免费高清在线观看视频在线观看| 成年人午夜在线观看视频 | 日本免费a在线| 日韩电影二区| 国产亚洲91精品色在线| 亚洲人成网站高清观看| 亚洲av成人精品一二三区| 日本黄色片子视频| 婷婷色麻豆天堂久久| 男人和女人高潮做爰伦理| 网址你懂的国产日韩在线| 亚洲av电影在线观看一区二区三区 | 久久午夜福利片| 特级一级黄色大片| 久久久精品欧美日韩精品| 大又大粗又爽又黄少妇毛片口| 国产伦精品一区二区三区视频9| 韩国高清视频一区二区三区| 2022亚洲国产成人精品| 亚洲成人久久爱视频| 国产精品.久久久| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 日韩中字成人| 嫩草影院新地址| 亚洲图色成人| av.在线天堂| av一本久久久久| 18禁动态无遮挡网站| 肉色欧美久久久久久久蜜桃 | 国产高清有码在线观看视频| 丝袜喷水一区| 日日啪夜夜撸| 免费观看无遮挡的男女| 国产综合懂色| 婷婷色麻豆天堂久久| 国产精品久久久久久av不卡| 国产欧美日韩精品一区二区| 国产一区二区在线观看日韩| 一本一本综合久久| 赤兔流量卡办理| 男人舔女人下体高潮全视频| 久久6这里有精品| 精品久久久久久久久久久久久| 一级毛片黄色毛片免费观看视频| 美女内射精品一级片tv| av福利片在线观看| 97热精品久久久久久| 免费大片黄手机在线观看| 国产精品女同一区二区软件| 色5月婷婷丁香| 色综合站精品国产| 免费人成在线观看视频色| 亚洲精品色激情综合| av黄色大香蕉| 在线免费观看的www视频| 99久久人妻综合| 五月伊人婷婷丁香| 晚上一个人看的免费电影| 亚洲欧美日韩无卡精品| 欧美 日韩 精品 国产| 国产一区二区三区av在线| 亚洲精品第二区| 国内少妇人妻偷人精品xxx网站| 好男人在线观看高清免费视频| 国产午夜福利久久久久久| 国产在视频线精品| 熟女电影av网| 午夜精品在线福利| 国产高潮美女av| 国产淫片久久久久久久久| 永久网站在线| 国产精品久久久久久精品电影小说 | 只有这里有精品99| 看非洲黑人一级黄片| 午夜激情欧美在线| 午夜久久久久精精品| freevideosex欧美| 春色校园在线视频观看| 亚洲在久久综合| 国产亚洲午夜精品一区二区久久 | 亚洲怡红院男人天堂| 成年免费大片在线观看| 纵有疾风起免费观看全集完整版 | 天堂网av新在线| 你懂的网址亚洲精品在线观看| 亚洲国产欧美在线一区| 国产视频内射| 国产成人freesex在线| 看非洲黑人一级黄片| 婷婷色av中文字幕| 免费人成在线观看视频色| 欧美日韩一区二区视频在线观看视频在线 | 99热全是精品| 熟妇人妻久久中文字幕3abv| 国产真实伦视频高清在线观看| 六月丁香七月| 日日啪夜夜爽| 身体一侧抽搐| 九色成人免费人妻av| 国产黄色视频一区二区在线观看| 日韩欧美一区视频在线观看 | 日日摸夜夜添夜夜爱| 少妇的逼水好多| 搡女人真爽免费视频火全软件| 五月天丁香电影| 女人久久www免费人成看片| 欧美一区二区亚洲| 丝袜喷水一区| 精华霜和精华液先用哪个| 亚洲最大成人手机在线| 精品少妇黑人巨大在线播放| 午夜激情久久久久久久| 99久国产av精品| 国产高潮美女av| 69人妻影院| 天堂av国产一区二区熟女人妻| 日韩制服骚丝袜av| 久久久久性生活片| 国产有黄有色有爽视频| 亚洲av成人av| 成人鲁丝片一二三区免费| 中文资源天堂在线| 久久久久精品久久久久真实原创| 老司机影院成人| 午夜久久久久精精品| 91av网一区二区| 久久久久精品性色| 亚洲经典国产精华液单| a级毛片免费高清观看在线播放| 午夜精品国产一区二区电影 | 高清视频免费观看一区二区 | 极品少妇高潮喷水抽搐| 国产乱人视频| 欧美激情在线99| 乱码一卡2卡4卡精品| 免费高清在线观看视频在线观看| av卡一久久| 少妇的逼水好多| 亚洲国产av新网站| 99热6这里只有精品| 国产免费福利视频在线观看| 国产免费视频播放在线视频 | 美女国产视频在线观看| 久久99热6这里只有精品| 亚洲av二区三区四区| 一级毛片电影观看| 亚洲久久久久久中文字幕| 日韩人妻高清精品专区| 午夜福利在线观看吧| 国产激情偷乱视频一区二区| 日韩制服骚丝袜av| 天堂俺去俺来也www色官网 | 日韩伦理黄色片| 国产黄色视频一区二区在线观看| 波野结衣二区三区在线| 97在线视频观看| 久久精品国产亚洲av天美| 精品人妻偷拍中文字幕| 亚洲国产精品成人综合色| a级一级毛片免费在线观看| 菩萨蛮人人尽说江南好唐韦庄| 美女高潮的动态| 日本熟妇午夜| 免费不卡的大黄色大毛片视频在线观看 | 韩国高清视频一区二区三区| www.av在线官网国产| 日本猛色少妇xxxxx猛交久久| 成人亚洲精品av一区二区| ponron亚洲| 午夜福利在线观看吧| 中国美白少妇内射xxxbb| 亚洲av福利一区| 亚洲av电影不卡..在线观看| 2022亚洲国产成人精品| 久久久久精品性色| 老司机影院毛片| 国产黄片视频在线免费观看| 亚洲在线观看片| 久久精品夜夜夜夜夜久久蜜豆| 日韩一区二区三区影片| 国产午夜福利久久久久久| 一级毛片我不卡| 黄色配什么色好看| 2021少妇久久久久久久久久久| 18禁在线无遮挡免费观看视频| 久久这里有精品视频免费| 草草在线视频免费看| 青春草国产在线视频| 我的老师免费观看完整版| 亚洲国产精品成人综合色| kizo精华| 精品久久久久久久久av| 日日啪夜夜爽| 国产精品国产三级专区第一集| 日韩欧美精品免费久久| 美女被艹到高潮喷水动态| 五月伊人婷婷丁香| 少妇熟女欧美另类| 你懂的网址亚洲精品在线观看| 日日干狠狠操夜夜爽| 午夜视频国产福利| 色吧在线观看| 欧美成人午夜免费资源| 久久精品人妻少妇| 成人无遮挡网站| av在线亚洲专区| 我的女老师完整版在线观看| 婷婷色av中文字幕| 三级国产精品欧美在线观看| 国产免费视频播放在线视频 | 美女国产视频在线观看| 美女高潮的动态| 一区二区三区高清视频在线| 嫩草影院入口| 伦精品一区二区三区| 国产精品人妻久久久影院| 中文字幕免费在线视频6| 久久久午夜欧美精品| 国产片特级美女逼逼视频| 国产男女超爽视频在线观看| 我要看日韩黄色一级片| 午夜精品一区二区三区免费看| 天堂av国产一区二区熟女人妻| 黄片无遮挡物在线观看| 五月天丁香电影| 国产白丝娇喘喷水9色精品| 国产精品爽爽va在线观看网站| 亚洲av电影不卡..在线观看| 天天躁夜夜躁狠狠久久av| av国产久精品久网站免费入址| 国产伦理片在线播放av一区| 亚洲熟妇中文字幕五十中出| 成人亚洲精品av一区二区| 男人舔奶头视频| 99久久精品国产国产毛片| www.av在线官网国产| 日韩强制内射视频| 国产成人精品一,二区| 国内揄拍国产精品人妻在线| 国产乱来视频区| 亚洲精品aⅴ在线观看| 好男人视频免费观看在线| 国产伦一二天堂av在线观看| 日本猛色少妇xxxxx猛交久久| 黄色欧美视频在线观看| 亚洲一级一片aⅴ在线观看| 亚洲精品一区蜜桃| 亚洲av成人精品一二三区| 国产91av在线免费观看| 亚洲国产精品sss在线观看| 少妇人妻精品综合一区二区| 白带黄色成豆腐渣| 中国国产av一级| 天堂网av新在线| 草草在线视频免费看| 人妻少妇偷人精品九色| 纵有疾风起免费观看全集完整版 | 丝瓜视频免费看黄片| 搡女人真爽免费视频火全软件| 亚洲av电影不卡..在线观看| 免费观看a级毛片全部| 禁无遮挡网站| 国产老妇女一区| 久久国内精品自在自线图片| 精品酒店卫生间| 国产av国产精品国产| 日本熟妇午夜| 一级二级三级毛片免费看| 亚洲精华国产精华液的使用体验| av一本久久久久| 国产亚洲精品av在线| 一级二级三级毛片免费看| 亚洲性久久影院| 日本免费a在线| 十八禁网站网址无遮挡 | 精品一区在线观看国产| 亚洲三级黄色毛片| 97超视频在线观看视频| 直男gayav资源| 国产伦精品一区二区三区视频9| 别揉我奶头 嗯啊视频| 国产成人91sexporn| 观看免费一级毛片| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 国产亚洲最大av| 国产成人午夜福利电影在线观看| 有码 亚洲区| 久久精品熟女亚洲av麻豆精品 | 亚洲婷婷狠狠爱综合网| 网址你懂的国产日韩在线| 在线观看免费高清a一片| 看十八女毛片水多多多| 在线观看免费高清a一片| 黄色日韩在线| videossex国产| 国产午夜福利久久久久久| 国产成人aa在线观看| 日韩av不卡免费在线播放| 日本一二三区视频观看| 人人妻人人澡人人爽人人夜夜 | 免费在线观看成人毛片| 国产精品一区二区在线观看99 | 嘟嘟电影网在线观看| 亚洲精品日韩av片在线观看| 晚上一个人看的免费电影| 日韩精品有码人妻一区| 精品亚洲乱码少妇综合久久| 亚洲国产av新网站| 欧美高清性xxxxhd video| 国内揄拍国产精品人妻在线| 精品久久久久久成人av| 久久99热这里只有精品18| 观看免费一级毛片| 2018国产大陆天天弄谢| 赤兔流量卡办理| 在线观看美女被高潮喷水网站| www.av在线官网国产| 亚洲国产最新在线播放| 国产免费福利视频在线观看| 国产片特级美女逼逼视频| av网站免费在线观看视频 | 如何舔出高潮| 看非洲黑人一级黄片| 精品久久久久久久久久久久久| 日韩三级伦理在线观看| 欧美变态另类bdsm刘玥| 在线观看美女被高潮喷水网站| 国产一区二区三区综合在线观看 | 毛片女人毛片| 两个人的视频大全免费| 亚洲国产最新在线播放|