比浏览器更快的访问！
75 关系: 力迫，域 (數學)，同构，向量空间，多边形，大卫·希尔伯特，定理，实变函数论，实数，不可達基數，三角形，三段論，一阶逻辑，平面幾何，平行公設，亚里士多德，交換律，二階邏輯，库尔特·哥德尔，代数拓扑，伯特兰·罗素，伽羅瓦理論，圆，儒勒·昂利·庞加莱，几何原本，几何学，公理，公理化集合论，公理系统，公理模式，前設，皮亚诺公理，环，科学，空間，策梅洛-弗兰克尔集合论，算术，类 (数学)，罗素悖论，群，群表示論，群论，直线，直角，直觉主义逻辑，相容性，相交，遍历理论，複分析，解釋 (邏輯)，...，證明，賦值，连续统假设，邏輯主義，肯定前件，重言式，自然数，蕴涵，集合论，逻辑，逻辑非，逻辑运算符，选择公理，抽象化，概率论，欧几里得，欧几里得几何，有限集合，戈特洛布·弗雷格，数学，数学家，数学归纳法，数理逻辑，数论，整数。 扩展索引 (25 更多) »
力迫
在数学学科集合论中，力迫是 保罗·寇恩（Paul J. Cohen）发明的一种技术，用来证明与策梅洛-弗兰克尔公理有关的一致性和独立性结果。它在1962年首次被用来证明连续统假设和选择公理对策梅洛-弗兰克尔集合论的独立性。实际上在寇恩正式引入力迫法前，它已经被广泛地应用于递归论中。寇恩的力迫法最初是建立在分歧分层（ramified hierarchy）上，难于理解。1960年代通过索罗维（Solovay）与斯科特（Scott）等人的努力力迫法被相当程度的重做和简化。 力迫法大致是一种扩张模型的方法。给定一个模型M以及模型内一个偏序(P,\leq)，通过构造通集（generic）G\subseteq P来实现模型的扩张。因为通集不在M内，所以这是一个真正的扩张。记为M。它有以下性质：.
域 (數學)
在抽象代数中，域（Field）是一种可進行加、減、乘和除（除了除以零之外，「零」即加法單位元素）運算的代數結構。域的概念是数域以及四则运算的推广。 域是环的一种。域和一般的环的区别在于域要求它的元素（除零元素之外）可以进行除法运算，这等价于说每个非零的元素都要有乘法逆元。體中的運算关于乘法是可交换的。若乘法運算沒有要求可交換則稱為除環（division ring）或skew field。.
同构
在抽象代数中，同构（isomorphism）指的是一个保持结构的双射。在更一般的范畴论语言中，同构指的是一个态射，且存在另一个态射，使得两者的复合是一个恒等态射。 正式的表述是：同构是在数学对象之间定义的一类映射,它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射，那么这两个结构叫做是同构的。一般来说，如果忽略掉同构的对象的属性或操作的具体定义，单从结构上讲，同构的对象是完全等价的。.
向量空间
向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何，幾何上的向量及相关的運算即向量加法，標量乘法，以及对運算的一些限制如封闭性，结合律，已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中，“向量”的概念不仅限于此，满足下列公理的任何数学对象都可被当作向量处理。譬如，實系數多項式的集合在定义适当的运算后构成向量空間，在代数上处理是方便的。单变元实函数的集合在定义适当的运算后，也构成向量空间，研究此类函数向量空间的数学分支称为泛函分析。.
多边形
多邊形是平面的封閉图形、由有限線段（大于2）組成，且首尾連接起來劃出的形狀。.
大卫·希尔伯特
大卫·希尔伯特（David Hilbert，），德国数学家，是19世纪和20世纪初最具影响力的数学家之一。希尔伯特1862年出生于哥尼斯堡（今俄罗斯加里宁格勒），1943年在德国哥廷根逝世。他因为发明了大量的思想观念（例：不变量理论、、希尔伯特空间）而被尊为伟大的数学家、科学家。 他提出了希尔伯特空间的理論，是泛函分析的基礎之一。他热忱地支持康托的集合论与无限数。他在数学上的领导地位充分体现于：1900年，在巴黎的国际数学家大会提出的一系列问题（希尔伯特的23个问题）为20世纪的许多数学研究指出方向。 希尔伯特和他的学生为形成量子力学和广义相对论的数学基础做出了重要的贡献。他还是证明论、数理逻辑、区分数学与元数学之差别的奠基人之一。.
新！!: 公理和大卫·希尔伯特 · 查看更多 »
定理
定理（Theorem）是經過受邏輯限制的證明為真的陈述。一般來說，在數學中，只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。一个定理陈述一个给定类的所有（全称）元素一种不变的关系，这些元素可以是无穷多，它们在任何时刻都无区别地成立，而没有一个例外。（例如：某些a是x，某些a是y，就不能算是定理）。 猜想是相信為真但未被證明的數學敘述，或者叫做命题，當它經過證明後便是定理。猜想是定理的來源，但並非唯一來源。一個從其他定理引伸出來的數學敘述可以不經過成為猜想的過程，成為定理。 如上所述，定理需要某些邏輯框架，繼而形成一套公理（公理系統）。同時，一個推理的過程，容許從公理中引出新定理和其他之前發現的定理。 在命題邏輯，所有已證明的敘述都稱為定理。.
实变函数论
實分析或實數分析是處理實數及實函數的數學分析。專門實數函數及數列的解析特性，包括實數數列的極限，實函數的微分及積分、連續性，光滑性以及其他相關性質。 實分析常以基礎集合論，函數概念定義等等開始。.
实数
实数，是有理數和無理數的总称，前者如0、-4、81/7；后者如\sqrt、\pi等。实数可以直观地看作小數（有限或無限的），它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验，有理數集在數軸上似乎是「稠密」的，于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例，其對角線有多長？在規定的精度下（比如誤差小於0.001公分），總可以用有理數來表示足夠精確的測量結果（比如1.414公分）。但是，古希臘畢達哥拉斯學派的數學家發現，只使用有理數無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數學理念；他們原以為：.
不可達基數
在數學集合論中，不可達基數是一種不可數集的基數，當中此基數並不可透過比其更小之基數的基數算術法則運算而得到，由费利克斯·豪斯多夫在1908年引入。有些數學家並不要求不可達基數為不可數，而在此情況下甚小（在無窮意義上）的阿列夫數\aleph_0（其為可數），已經足以為不可達基數。.
三角形
三角形，又稱三邊形，是由三条线段顺次首尾相连，或不共線的三點兩兩連接，所组成的一个闭合的平面图形，是最基本和最少邊的多边形。 一般用大写英语字母A、B和C为三角形的顶点标号；用小写英语字母a、b和c表示边；用\alpha、\beta和\gamma給角標號，又或者以\angle ABC這樣的顶点标号表示。.
三段論
三段论在传统逻辑中，是在其中一个命题（结论）必然地从另外两个命题（叫做前提）中得出的一种推论。这个定义是传统的，可以宽松地从亚里士多德的《前分析篇》Book I, c. 1中推出来。希腊语“sullogismos”的意思是“演绎”。对传统意义上的三段论的详细描述参见直言三段论。 三段论由三个部分组成：大前提、小前提和结论，它在逻辑上是从大前提和小前提得出来的。大前提是一般性的原则。小前提是一个特殊陈述。在逻辑上，结论是从应用大前提于小前提之上得到的。.
一阶逻辑
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年，一階邏輯出現過許多種名稱，包括：一阶斷言演算、低階斷言演算、量化理論或斷言逻辑（一個較不精確的用詞）。一階邏輯和命題邏輯的不同之處在於，一階邏輯有使用量化變數。一個一階邏輯，若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域，即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份，因為它是公理系統的標準形式邏輯。許多常見的公理系統，如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等，都可以形式化成一階理論。然而，一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.
平面幾何
#重定向 欧几里得几何.
平行公設
平行公設（Parallel postulate），也稱為歐幾里得第五公設，因是《幾何原本》五條公設的第五條而得名。這是歐幾里得幾何一條與別不同的公理，比前四條複雜。公設是說： 假定所有歐幾里得公設（當中包括平行公設）都成立的幾何称为歐幾里得幾何。假定平行公設不成立的稱為非歐幾里得幾何。不依賴於平行公設的幾何，也就是只假設前四條公設的，稱為仿射幾何 这只是一个与平行线的性质有关的公设。欧几里得已在《几何原本》第I卷定义第23条中定义过平行线了。。 歐幾里得幾何的有些性質與平行公設等價，也就是假設平行公設成立，可推導出這些性質，反过来假設這些性質的一項為公理，也可以推導出平行公設。其中最重要的一項，也是最常作為公理代替平行公設的，要算是蘇格蘭數學家约翰·普莱费尔提出的普莱费尔公理： 这里有个问题要提出来，即在证明第五公设时，平面是不加定义，如果平面作如下定义：满足第五公设的面定义为平面。这实际上可用公理法对平面作定义。如果有这定义，第五公设是自明的。这才符合直观。.
亚里士多德
亞里士多德（Αριστοτέλης，Aristotélēs，），古希腊哲学家，柏拉圖的學生、亚历山大大帝的老師。他的著作包含許多學科，包括了物理學、形而上學、詩歌（包括戲劇）、音乐、生物學、經濟學、動物學、邏輯學、政治、政府、以及倫理學。和柏拉圖、蘇格拉底（柏拉圖的老師）一起被譽為西方哲學的奠基者。亞里士多德的著作是西方哲學的第一個廣泛系統，包含道德、美學、邏輯和科學、政治和形而上学。 亞里士多德关于物理學的思想深刻地塑造了中世紀的學術思想，其影響力延伸到了文藝復興時期，雖然最終被牛頓物理學取代。在動物科學方面，他的一些意見仅在19世纪被确信是準確的。他的学术领域还包括早期关于形式逻辑理论的研究，最终这些研究在19世纪被合并到了现代形式逻辑理论裡。在形而上學方面，亞里士多德的哲學和神學思想在伊斯蘭教和猶太教的傳統上產生了深遠影響，在中世紀，它繼續影響着基督教神學，尤其是天主教教會的學術傳統。他的倫理學，虽然自始至终都具有深刻的影响，后来也随着新兴現代美德倫理的到来获得了新生。今天亞里士多德的哲學仍然活躍在學術研究的各个方面。在經濟學方面，亞里士多德對於經濟活動的分類與看法持續影響到中世紀與重農主義，直到被亞當斯密的古典經濟學派取代為止。雖然亞里士多德寫了許多論文和優雅的對話（西塞羅描述他的文學風格為“金河”），但是大多數人認為他的著作现已失散，只有大約三分之一的原创作品保存了下來。.
交換律
交換律(Commutative property)是被普遍使用的一個數學名詞，意指能改變某物的順序而不改變其最終結果。交換律是大多數數學分支中的基本性質，而且許多的數學證明需要倚靠交換律。簡單運算的交換律許久都被假定存在，且沒有給定其一特定的名稱，直到19世紀，數學家開始形式化數學理論之後，交換律才被聲明。.
二階邏輯
在逻辑和数学中，二阶逻辑是一阶逻辑的扩展，一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。 一阶逻辑和二阶逻辑都使用了论域（有时叫做“域”或“全集”）的想法。论域是可以在其上量化的个体元素的集合。一阶逻辑只包括取值为论域的个体元素的变量和量词。例如在一阶句子∀x(x ≠ x + 1)中变量x被用来表示一个任意的个体。二阶逻辑扩展了一阶逻辑，通过增加取值在个体的集合上变量和量词。例如，二阶句子\forall S \forall x \Big(x \in S \vee x \notin S \Big) 声称对于所有个体的集合S和所有的个体x，要么x在S中要么不在（这是二值原理）。最一般的二阶逻辑还包括量化在函数上的变量，和在下面语法章节解说的变量。.
库尔特·哥德尔
库尔特·弗雷德里希·哥德尔（Kurt Friedrich Gödel，），出生於奧匈帝國的數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。.
新！!: 公理和库尔特·哥德尔 · 查看更多 »
代数拓扑
代数拓扑（Algebraic topology）是使用抽象代数的工具来研究拓扑空间的数学分支。.
伯特兰·罗素
伯特兰·亚瑟·威廉·罗素，第三代羅素伯爵（Bertrand Arthur William Russell, 3rd Earl Russell，），OM，FRS，英国哲学家、数学家和逻辑学家，致力于哲学的大众化、普及化。 在數學哲學上採取弗雷格的邏輯主義立場，認為數學可以化約到邏輯，哲學可以像邏輯一樣形式系統化，主張逻辑原子論。 1950年，罗素获得诺贝尔文学奖，以表彰其“西歐思想，言論自由最勇敢的君子，卓越的活力，勇氣，智慧與感受性，代表了諾貝爾獎的原意和精神”。 1921年罗素曾於中国讲学，对中国学术界有相当影响。.
伽羅瓦理論
在数学中，特别是抽象代数理论中，由法國數學家埃瓦里斯特·伽罗瓦（Évariste Galois）得名的伽罗瓦理论提供了域论和群论之间的联系。应用伽罗瓦理论，域论中的一些问题可以化简为更简单易懂的群论问题。 伽罗瓦最初使用置换群来描述给定的多项式的根与根之间的关系。由戴德金（Julius Wilhelm Richard Dedekind）、利奥波德·克罗内克（Leopold Kronecker）、埃米爾·阿廷（Emil Artin）等人发展起来的现代伽罗瓦理论引入了关于域扩张及其自同构的研究。 伽罗瓦理论的进一步抽象为伽罗瓦连接理论。.
圆
圆 （Circle），根據歐幾里得的《几何原本》定義，是在同一平面内到定点的距离等于定长的点的集合。此外，圆的第二定义是：「平面内一动点到两定点的距离的比，等于一个常数，则此动点的轨迹是圆。.
儒勒·昂利·庞加莱
儒勒·昂利·庞加莱（Jules Henri Poincaré，法語发音，又译作彭加勒、昂利·彭加勒，），通常称为昂利·庞加莱，法国最伟大的数学家之一，理论科学家和科学哲学家。庞加莱被公认是19世纪后和20世纪初的领袖数学家，是繼高斯之後对于数学及其应用具有全面知识的最后數學家。 他对数学，数学物理，和天体力学做出了很多创造性的基础性的贡献。他提出的庞加莱猜想是数学中最著名的问题之一。在他对三体问题的研究中，庞加莱成了第一个发现混沌确定系统的人並为现代的混沌理论打下了基础。庞加莱比爱因斯坦的工作更早一步，并起草了一个狭义相对论的简略版。庞加莱群以他命名。.
新！!: 公理和儒勒·昂利·庞加莱 · 查看更多 »
几何原本
《几何原本》（Στοιχεῖα）是古希腊数学家欧几里得所著的一部数学著作，共13卷。这本著作是现代数学的基础，在西方是仅次于《圣经》而流传最广的书籍。在四庫全書中為子部天文演算法算書類。.
几何学
笛沙格定理的描述，笛沙格定理是欧几里得几何及射影几何的重要結果 幾何學（英语：Geometry，γεωμετρία）簡稱幾何。几何学是數學的一个基础分支，主要研究形狀、大小、圖形的相對位置等空間区域關係以及空间形式的度量。 許多文化中都有幾何學的發展，包括許多有關長度、面積及體積的知識，在西元前六世紀泰勒斯的時代，西方世界開始將幾何學視為數學的一部份。西元前三世紀，幾何學中加入歐幾里德的公理，產生的欧几里得几何是往後幾個世紀的幾何學標準。阿基米德發展了計算面積及體積的方法，許多都用到積分的概念。天文學中有關恆星和行星在天球上的相對位置，以及其相對運動的關係，都是後續一千五百年中探討的主題。幾何和天文都列在西方博雅教育中的四術中，是中古世紀西方大學教授的內容之一。 勒內·笛卡兒發明的坐標系以及當時代數的發展讓幾何學進入新的階段，像平面曲線等幾何圖形可以由函數或是方程等解析的方式表示。這對於十七世紀微積分的引入有重要的影響。透视投影的理論讓人們知道，幾何學不只是物體的度量屬性而已，透视投影後來衍生出射影几何。歐拉及高斯開始有關幾何物件本體性質的研究，使幾何的主題繼續擴充，最後產生了拓扑学及微分幾何。 在歐幾里德的時代，實際空間和幾何空間之間沒有明顯的區別，但自從十九世紀發現非歐幾何後，空間的概念有了大幅的調整，也開始出現哪一種幾何空間最符合實際空間的問題。在二十世紀形式數學興起以後，空間（包括點、線、面）已沒有其直觀的概念在內。今日需要區分實體空間、幾何空間（點、線、面仍沒有其直觀的概念在內）以及抽象空間。當代的幾何學考慮流形，空間的概念比歐幾里德中的更加抽象，兩者只在極小尺寸下才彼此近似。這些空間可以加入額外的結構，因此可以考慮其長度。近代的幾何學和物理關係密切，就像偽黎曼流形和廣義相對論的關係一樣。物理理論中最年輕的弦理論也和幾何學有密切關係。 几何学可見的特性讓它比代數、數論等數學領域更容易讓人接觸，不過一些几何語言已經和原來傳統的、欧几里得几何下的定義越差越遠，例如碎形幾何及解析幾何等。 現代概念上的幾何其抽象程度和一般化程度大幅提高，並與分析、抽象代數和拓撲學緊密結合。 幾何學應用於許多領域，包括藝術，建築，物理和其他數學領域。.
公理
在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b.
公理化集合论
在數學中，公理化集合论是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。.
公理系统
数学上，一个公理系统（或称公理化系统，公理体系，公理化体系）是一个公理的集合，从中一些或全部公理可以一併用來逻辑地导出定理。一个数学理论由一个公理系统和所有它导出的定理组成。一个完整描述出来的公理系统是形式系统的一个特例；但是通常完全形式化的努力僅带来在确定性上递减的收益，并让人更加難以阅读。所以，公理系统的讨论通常只是半形式化的。一个形式化理论通常表示一个公理系统，例如在模型论中表述的那样。一个形式化证明是一个证明在形式化系统中的表述。.
公理模式
在數理邏輯裡，公理模式廣義化了公理這個概念。 公理模式是個在公理系統的語言中的一個合式公式，其中有一個以上的模式變數出現。這些模式變數屬於元語言的一種，代表系統內的任一項或任一公式。這些變數通常需要有部分是自由的，亦即有些不出現在公式或項中的變數。 若模式變數能替換的公式或項的數目是可數無限的，此公理模式則代表了可數無限個公理。這些公理通常可以被遞迴地定義。若一個理論不需要使用到公理模式來公理化，則稱之為「可有限公理化的」。可有限公理化的理論在元數學中被認為是較為重要的，即使這些理論在推導工作上較少有實際的用途。 公理模式兩個極知名的例子為：.
前設
前設在語用學上指使用語句時某先決條件一定要為真，該語句的使用才算有意義。 如「他懊悔買了車子」一句的前設是「他買了車子」。 Q.
皮亚诺公理
亚诺公理（Peano axioms），也称皮亚诺公设，是意大利数学家皮亚诺提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。.
环
环可能指：.
科学
科學（Science，Επιστήμη）是通過經驗實證的方法，對現象（原來指自然現象，現泛指包括社會現象等現象）進行歸因的学科。科学活动所得的知识是条件明确的（不能模棱两可或随意解读）、能经得起检验的，而且不能与任何适用范围内的已知事实产生矛盾。科学原仅指对自然现象之规律的探索与总结，但人文学科也被越来越多地冠以“科学”之名。 人们习惯根据研究对象的不同把科学划分为不同的类别，传统的自然科学主要有生物學、物理學、化學、地球科學和天文學。逻辑学和数学的地位比较特殊，它们是其它一切科学的论证基础和工具。 科学在认识自然的不同层面上设法解决各种具体的问题，强调预测结果的具体性和可证伪性，这有别于空泛的哲学。科学也不等同于寻求绝对无误的真理，而是在现有基础上，摸索式地不断接近真理。故科学的发展史就是一部人类对自然界的认识偏差的纠正史。因此“科学”本身要求对理论要保持一定的怀疑性，因此它绝不是“正确”的同义词。.
空間
間（Raum，space，espace，espacio，spazio），，抽象化之後形成的概念。與時間二者，構成物質存在的基本範疇，是人類思考的基本概念框架之一。人類可以用直覺了解空間，但難以概念化，因此自古希臘時代開始，就成為哲學與物理學上重要的討論課題。空間存在，是運動構成的基本條件。在物理學中，以三個維度來描述空間的存在。相對論中，將時間及空間二者，合併成單一的時空概念。伽利略、莱布尼兹、艾萨克·牛顿、伊曼努尔·康德、卡爾·弗里德里希·高斯、爱因斯坦、庞加莱都研究空间的本质。.
策梅洛-弗兰克尔集合论
梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory），含选择公理時常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含選擇公理的則簡寫為ZF。.
新！!: 公理和策梅洛-弗兰克尔集合论 · 查看更多 »
算术
算術（arithmetic）是数学最古老且最簡單的一個分支，幾乎被每個人使用著，從日常生活上簡單的算數到高深的科学及工商业計算都會用到。一般而言，算術這一詞指的是記錄數字某些運算基本性質的数学分支。常用的运算有加法、減法、乘法、除法，有时候，更复杂的运算如指数和平方根，也包括在算术运算的范畴内。算术运算要按照特定规则来进行。 自然数、整数、有理数（以分數的形式）和实数（以十进制指数的形式）的运算主要是在小学和中学的时候学习。用百分比形式进行运算也主要是在这个时候学习。然而，在成人中，很多人使用计算器，计算机或者算盘来进行数学计算。 專業数学家有時會使用高等算術來指数论，但這不應該和初等算術相搞混。另外，算術也是初等代數的重要部份之一。.
类 (数学)
在集合論及其數學應用中，類是由集合（或其他數學物件）的搜集（collection），可以依所有成員所共享的性質被無歧定義。有些類是集合（例如由所有偶數構成的類），但有些則不是（如所有序數所構成的類或所有集合所構成的類）。一個不是集合的類被稱之為真類。一个是集合的类被称为“小类”。 在數學裡，有許多物件對集合而言太大，而必須以類來描述，像是大的範疇和超實數的類體之類等。要證明一給定「事物」為一真類，一般的做法是證明此一「事物」至少有著如序數一般多的元素。有關此一證明的例子，請參見。 真類不能是一個集合或者是一個類的元素，而且不受ZF集合論中的公理所限制；因此避免掉了許多樸素集合論中的悖論。反而，這些悖論成了證明某一個類是否為真類的方法之一。例如，羅素悖論可以證明由所有不包含集合自身的集合所構成的類是一個真類，而布拉利-福尔蒂悖论則可證明所有序數所構成的類是一個真類。 標準的ZF集合論公理不會論及到類；而在元語言中，類只作為邏輯公式的等價類而存在。馮諾伊曼-博內斯-哥德爾集合論則採取了另一種方式；類在此一理論中是基礎的物件，而集合則被定義為可以是其他某些類的元素的類。真類，則為不可以是其他任何類的元素的類。 在其他集合論如新基础集合论或半集合的理論中，「真類」的概念依然是有意義的（不是任一堆事物都會是集合），但對集合特質的認定並非依據其大小。例如，所有包含全集的集合論都會有個是集合的子類的真類。 「類」這一詞有時會和「集合」同義，最為人知的是「等價類」這一術語。這種用法是因為從前對類和集合不如現今一樣地區別的緣故。許多19世紀之前對「類」的討論提及的實際上是集合，又或者會是個更為模糊的概念。.
罗素悖论
罗素悖论（Russell's paradox），也称为理发师悖论，是英國哲學家罗素於1901年提出的悖论，一个关于类的内涵问题。罗素悖论当时的提出，造成了第三次数学危机。.
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
群表示論
在群論中，群表示論（group representation theory）是一个非常重要的理論。它包含了（局部）緊緻群、李群、李代數及群概形的表示等種種分支，近來無限維表示理論也漸露頭角。表示理論在量子物理與數學的各領域中均有重要應用。.
群论
在数学和抽象代数中，群论研究名为群的代数结构。 群在抽象代数中具有基本的重要地位：许多代数结构，包括环、-zh-hant:體;zh-hans:域-和向量空间等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现，而且群论的研究方法也对抽象代数的其它分支有重要影响。线性代数群（linear algebraic groups）和李群作为群论的分支，在经历了重大的发展之后，已经形成相对独立的研究领域。 群论的重要性还体现在物理学和化学的研究中，因为许多不同的物理结构，如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。 群论中的重要结果，有限单群分类是20世纪数学最重要的结果之一。该定理的证明是集体努力的结果，它的证明出现在1960年和1980年之间出版的超过10,000页的期刊上。.
直线
線，是一個點在平面或空間沿著一定方向和其相反方向運動的軌跡；不彎曲的線。直線是幾何學的基本概念，在不同的幾何學體系中有著不同的描述。在這裡主要描述歐幾里得空間中的直線。其他曲率非零狀況下的直線，請參考非歐幾里得幾何。 歐幾里得幾何研究曲率為零的空間下狀況，它並未對點、直線、平面、空間給出定義，而是通過公理來描述點線面的關係。 歐幾里得幾何中的直線可以看作是一個點的集合，這個集合中的任意一點都在這個集合中的其他任意兩點所確定的直綫上。 “過兩點有且只有一條直線”是歐幾里得幾何體系中的一條公理，“有且只有”意即“確定”，即兩點確定一直線。 在幾何學中，直線沒有粗細、沒有端點、沒有方向性、具有無限的長度、具有確定的位置。.
直角
在幾何學和三角學中，直角，又稱正角，是角度為90度的角。它相對於四分之一個圓周（即四分之一個圓形），因为把圆周对应的圆心角划分为360度，所以直角等于90度，而兩個直角便等於一個平角（180°）。角度比直角小的稱為銳角，比直角大而比平角小的稱為鈍角。 當兩條線的夾角是直角，這兩條線便是互相垂直，是幾何上的一個重要性質。而一個三角形的其中一個內角為90°時，便稱為直角三角形，是應用畢氏定理的先決條件。 如果直線AB為圓形的直徑，那麼取圓上的任何一點C所形成的三角形，∠ACB必為90°，是圓的其中一個性質，名為（半圓上的圓周角）。 在不同的應用上，直角有多種表示：.
直觉主义逻辑
觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。.
相容性
#重定向 一致性 (邏輯).
相交
在数学中，相交是两个几何图形之间关系的一种。两个图形相交是指它们有公共的部分，或者说同时属于两者的点的集合不是空集。若两个几何图形在某个地方有且只有一个交点，则可以称为相切而不是相交。如果两个图形完全重合，则一般不称为相交。 集合论中，两个集合相交是指它们的交集不是空集。.
遍历理论
遍历理论（Ergodic theory）是研究具有的动力系统及其相关问题的一个数学分支。 遍历理论研究遍历变换，由试图证明统计物理中的而来。.
複分析
複變分析是研究複變函數，特別是亞純函數和複變解析函數的數學理論。 研究中常用的理论、公式以及方法包括柯西积分定理、柯西积分公式、留数定理、洛朗级数展开等。複變分析的应用领域较为广泛，在其它数学分支和物理学中也起着重要的作用。包括数论、应用数学、流体力学、热力学和电动力学。.
解釋 (邏輯)
解釋是一種將形式語言中的符號賦予意義的行為。許多使用於數學、邏輯及理論電腦科學的形式語言都會以純語法的方式定義，且直到給予某些解釋之前，不含有任何意義。一般研究形式語言的解釋的學科稱為形式語義學。 最常研究的形式邏輯為命題邏輯、謂詞邏輯及其衍生的邏輯，且此類的邏輯都已經有標準的方式來給出解釋。在這些情況下，解釋是一個可以提供目標語言的符號及符號字串外延的函數。例如，一個解釋函數可作用在謂詞T（表示「高」）上，並賦予其一個外延（表示「小明」）。須注意的是，上述解釋只是將外延賦予在非邏輯常數T 之上，但沒有宣稱T是否表示「高」，a 是否表示「小明」。同樣地，邏輯解釋也沒有對「和」、「或」及「否定」之類的邏輯聯結詞作宣稱。雖然人們習慣上可能會把這些符號拿來代表特定的事物或概念，但這不是由解釋函數來決定的。 解釋通常（但不總是）會提供一個方法來決定語言中句子的真值。若一給定解釋賦予一個句子或理論的真值為真，則這個解釋即稱為此一句子或理論的模型。.
新！!: 公理和解釋 (邏輯) · 查看更多 »
證明
在數學上，證明是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上，但通常會包含若干程度的自然語言，因此可能會產生一些含糊的部分。實際上，用文字形式寫成的數學證明，在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的數學实践、和的大部分检验。數學哲學就關注語言和邏輯在數學證明中的角色，和作為語言的數學。.
賦值
在代数中，赋值是域元素的阶（多少）或元素重复度一个度量。推广到交换代数，就是对复分析中极点，零点重复度度量，推广到代数数论中的代数整数整性的度量，在代数几何中也有类似概念，一个域与它的赋值被称为赋值域。.
连续统假设
在數學中，連續統假設（Kontinuumshypothese；Continuum hypothesis，簡稱CH）是一個猜想，也是希尔伯特的23个问题的第一題，由康托尔提出，關於無窮集的可能大小。其為： 康托爾引入了基數的概念以比較無窮集間的大小，也證明了整數集的基數絕對小於實集的基數。康托爾也就給出了連續統假設，就是说，在无限集中，比自然数集基数大的集合中，基数最小的集合是实数集。而連續統就是實數集的一個舊稱。 更加形式地说，自然数集的基数为\aleph_0（讀作「阿列夫零」）。而连续统假设的观点认为实数集的基数为\aleph_1（讀作「阿列夫壹」）。于是，康托尔定义了绝对无限。 等價地，整數集的基数是\aleph_0而實數的基数是2^，連續統假設指出不存在一個集合S使得 \aleph_0 假設選擇公理是對的，那就會有一個最小的基數\aleph_1大於\aleph_0，而連續統假設也就等價於以下的等式： 連續統假設有個更廣義的形式，叫作廣義連續統假設（GCH），其命題為： 庫爾特·哥德尔在1940年用内模型法证明了连续统假设与ZFC的相对协调性（無法以ZFC證明為誤），保羅·柯恩在1963年用力迫法证明了连续统假设不能由ZFC推导。也就是说连续统假设獨立於ZFC。.
邏輯主義
邏輯主義是數學哲學中的一門學派，其理論推測數學是邏輯的延伸，甚至認為一切的數學皆可視為邏輯的原型。 創始者為戈特洛布·弗雷格，伯特蘭·羅素和阿弗烈·諾夫·懷海德在理論理論提出後擁戴此論。戈特洛布·弗雷格在伯特蘭·羅素提出羅素悖論後放棄了產生矛盾的樸素集合論。羅素和懷海德將此有關概念著於Principia Mathematica一書。哥德爾不完全定理有時被聲稱妨礙了此計劃的目的。它亦為二十世紀分析哲學的重要指標。 Category:演繹理論.
肯定前件
在逻辑中，肯定前件（拉丁语：Modus ponens）是有效的、简单的论证形式（常缩写为MP）.
重言式
#重定向 套套邏輯.
自然数
数学中，自然数指用于计数（如「桌子上有三个苹果」）和定序（如「国内第三大城市」）的数字。用于计数时称之为基数，用于定序时称之为序数。 自然数的定义不一，可以指正整数 (1, 2, 3, 4, \ldots)，亦可以指非负整数 (0, 1, 2, 3, 4, \ldots)。前者多在数论中使用，后者多在集合论和计算机科学中使用，也是 标准中所采用的定义。 数学家一般以\mathbb代表以自然数组成的集合。自然数集是一個可數的，無上界的無窮集合。.
蕴涵
蕴涵（implication或entailment）在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系。.
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
逻辑非
逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值--。 命题A的非可以有几种写法：.
逻辑运算符
在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。.
选择公理
选择公理（Axiom of Choice，縮寫AC）是数学中的一条集合论公理。这条公理声明，对所有非空指标集族 (S_i)_，总存在一个索引族 (x_i)_，对每一个 i \in I，均有 x_i \in S_i。选择公理最早于1904年，由恩斯特·策梅洛为证明良序定理而公式化完成。 非正式地說，选择公理声明：給定一些盒子（可以是無限個），每个盒子中都含有至少一个小球，那么可以作出这样一种选择，使得可从每个盒子中恰好选出一个小球。在很多情况下这样的选择可不借助选择公理；尤其是在“盒子个数有限”和“存在具體的選擇規則”（當每個盒子都恰好只有一个小球具有某項特征）这两种情况下。再举一个例子，假设有许多（甚至是无限）双鞋子，则我们可以选取每双鞋左边的鞋子构成一个具体的选择。然而，假设有无限双袜子（假设每双袜子都没有可区分的特征），在这种情况下，有效的选择只能通过选择公理得到。 尽管曾具有争议性，选择公理現在已被大多数数学家毫无保留地使用着，例如带有选择公理的策梅洛-弗兰克尔集合论（ZFC）。数学家们使用选择公理的原因是，有许多被普遍接受的数学定理，比如是吉洪诺夫定理，都需要选择公理来证明。現代的集合论学家也研究与选择公理相矛盾的公理，例如。 在一些構造性數學的理論中會避免选择公理的使用，不過也有的將选择公理包括在內。.
抽象化
抽象化（Abstraction）是指以縮減一個概念或是一個現象的資訊含量來將其廣義化（Generalization）的過程，主要是為了只保存和一特定目的有關的資訊。例如，將一個皮製的足球抽象化成一個球，只保留一般球的屬性和行為等資訊。相似地，亦可以將快樂抽象化成一種情緒，以減少其在情緒中所含的資訊量。.
概率论
概率论（Probability theory）是集中研究概率及随机现象的数学分支，是研究隨機性或不確定性等現象的數學。概率论主要研究对象为随机事件、随机变量以及随机过程。对于随机事件是不可能准确预测其结果的，然而对于一系列的独立随机事件——例如掷骰子、扔硬币、抽扑克牌以及輪盤等，会呈现出一定的、可以被用于研究及预测的规律，两个用来描述这些规律的最具代表性的数学结论分别是大数定律和中心极限定理。 作为统计学的数学基础，概率论对诸多涉及大量数据定量分析的人类活动极为重要，概率论的方法同样适用于其他方面，例如是对只知道系统部分状态的复杂系统的描述——统计力学，而二十世纪物理学的重大发现是以量子力学所描述的原子尺度上物理现象的概率本质。 數學家和精算師認為概率是在0至1閉區間内的數字，指定給一發生與失敗是隨機的「事件」。概率P(A)根據概率公理來指定給事件A。 一事件A在一事件B確定發生後會發生的概率稱為B給之A的條件概率；其數值為。若B給之A的條件概率和A的概率相同時，則稱A和B為獨立事件。且A和B的此一關係為對稱的，這可以由一同價敘述：「當A和B為獨立事件時，P(A \cap B).
欧几里得
欧几里得（Ευκλειδης，前325年—前265年），有时被称为亚历山大里亚的欧几里得，以便区别于墨伽拉的欧几里得，希腊化时代的数学家，被稱為「几何學之父」。他活躍於托勒密一世時期的亚历山大里亚，也是亚历山太学派的成员。他在著作《几何原本》中提出五大公設，成為欧洲数学的基础。歐幾里得也寫過一些關於透視、圓錐曲線、球面幾何學及數論的作品。歐幾里得幾何被广泛的认为是數學領域的經典之作。.
欧几里得几何
欧几里得几何指按照欧几里得的《几何原本》构造的几何学。 欧几里得几何有时就指二维平面上的几何，即平面几何，本文主要描述平面几何。三维空间的欧几里得几何通常叫做立体几何，高维的情形请参看欧几里得空间。 数学上，欧几里得几何是指二维平面和三维空间中的几何，基于。数学家也用这一术语表示具有相似性质的高维几何。 其中公設五又稱之為平行公設（Parallel Axiom），敘述比較複雜，這個公設衍生出「三角形內角和等於一百八十度」的定理。在高斯（F., 1777年—1855年）的時代，公設五就備受質疑，俄羅斯數學家羅巴切夫斯基（Nikolay Ivanovitch Lobachevski）、匈牙利數學家波約（Bolyai）闡明第五公設只是公理系統的一種可能選擇，並非必然的幾何真理，也就是「三角形內角和不一定等於一百八十度」，從而發現非歐幾里得的幾何學，即非歐幾何（non-Euclidean geometry）。.
有限集合
数学中，一个集合被称为有限集合，簡單來說就是元素個數有限，嚴格而言則是指有一个自然数n使该集合与集合之间存在双射。例如 -15到3之间的整数组成的集合，这个集合有19个元素，它跟集合存在雙射，所以它是有限的。不是有限的集合称为无限集合。 也就是说如果一个集合的基数是自然数，那这个集合就是有限的。所有的有限集合都是可数的，但并不是所有的可数集都是有限的，例如所有素数的集合。 有一个定理（戴德金定理）是：一个集合是有限的当且仅当不存在一个该集合与它的任何一个真子集之间的双射。 I I.
戈特洛布·弗雷格
弗里德里希·路德维希·戈特洛布·弗雷格（德语：Friedrich Ludwig Gottlob Frege，；），著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。.
新！!: 公理和戈特洛布·弗雷格 · 查看更多 »
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
数学家
数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.
数学归纳法
数学归纳法（Mathematical Induction、MI、ID）是一种数学证明方法，通常被用于证明某个给定命题在整个（或者局部）自然数范围内成立。除了自然数以外，广义上的数学归纳法也可以用于证明一般良基结构，例如：集合论中的树。这种广义的数学归纳法应用于数学逻辑和计算机科学领域，称作结构归纳法。 虽然数学归纳法名字中有“归纳”，但是数学归纳法并非不严谨的归纳推理法，它属于完全严谨的演绎推理法。事實上，所有數學證明都是演繹法。.
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
数论
數論是纯粹数学的分支之一，主要研究整数的性質。被譽為「最純」的數學領域。 正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等，即。很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。 整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。 數論早期稱為算術。到20世紀初，才開始使用數論的名稱，而算術一詞則表示「基本運算」，不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。1952年時數學家Harold Davenport仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」。 卡尔·弗里德里希·高斯曾說：「數學是科學的皇后，數論是數學的皇后。.
整数
整数，是序列中所有的数的统称，包括负整数、零（0）与正整数。和自然數一樣，整數也是一個可數的無限集合。這個集合在数学上通常表示粗體Z或\mathbb，源于德语单词Zahlen（意为“数”）的首字母。 在代數數論中，這些屬於有理數的一般整數會被稱為有理整數，用以和高斯整數等的概念加以區分。.
