階段
數學發展史數學的發展史大致可以分為四個時期。
數學形成時期，這是人類建立最基本的數學概念的時期。人類從數數開始逐漸建立了自然數的概念，簡單的計算法，並認識了最基本最簡單的幾何形式，算術與幾何還沒有分開。
初等數學，即常量數學時期。這個時期的基本的、最簡單的成果構成現在中學數學的主要內容。這個時期從公元前5世紀開始，也許更早一些，直到17世紀，大約持續了兩千年。這個時期逐漸形成了初等數學的主要分支：算數、幾何、代數、三角。
變數數學時期。變數數學產生於17世紀，大體上經歷了兩個決定性的重大步驟：第一步是解析幾何的產生；第二步是微積分【微積分（Calculus）是高等數學中研究函式的微分、積分以及有關概念和應用的數學分支。它是數學的一個基礎學科。內容主要包括極限、微分學、積分學及其應用。微分學包括求導數的運算，是一套關於變化率的理論。它使得函式、速度、加速度和曲線的斜率等均可用一套通用的符號進行討論。積分學，包括求積分的運算，為定義和計算面積、體積等提供一套通用的方法。】的創立。
現代數學。現代數學時期，大致從19世紀上半葉開始。數學發展的現代階段的開端，以其所有的基礎--------代數、幾何、分析中的深刻變化為特徵。
研究成果引言
中華民族是一個具有燦爛文化和悠久歷史的民族，在燦爛的文化瑰寶中數學在世界數學發展史中也同樣具有許多耀眼的光環。中國古代算數的許多研究成果裡面就早已孕育了後來西方數學才設計的先進思想方法，近代也有不少世界領先的數學研究成果就是以華人數學家命名的。
數學家李善蘭在級數求和方面的研究成果，在國際上被命名為【李氏恆定式】
“華氏定理”是中國著名數學家華羅庚的研究成果。 華氏定理為：體的半自同構必是自同構自同體或反同體。 數學家華羅庚關於完整三角和的研究成果被國際數學界稱為“華氏定理”；另外他與數學家王元提出多重積分近似計算的方法被國際上譽為“華—王方法”。
數學家蘇步青在仿射微分幾何學方面的研究成果在國際上被命名為“蘇氏錐面”。蘇步青院士對仿射微分幾何的一個極其美妙的發現是：他對一般的曲面，構做出一個訪射不變的4次（3階）代數錐面。在訪射的曲面理論中為人們許多協變幾何物件，包括2條主切曲線，3條達布切線，3條塞格雷切線和仿射法線等等，都可以由這個錐面和它的3根尖點直線以美妙的方式體現出來，形成一個十分引人入勝的構圖，這個錐面被命名為蘇氏錐面。
悖論
《古今數學思想》書中（第四冊45頁）：指出：“實數系的邏輯結構問題為十九世紀後葉所重視，無理數被認為是主要難點，然而無理數的意義與性質的發展預先假定了有理數系的建立，對無理數理論不同的貢獻者來說，或則認為有理數已為眾所確認，無須什麼基礎，或則認為只給出一些匆促而臨時應付的方案，…。（316頁）數學的第三種主要的哲學，稱為形式派（形式主義），它的領導人是希爾伯特，他從1904年開始從事於這種哲學工作，他在那時的動機是給數系提供一個不用集合論的基礎，並且確立算術相容性，因為他自己對於幾何的相容性的證明已約化成算術的相容性，算術的相容性就成了一個沒有解決的關鍵性問題，…。”，超限歸納法也不是徹底解決了算術問題。
自亞里士多德直至高斯先生人們都不承認實無限而只承認潛無限，《古今數學思想》書中(第四冊59頁)指出：“Gauss（高斯）於1831年7月12日給Schumacher（舒馬赫）的中說：我反對把一個無窮量當作實體，這在數學中是從來不允許的，無窮只是一種說話的方式，當人們確切地說到極限時，是指某些比值可以任意近地趨近它，而另一些則允許沒有界限地增加。”，Canchy，如他前人一樣，不承認無窮集合的存在，因為部分能夠同整體構成一一對應這件事，在他看來是矛盾的。
涉及集合的許多問題的爭論，是無休止的，並且捲入了形而上學的甚至是神學的辯論，大多數數學家對這個問題的態度是：不談他們自己所不能解決的問題，他們全都避免對實在無窮集合的明確承認，儘管他們使用無窮級數與實數系，他們會說到直線上的點，但避免說直線是由無窮多個點構成的，這樣迴避困難問題的方式是虛偽的，但這對於建立古典的分析確實足夠了，然而，當十九世紀面對在分析中建立嚴密性的問題時，關於無窮集合的許多問題就再也躲避不開了。
《古今數學思想》第四冊（50～51）書中也對引進無理數的方法提出了不同看法和質疑：“無理數的邏輯定義是頗有些不自然的，從邏輯上看，一個無理數不是簡單的一個符號，或一對符號，象兩個整數的比那樣，而是一個無窮的集合，如康托爾的基本序列或戴金的分割，邏輯地定義出來的無理數是一個智慧的怪物。
我們可以理解，為什麼希臘人和許多後繼的數學家都覺得這樣的數難以掌握”。
《古今數學思想》書中 (第四冊58頁) 指出：集合論裡的中心難點是無窮集合這個概念本身，從希臘時代以來，這樣的集合很自然地引起數學界與哲學界的注意，而這種集合的本質以及看來是矛盾的性質，使得對這種集合的理解，沒有任何進展，Zenode的悖論可能是難點的第一個跡象，既不是直線的無限可分性，也不是直線作為一個由離散的點構成的無窮集合，足以對運動作出合理的結論。Aristotle（亞里士多德）考慮過無窮集合，例如整數集合，但他不承認一個無窮集合可以作為固定的整體而存在，對他來說，集合只能是潛在地無窮。
《古今數學思想》第四冊（116頁）書中又說：“我們注意到，在過去曾經精力旺盛地熱情地從事過的許多領域，曾被它們的擁護者譽為數學的精髓所在，其實只不過是一時的愛好，或者在整個數學的征途上只留下少許的影響。（二十世紀）上半世紀有信心的數學家們可能會認為他們的工作是最重要的，然而，他們的貢獻在數學史上的地位，現在還是不能確定的，等語言，”。
羅素悖論、 康托爾悖論、數學基礎的“三大數學流派：
《古今數學思想》書中 (第四冊289頁) 指出：二十世紀數學中最為深入的活動，使關於基礎的探討，強加於數學家的問題，以及他們自願承擔的問題，不僅牽涉到數學的本質，也牽涉到演繹數學的正確性。
在這世紀的前期，有幾種活動匯合起來把基礎問題引到一個高潮，首先是矛盾的發現，委婉地被稱為悖論，在集合論中尤為突出。……。
《古今數學思想》書中 (第四冊290頁) 指出：“理髮師的悖論”，羅素在1918年把一個悖論通俗化成為“理髮師悖論”，一個鄉村理髮師，自誇無人可與相比，宣稱他當然不給自己刮臉的人刮臉，但卻給所有自己不刮臉的人刮臉，一天他發生了疑問，他是否應當給自己刮臉，假如他自己刮臉的話，則按他聲言的前一半，他就不應當給自己刮臉；但是假如他自己不刮臉的話，則照他自誇的，他又必須給自己刮臉，這理髮師陷入了邏輯的窘境。
《古今數學思想》書中 (第四冊291～292頁) 指出： 康托爾在1899年給戴金的一封信中曾指出，人們要想不陷入矛盾的話就不能談論由一切集合所組成的集合（第41章第9節），實質上這就是羅素的悖論的內容（《數學原理》），由一切人組成的類不是一個人，但由一切概念組成的類卻是一個概念；有一切圖書館組成的類是一個圖書館；由一切基數大於1的集合組成的類也是這樣一個集合。因此，有一些類不是它們自己的元素，而有一些則是它們自己的元素。這個對於類的描述，包括了一切類，並且這兩種型別是互相排斥的，我們用M表示一切包含自己為元素的那些類所組成的類，用N表示一切不包含自己為元素的那些類所組成的類，現在，N本身也是一個類，我們要問它是屬於M還是屬於N？若N屬於N，則N就是它自己的一個元素，因而又必須屬於M，另一方面，若N為M的一個元素，則因M和N是互相排斥的類，N就不會屬於N，於是N不是它自己的元素，因而由於N的定義，它應當屬於N。
所有這些悖論的起因，如羅素和懷特海指出的，都在於一個要定義的東西是用包含著這個東西在內一類東西來定義的，這種定義也稱為說不清的，特別發生在集合論中，策梅羅在1908年曾指出，一組數的下界的定義，以及分析中其它一些概念的定義，都是這種型別的定義，因此經典分析包含著悖論。
《古今數學思想》書中 (第四冊292頁) 指出：康托爾關於實數集合不可數的證明（第41章第7節）也用到了這樣一個說不清的集合，假定在所有正整陣列成的集合與所有實陣列成的集合M之間有一個一一對應，而每一個實數又對應於一組整數，於是每一個整數k都對應著一個集合f(k),而f(k)或是包含k或是不包含k，N為所有那些使k不屬於f(k)的k所組成的集合，這個集合N（取某一順序）為一個實數，因而，按假定的一一對應就應該有一個整數n對應於N，若n屬於N，則按N的定義，它將不屬於N；若n不屬於N，則按N的定義，它又應屬於N，集合N的定義是說不清的，這是因為要k屬於N，必須且只需在M中有一個集合K使K=f(k)並且k不屬於K,這樣，在定義N時就用到了一些集合的全體M，它包含著N作為元素，這就是說要定義N，N必須已經包含在M中。
在無意中陷入了引進說不清的定義的陷阱，這是很容易的。……。
《古今數學思想》第四冊（320~321頁）書中又指出：“不完備性的不足之處就在於，形式系統還不足以用來證明所有在系統中可以作出的判斷。損傷更兼屈辱，系統中存在著這樣的判斷，它們是不可斷定的但在直觀上又是真的，等語句，因為哥得爾證明了，包括著數論的任何系統都必定含有不可斷定的命題。這樣，儘管布勞維已經弄清楚了，直觀上明確的東西不及數學上證明了的東西多；哥德爾卻證明了，直觀的正確會超過數學的證明，”等語句
《古今數學思想》書中 (第四冊322~323頁) 指出：“對於數學基礎的根本問題所提出的解答——（康托爾、等等先生的）經典集合論公理化，（羅素、懷特海）邏輯主義、（克羅內克、布勞維）直覺主義、（希爾伯特）形式主義——都沒有達到目的，沒有對數學提供一個可以普遍接受的徑。在哥德爾1931年的工作以後的發展，也沒有在實質上改變這種狀況，…；該途書中又指出：韋爾對數學的現狀作了恰當的描述：關於數學最終基礎和最終意義的問題還是沒有解決，我們不知道向哪裡去找它的最後解答，…”,這就誰是數學基礎的現狀。
《古今數學思想》書中 (第四冊323~324頁) 指出：1930年以後的全部發展還留下來兩個沒有解決的大問題：去證明不加限制的經典分析與集合論的相容性，以及在嚴格直觀的根基上去建立數學，或者去確定這種途徑的限度，在這兩個問題中，困難的根源都在於無窮集合和無限程式中所用到的無窮這個概念，即使對於希臘人也應經在無理數上造成了問題，而且他們在窮竭法中躲開它。從那以後，無窮這個概念一直是爭論的地題目，並使韋爾說道，數學是無限的科學。
關於數學的適當邏輯基礎的問題，特別是直觀主義的興起，在某種較廣的意義上，顯示出數學走了一個圓圈。這門學科是在直觀的和經驗的基礎上起始的，嚴密性在希臘時代就變成了一個目標，雖說到十九世紀以前在受到衝擊時仍更加受到尊重，它似乎就要達到了，但是，過分追求嚴密性，將引入絕境而失去它的真正意義，數學仍是活躍而富有生命力的，但是它只能建立在實用的基礎上。
自亞里士多德直至高斯先生人們都不承認實無限而只承認潛無限，引進實無限數學理論大多數專家似乎捨棄了潛無限數學理論，實無限排斥潛無限、潛無限也排斥實無限，事實上互相排斥，必明確指出承認接受潛無限理論千萬莫排斥掉了實無限數學理論，承認接受實無限千萬莫排斥丟掉了潛無限的數學理論，…。
《古今數學思想》第四冊書中（313頁）也指出：“…，數學中最重要的進展都不是由於要把邏輯形式完美化而得到的，而是由於基本理論本身的變革，是邏輯依靠數學，而不是數學依靠邏輯。”
產生邏輯悖論的原因：試圖讓邏輯包羅永珍、竭盡所有，特殊矛盾與普遍矛盾不加以人為區分試圖共享一個邏輯，謬誤與真理不加以人為區分試圖共享一個邏輯，必定遭遇邏輯悖論而不可思議，因為再好的邏輯自身不會加以區分限制，數學基礎發展史上不乏其例，比如“鄉村理髮師”的邏輯悖論（邏輯比喻）,就是一個特殊矛盾與普遍矛盾不加以區分的典型例子，“理髮師”他自己是特殊矛盾，他必須唯一地將自己排除在外，…等等；（數學中也有範例可舉，例如在數理邏輯中：m/n,式中n≠0，n=0是特殊矛盾，所以在該式中數理邏輯將n=0排斥在外，人為處理得恰到好處），世上無十全十美的邏輯供人們選擇與使用
階段
數學發展史數學的發展史大致可以分為四個時期。
第一時期數學形成時期，這是人類建立最基本的數學概念的時期。人類從數數開始逐漸建立了自然數的概念，簡單的計算法，並認識了最基本最簡單的幾何形式，算術與幾何還沒有分開。
第二時期初等數學，即常量數學時期。這個時期的基本的、最簡單的成果構成現在中學數學的主要內容。這個時期從公元前5世紀開始，也許更早一些，直到17世紀，大約持續了兩千年。這個時期逐漸形成了初等數學的主要分支：算數、幾何、代數、三角。
第三時期變數數學時期。變數數學產生於17世紀，大體上經歷了兩個決定性的重大步驟：第一步是解析幾何的產生；第二步是微積分【微積分（Calculus）是高等數學中研究函式的微分、積分以及有關概念和應用的數學分支。它是數學的一個基礎學科。內容主要包括極限、微分學、積分學及其應用。微分學包括求導數的運算，是一套關於變化率的理論。它使得函式、速度、加速度和曲線的斜率等均可用一套通用的符號進行討論。積分學，包括求積分的運算，為定義和計算面積、體積等提供一套通用的方法。】的創立。
第四時期現代數學。現代數學時期，大致從19世紀上半葉開始。數學發展的現代階段的開端，以其所有的基礎--------代數、幾何、分析中的深刻變化為特徵。
研究成果引言
中華民族是一個具有燦爛文化和悠久歷史的民族，在燦爛的文化瑰寶中數學在世界數學發展史中也同樣具有許多耀眼的光環。中國古代算數的許多研究成果裡面就早已孕育了後來西方數學才設計的先進思想方法，近代也有不少世界領先的數學研究成果就是以華人數學家命名的。
摺疊李氏恆定式數學家李善蘭在級數求和方面的研究成果，在國際上被命名為【李氏恆定式】
華氏定理“華氏定理”是中國著名數學家華羅庚的研究成果。 華氏定理為：體的半自同構必是自同構自同體或反同體。 數學家華羅庚關於完整三角和的研究成果被國際數學界稱為“華氏定理”；另外他與數學家王元提出多重積分近似計算的方法被國際上譽為“華—王方法”。
蘇氏錐面數學家蘇步青在仿射微分幾何學方面的研究成果在國際上被命名為“蘇氏錐面”。蘇步青院士對仿射微分幾何的一個極其美妙的發現是：他對一般的曲面，構做出一個訪射不變的4次（3階）代數錐面。在訪射的曲面理論中為人們許多協變幾何物件，包括2條主切曲線，3條達布切線，3條塞格雷切線和仿射法線等等，都可以由這個錐面和它的3根尖點直線以美妙的方式體現出來，形成一個十分引人入勝的構圖，這個錐面被命名為蘇氏錐面。
悖論
《古今數學思想》書中（第四冊45頁）：指出：“實數系的邏輯結構問題為十九世紀後葉所重視，無理數被認為是主要難點，然而無理數的意義與性質的發展預先假定了有理數系的建立，對無理數理論不同的貢獻者來說，或則認為有理數已為眾所確認，無須什麼基礎，或則認為只給出一些匆促而臨時應付的方案，…。（316頁）數學的第三種主要的哲學，稱為形式派（形式主義），它的領導人是希爾伯特，他從1904年開始從事於這種哲學工作，他在那時的動機是給數系提供一個不用集合論的基礎，並且確立算術相容性，因為他自己對於幾何的相容性的證明已約化成算術的相容性，算術的相容性就成了一個沒有解決的關鍵性問題，…。”，超限歸納法也不是徹底解決了算術問題。
自亞里士多德直至高斯先生人們都不承認實無限而只承認潛無限，《古今數學思想》書中(第四冊59頁)指出：“Gauss（高斯）於1831年7月12日給Schumacher（舒馬赫）的中說：我反對把一個無窮量當作實體，這在數學中是從來不允許的，無窮只是一種說話的方式，當人們確切地說到極限時，是指某些比值可以任意近地趨近它，而另一些則允許沒有界限地增加。”，Canchy，如他前人一樣，不承認無窮集合的存在，因為部分能夠同整體構成一一對應這件事，在他看來是矛盾的。
涉及集合的許多問題的爭論，是無休止的，並且捲入了形而上學的甚至是神學的辯論，大多數數學家對這個問題的態度是：不談他們自己所不能解決的問題，他們全都避免對實在無窮集合的明確承認，儘管他們使用無窮級數與實數系，他們會說到直線上的點，但避免說直線是由無窮多個點構成的，這樣迴避困難問題的方式是虛偽的，但這對於建立古典的分析確實足夠了，然而，當十九世紀面對在分析中建立嚴密性的問題時，關於無窮集合的許多問題就再也躲避不開了。
《古今數學思想》第四冊（50～51）書中也對引進無理數的方法提出了不同看法和質疑：“無理數的邏輯定義是頗有些不自然的，從邏輯上看，一個無理數不是簡單的一個符號，或一對符號，象兩個整數的比那樣，而是一個無窮的集合，如康托爾的基本序列或戴金的分割，邏輯地定義出來的無理數是一個智慧的怪物。
我們可以理解，為什麼希臘人和許多後繼的數學家都覺得這樣的數難以掌握”。
《古今數學思想》書中 (第四冊58頁) 指出：集合論裡的中心難點是無窮集合這個概念本身，從希臘時代以來，這樣的集合很自然地引起數學界與哲學界的注意，而這種集合的本質以及看來是矛盾的性質，使得對這種集合的理解，沒有任何進展，Zenode的悖論可能是難點的第一個跡象，既不是直線的無限可分性，也不是直線作為一個由離散的點構成的無窮集合，足以對運動作出合理的結論。Aristotle（亞里士多德）考慮過無窮集合，例如整數集合，但他不承認一個無窮集合可以作為固定的整體而存在，對他來說，集合只能是潛在地無窮。
《古今數學思想》第四冊（116頁）書中又說：“我們注意到，在過去曾經精力旺盛地熱情地從事過的許多領域，曾被它們的擁護者譽為數學的精髓所在，其實只不過是一時的愛好，或者在整個數學的征途上只留下少許的影響。（二十世紀）上半世紀有信心的數學家們可能會認為他們的工作是最重要的，然而，他們的貢獻在數學史上的地位，現在還是不能確定的，等語言，”。
羅素悖論、 康托爾悖論、數學基礎的“三大數學流派：
《古今數學思想》書中 (第四冊289頁) 指出：二十世紀數學中最為深入的活動，使關於基礎的探討，強加於數學家的問題，以及他們自願承擔的問題，不僅牽涉到數學的本質，也牽涉到演繹數學的正確性。
在這世紀的前期，有幾種活動匯合起來把基礎問題引到一個高潮，首先是矛盾的發現，委婉地被稱為悖論，在集合論中尤為突出。……。
《古今數學思想》書中 (第四冊290頁) 指出：“理髮師的悖論”，羅素在1918年把一個悖論通俗化成為“理髮師悖論”，一個鄉村理髮師，自誇無人可與相比，宣稱他當然不給自己刮臉的人刮臉，但卻給所有自己不刮臉的人刮臉，一天他發生了疑問，他是否應當給自己刮臉，假如他自己刮臉的話，則按他聲言的前一半，他就不應當給自己刮臉；但是假如他自己不刮臉的話，則照他自誇的，他又必須給自己刮臉，這理髮師陷入了邏輯的窘境。
《古今數學思想》書中 (第四冊291～292頁) 指出： 康托爾在1899年給戴金的一封信中曾指出，人們要想不陷入矛盾的話就不能談論由一切集合所組成的集合（第41章第9節），實質上這就是羅素的悖論的內容（《數學原理》），由一切人組成的類不是一個人，但由一切概念組成的類卻是一個概念；有一切圖書館組成的類是一個圖書館；由一切基數大於1的集合組成的類也是這樣一個集合。因此，有一些類不是它們自己的元素，而有一些則是它們自己的元素。這個對於類的描述，包括了一切類，並且這兩種型別是互相排斥的，我們用M表示一切包含自己為元素的那些類所組成的類，用N表示一切不包含自己為元素的那些類所組成的類，現在，N本身也是一個類，我們要問它是屬於M還是屬於N？若N屬於N，則N就是它自己的一個元素，因而又必須屬於M，另一方面，若N為M的一個元素，則因M和N是互相排斥的類，N就不會屬於N，於是N不是它自己的元素，因而由於N的定義，它應當屬於N。
所有這些悖論的起因，如羅素和懷特海指出的，都在於一個要定義的東西是用包含著這個東西在內一類東西來定義的，這種定義也稱為說不清的，特別發生在集合論中，策梅羅在1908年曾指出，一組數的下界的定義，以及分析中其它一些概念的定義，都是這種型別的定義，因此經典分析包含著悖論。
《古今數學思想》書中 (第四冊292頁) 指出：康托爾關於實數集合不可數的證明（第41章第7節）也用到了這樣一個說不清的集合，假定在所有正整陣列成的集合與所有實陣列成的集合M之間有一個一一對應，而每一個實數又對應於一組整數，於是每一個整數k都對應著一個集合f(k),而f(k)或是包含k或是不包含k，N為所有那些使k不屬於f(k)的k所組成的集合，這個集合N（取某一順序）為一個實數，因而，按假定的一一對應就應該有一個整數n對應於N，若n屬於N，則按N的定義，它將不屬於N；若n不屬於N，則按N的定義，它又應屬於N，集合N的定義是說不清的，這是因為要k屬於N，必須且只需在M中有一個集合K使K=f(k)並且k不屬於K,這樣，在定義N時就用到了一些集合的全體M，它包含著N作為元素，這就是說要定義N，N必須已經包含在M中。
在無意中陷入了引進說不清的定義的陷阱，這是很容易的。……。
《古今數學思想》第四冊（320~321頁）書中又指出：“不完備性的不足之處就在於，形式系統還不足以用來證明所有在系統中可以作出的判斷。損傷更兼屈辱，系統中存在著這樣的判斷，它們是不可斷定的但在直觀上又是真的，等語句，因為哥得爾證明了，包括著數論的任何系統都必定含有不可斷定的命題。這樣，儘管布勞維已經弄清楚了，直觀上明確的東西不及數學上證明了的東西多；哥德爾卻證明了，直觀的正確會超過數學的證明，”等語句
《古今數學思想》書中 (第四冊322~323頁) 指出：“對於數學基礎的根本問題所提出的解答——（康托爾、等等先生的）經典集合論公理化，（羅素、懷特海）邏輯主義、（克羅內克、布勞維）直覺主義、（希爾伯特）形式主義——都沒有達到目的，沒有對數學提供一個可以普遍接受的徑。在哥德爾1931年的工作以後的發展，也沒有在實質上改變這種狀況，…；該途書中又指出：韋爾對數學的現狀作了恰當的描述：關於數學最終基礎和最終意義的問題還是沒有解決，我們不知道向哪裡去找它的最後解答，…”,這就誰是數學基礎的現狀。
《古今數學思想》書中 (第四冊323~324頁) 指出：1930年以後的全部發展還留下來兩個沒有解決的大問題：去證明不加限制的經典分析與集合論的相容性，以及在嚴格直觀的根基上去建立數學，或者去確定這種途徑的限度，在這兩個問題中，困難的根源都在於無窮集合和無限程式中所用到的無窮這個概念，即使對於希臘人也應經在無理數上造成了問題，而且他們在窮竭法中躲開它。從那以後，無窮這個概念一直是爭論的地題目，並使韋爾說道，數學是無限的科學。
關於數學的適當邏輯基礎的問題，特別是直觀主義的興起，在某種較廣的意義上，顯示出數學走了一個圓圈。這門學科是在直觀的和經驗的基礎上起始的，嚴密性在希臘時代就變成了一個目標，雖說到十九世紀以前在受到衝擊時仍更加受到尊重，它似乎就要達到了，但是，過分追求嚴密性，將引入絕境而失去它的真正意義，數學仍是活躍而富有生命力的，但是它只能建立在實用的基礎上。
自亞里士多德直至高斯先生人們都不承認實無限而只承認潛無限，引進實無限數學理論大多數專家似乎捨棄了潛無限數學理論，實無限排斥潛無限、潛無限也排斥實無限，事實上互相排斥，必明確指出承認接受潛無限理論千萬莫排斥掉了實無限數學理論，承認接受實無限千萬莫排斥丟掉了潛無限的數學理論，…。
《古今數學思想》第四冊書中（313頁）也指出：“…，數學中最重要的進展都不是由於要把邏輯形式完美化而得到的，而是由於基本理論本身的變革，是邏輯依靠數學，而不是數學依靠邏輯。”
產生邏輯悖論的原因：試圖讓邏輯包羅永珍、竭盡所有，特殊矛盾與普遍矛盾不加以人為區分試圖共享一個邏輯，謬誤與真理不加以人為區分試圖共享一個邏輯，必定遭遇邏輯悖論而不可思議，因為再好的邏輯自身不會加以區分限制，數學基礎發展史上不乏其例，比如“鄉村理髮師”的邏輯悖論（邏輯比喻）,就是一個特殊矛盾與普遍矛盾不加以區分的典型例子，“理髮師”他自己是特殊矛盾，他必須唯一地將自己排除在外，…等等；（數學中也有範例可舉，例如在數理邏輯中：m/n,式中n≠0，n=0是特殊矛盾，所以在該式中數理邏輯將n=0排斥在外，人為處理得恰到好處），世上無十全十美的邏輯供人們選擇與使用