微積分的「基礎」指的是什麼?
將一個概念從明確的公理和定義中嚴格地建構出來
微積分學是研究極限、微分學、積分學和無窮級數等的一個數學分支，並成為了現代大學教育的重要組成部分。歷史上，微積分曾經指無窮小的計算。更本質的講，微積分學是一門研究變化的科學，正如：幾何學是研究形狀的科學、代數學是研究代數運算和解方程的科學一樣。微積分學又稱為「初等數學分析」。微積分學在科學、經濟學、商業管理學和工業工程學領域有廣泛的應用，用來解決那些僅依靠代數學和幾何學不能有效解決的問題。微積分學在代數學和解析幾何學的基礎上建立起來，主要包括微分學、積分學。微分學包括求導數的運算，是一套關於變化率的理論。它使得函數、速度、加速度和斜率等均可用一套通用的符號進行演繹。積分學，包括求積分的運算，為定義和計算長度、面積、體積等提供一套通用的方法。微積分學基本定理指出，微分和積分互為逆運算，這也是兩種理論被統一成微積分學的原因。我們能以兩者中任意一者為起點來討論微積分學，但是在教學中一般會先引入微分學。在更深的數學領域中，高等微積分學通常被稱為分析學，並被定義為研究函數的科學，是現代數學的主要分支之一。
在他1962年的著作《科學革命的結構》中，托馬斯·庫恩對邏輯實證主義給出了精闢的反對。他認為，觀察和評價的過程，都是在一個範式之內發生的；所謂「範式」，就是這個世界的一個邏輯自洽的「肖像」，並與從它的框架出發所做的觀察一致。範式也包含某個科學學科的定義性的理論問題和實踐操作。他描述了觀察和「謎題解決」的過程，此過程在一個範式內發生，他稱之為「正常的科學」。他還解釋了一個範式如何能壓倒另一個範例，這一過程他稱之為「範式轉變」。庫恩認為，不可能把被測試的假設從觀測所基於的理論的影響隔離開來；他論證道，不可能獨立評估互相競爭的範式。不止一個邏輯合理的結構可以描繪出一個可用的這個世界的畫像，但沒有共同的基礎，使得坑對坑，理論對理論。兩者都不能作為判斷對方的標準，所以沒有明確的方法來衡量科學進步。
極限不是對微積分基礎唯一的嚴格進路。另一種方法是採用亞伯拉罕•魯濱遜的非標準分析。羅賓遜在1960年左右所採取的進路襲承了牛頓——萊布尼茨的最初概念，借用數理邏輯的技術將實數系統擴大，得以將無窮小和無窮大數包含在內。所得出的數為超實數，可以用它們來對微積分法則作萊布尼茨式的推導。早期的微積分概念來自於埃及、希臘、中國、印度、伊拉克、波斯、日本，但現代微積分來自於歐洲。17世紀時，艾薩克•牛頓與戈特弗里德•萊布尼茨在前人的基礎上提出微積分的基本理論。微積分基本概念的產生是建立在求瞬間運動和曲線下面積這兩個問題之上的。微分應用包括對速度、加速度、曲線斜率、最優化等的計算。積分應用包括對面積、體積、弧長、質心、做功、壓力的計算。更高級的應用包括冪級數和傅立葉級數等。微積分也使人們更加精確地理解到空間、時間和運動的本質。多個世紀以來，數學家和哲學家都在爭論除以零或無限多個數之和的相關悖論。這些問題在研究運動和面積時常常出現。古希臘哲學家埃利亞的芝諾便給出了好幾個著名的悖論例子。微積分提供了工具，特別是極限和無窮級數，以解決該些悖論。微積分的基本概念還包括函數、無窮序列、無窮級數和連續等，運算方法主要有符號運算技巧，該技巧與初等代數和數學歸納法緊密相連。微積分被延伸到微分方程、向量分析、變分法、複分析、時域微分和微分拓撲等領域。微積分的現代版本是實分析。
牛頓和萊布尼茨雖然把微積分系統化，但是它還是不夠嚴謹。可是當微積分被成功地用來解決許多問題，卻使得十八世紀的數學家偏向其應用，而少致力於其嚴謹。當時，微積分學的發展幸而掌握在幾個非常優越的數學家，如歐拉、拉格朗日、拉普拉斯、達朗貝爾及伯努利世家等人的手裡。研究的問題由自然現象而來，所以能以自然現象的數據來驗合微積分的許多推論，使微積分學不因基礎不穩而隱含錯誤。在這些眾數學家的手中，微積分學的範圍很快地超過現在大學初階段所授的微積分課程，而邁向更高深的解析學。在微積分中，「基礎」意味將一個概念從明確的公理和定義中嚴格地建構出來。早期微積分所使用的無窮小被認為是不嚴謹的，遭到了一些作者的嚴厲批評，特別是米歇爾•羅爾和喬治•貝克萊主教。貝克萊因在他1734年出版的《分析學家》中將無窮小描述為「消失量之鬼」而著名。近代的一篇分析認為萊布尼茨版微積分比起貝克萊的經驗主義批評還更嚴密。為微積分予以嚴謹基礎，成為數學家們在牛頓、萊布尼茨之後幾世紀的重要工作，直至今日仍在某程度上是研究的活躍領域。