數(shù)學(xué)結(jié)構(gòu)

許多如數(shù)、函數(shù)、幾何等的數(shù)學(xué)對(duì)象反應(yīng)出了定義在其中連續(xù)運(yùn)算或關(guān)系的內(nèi)部結(jié)構(gòu)。數(shù)學(xué)就研究這些結(jié)構(gòu)的性質(zhì)，例如：數(shù)論研究整數(shù)在算數(shù)運(yùn)算下如何表示。此外，不同結(jié)構(gòu)卻有著相似的性質(zhì)的事情時(shí)常發(fā)生，這使得通過進(jìn)一步的抽象，然后通過對(duì)一類結(jié)構(gòu)用公理描述他們的狀態(tài)變得可能，需要研究的就是在所有的結(jié)構(gòu)里找出滿足這些公理的結(jié)構(gòu)。因此，我們可以學(xué)習(xí)群、環(huán)、域和其他的抽象系統(tǒng)。把這些研究(通過由代數(shù)運(yùn)算定義的結(jié)構(gòu))可以組成抽象代數(shù)的領(lǐng)域。由于抽象代數(shù)具有極大的通用性，它時(shí)�？梢员粦�(yīng)用于一些似乎不相關(guān)的問題，例如一些古老的尺規(guī)作圖的問題終于使用了伽羅理論解決了，它涉及到域論和群論。代數(shù)理論的另外一個(gè)例子是線性代數(shù)，它對(duì)其元素具有數(shù)量和方向性的向量空間做出了一般性的研究。這些現(xiàn)象表明了原來被認(rèn)為不相關(guān)的幾何和代數(shù)實(shí)際上具有強(qiáng)力的相關(guān)性。組合數(shù)學(xué)研究列舉滿足給定結(jié)構(gòu)的數(shù)對(duì)象的方法。

　　數(shù)學(xué)空間

空間的研究源自于歐式幾何。三角學(xué)則結(jié)合了空間及數(shù)，且包含有非常著名的勾股定理�，F(xiàn)今對(duì)空間的研究更推廣到了更高維的幾何、非歐幾何及拓?fù)鋵W(xué)。數(shù)和空間在解析幾何、微分幾何和代數(shù)幾何中都有著很重要的角色。在微分幾何中有著纖維叢及流形上的計(jì)算等概念。在代數(shù)幾何中有著如多項(xiàng)式方程的解集等幾何對(duì)象的描述，結(jié)合了數(shù)和空間的概念;亦有著拓?fù)淙旱难芯�，結(jié)合了結(jié)構(gòu)與空間。李群被用來研究空間、結(jié)構(gòu)及變化。

　　數(shù)學(xué)基礎(chǔ)

主條目：數(shù)學(xué)基礎(chǔ)

為了弄清楚數(shù)學(xué)基礎(chǔ)，數(shù)學(xué)邏輯和集合論等領(lǐng)域被發(fā)展了出來。德國(guó)數(shù)學(xué)家康托爾(1845-1918)首創(chuàng)集合論，大膽地向“無窮大”進(jìn)軍，為的是給數(shù)學(xué)各分支提供一個(gè)堅(jiān)實(shí)的基礎(chǔ)，而它本身的內(nèi)容也是相當(dāng)豐富的，提出了實(shí)無窮的思想，為以后的數(shù)學(xué)發(fā)展作出了不可估量的貢獻(xiàn)。

集合論在20世紀(jì)初已逐漸滲透到了各個(gè)數(shù)學(xué)分支，成為了分析理論，測(cè)度論，拓?fù)鋵W(xué)及數(shù)理科學(xué)中必不可少的工具。20世紀(jì)初，數(shù)學(xué)家希爾伯特在德國(guó)傳播了康托爾的思想，把集合論稱為“數(shù)學(xué)家的樂園”和“數(shù)學(xué)思想最驚人的產(chǎn)物”。英國(guó)哲學(xué)家羅素把康托的工作譽(yù)為“這個(gè)時(shí)代所能夸耀的最巨大的工作”。

　　數(shù)學(xué)邏輯

數(shù)理邏輯

數(shù)學(xué)邏輯專注在將數(shù)學(xué)置于一堅(jiān)固的公理架構(gòu)上，并研究此一架構(gòu)的成果。就其本身而言，其為哥德爾第二不完備定理的產(chǎn)地，而這或許是邏輯中最廣為流傳的成果�，F(xiàn)代邏輯被分成遞歸論、模型論和證明論，且和理論計(jì)