比浏览器更快的访问！
41 关系: 加法，基数，基数 (数学)，印度，可數集，婆羅摩笈多，上界和下界，幺半群，序数，交換律，余数，國際標準化組織，分配律，單位元，商數，全序关系，公理，空集，素数，群，非负整数，計數，计算机科学，輾轉相除法，良序关系，集合，集合论，逻辑，除法，正整數，毕达哥拉斯主义，朱塞佩·皮亞諾，有限集合，无穷公理，无限集合，数学，数学归纳法，数码，数论，整数，0。
加法
加法是基本的算术運算。加法即是將二個以上的數，合成一個數，其結果称為和。加法與減、乘、除合稱「四則運算」。 表達加法的符號為加號（+）。進行加法時以加號將各項連接起來。把和放在等號（.
基数
基数或量數可以指：.
基数 (数学)
在日常交流中，基數或量數是對應量詞的數，例如「一顆蘋果」中的「一」。與序數相對，序數是對應排列的數，例如「第一名」中的「一」及「二年級」中的「二」。 在數學上，基數或势，即集合中包含的元素的「个数」（參見势的比较），是日常交流中基數的概念在數學上的精確化（並使之不再受限於有限情形）。有限集合的基數，其意義與日常用語中的「基數」相同，例如\的基數是3。無限集合的基數，其意義在於比較兩個集的大小，例如整數集和有理數集的基數相同；整數集的基數比實數集的小。.
新！!: 自然数和基数 (数学) · 查看更多 »
印度
印度共和国（भारत गणराज्य，；Republic of India），通称印度（भारत；India），是位于南亚印度次大陆上的国家，印度面积位列世界第七，印度人口众多，位列世界第二，截至2018年1月印度拥有人口13.4亿，仅次于中国人口的13.8亿，人口成長速度比中國還快，预计近年将交叉。是亚洲第二大也是南亚最大的国家，面积328万平方公里（实际管辖），同时也是世界第三大（购买力平价／PPP）经济体。 印度并非单一民族及文化的国家。印度的民族和种族非常之多，有“民族大熔炉”之称，其中印度斯坦族占印度总人口的大约一半，是印度最大的民族。印度各个民族都拥有各自的语言，仅宪法承认的官方语言就有22种之多，其中印地语和英语被定为印度共和国的联邦官方语言，并且法院裁定印度没有国语。英语在印度非常流行，尤其在南印地位甚至高于印地语，但受限于教育水平，普通民众普遍不精通英语。另外，印度也是一个多宗教的国家，世界4大宗教其中的佛教和印度教都源自印度。大部分印度人信仰印度教。伊斯兰教在印度也有大量信徒，是印度的第二大宗教，信教者约占印度的14.6%(截至2011年，共有约1亿7千7百万人)。伊斯兰教是在公元8世纪随着阿拉伯帝国的扩张而传播到印度的。公元10世纪后，北印的大多数王朝统治者都是信奉伊斯兰教的，特别是莫卧儿王朝。印度也是众多正式和非正式的多边国际组织的成员，包括世界贸易组织、英联邦、金砖五国、南亚区域合作联盟和不结盟运动等。 以耕种农业、城市手工业、服务业以及其支撑产业为主的部分行业已经相对取得了进展。除了民族文化与北方地形的丰富使印度旅游业颇受欢迎之外，由于时差，大批能说英语的人才也投入外包行业（即是外国企业把客户咨询，电话答录等等服务转移到印度）。另一方面，宝莱坞电影的文化输出在英语圈乃至全球的影响力不亚于世界主流。同时印度还是很多专利过期药物的生产地，以低价格提供可靠的医疗。近年来，印度政府还大力投资本国高等教育，以利于在科学上与国际接轨，例如自主太空研究、南亚半岛生态研究等等。印度最重要的贸易伙伴是美国、欧盟、日本、中国和阿拉伯联合酋长国。.
可數集
在数学上，可数集，或称可列集、可数无穷集合，是与自然数集的某个子集具有相同基數（等势）的集合。在这个意义下不是可数集的集合称为不可数集。这个术语是康托尔创造的。可数集的元素，正如其名，是“可以计数”的：尽管计数永远无法终止，集合中每一个特定的元素都将对应一个自然数。 “可数集”这个术语也可以代表能和自然数集本身一一对应的集合。例子参见两个定义的差别在于有限集合在前者中算作可数集，而在后者中不算作可数集。 为了避免歧义，前一种意义上的可数有时称为至多可数，参见.
婆羅摩笈多
婆羅摩笈多（ब्रह्मगुप्त，IAST: ，），是一位印度数学家和天文学家，出生于印度拉贾斯坦邦宾马尔，一生可能大多数时间都在生地度过。当时上述地区属于哈尔沙帝国。婆羅摩笈多為乌贾因天文台台长，在他任职期间，書写了两部关于数学和天文学的书籍，當中包括於628年寫成的《》。 婆羅摩笈多是第一個提出有關0的計算規則的數學家。婆羅摩笈多和當時許多的印度數學家一樣，會將文字編排成橢圓形的句子，而且最後會有一個環狀排列的詩。由於沒有提出證明，不知其中的數學推導過程。.
上界和下界
設(A,\leq)為一個偏序集，若存在y\in A，能滿足\forall x\in B\subseteq A都有x\leq y，則y稱作集合B的上界，若存在z\in A，能滿足\forall x\in B\subseteq A都有x\geq z，則z稱作B的下界。 例如在實變數中，若存在一個實數b，能滿足\forall x\in S\subseteq R都有 x\leq b，則b即為集合S的上界，若存在一個實數c，能滿足\forall x\in S\subseteq R都有 x\geq c，則c即為集合S的下界。.
幺半群
在抽象代數此一數學分支中，幺半群（又稱為單群、亞群、具幺半群或四分之三群）是指一個帶有可結合二元運算和單位元的代數結構。么半群在許多的數學分支中都會出現。在幾何學中，幺半群捉取了函數複合的概念；更確切地，此一概念是從範疇論中抽象出來的，之中的幺半群是個帶有一個物件的範疇。幺半群也常被用來當做電腦科學的堅固代數基礎；在此，變換幺半群和語法幺半群被用來描述有限狀態自動機，而跡幺半群和歷史幺半群則是做為進程演算和並行計算的基礎。幺半群的研究中一些較重要的結論有克羅恩-羅德斯定理和星高問題。.
序数
數學上，序數是自然數的一種擴展，與基數相對，著重於次序的性質。大於有限數的序數也稱作超限序數。 超限序数是由數學家格奥尔格·康托尔于1897年引入，用來考慮無窮序列，並用來對具有序结构的無窮集進行分類。.
交換律
交換律(Commutative property)是被普遍使用的一個數學名詞，意指能改變某物的順序而不改變其最終結果。交換律是大多數數學分支中的基本性質，而且許多的數學證明需要倚靠交換律。簡單運算的交換律許久都被假定存在，且沒有給定其一特定的名稱，直到19世紀，數學家開始形式化數學理論之後，交換律才被聲明。.
余数
在算术中，当两个整数相除的结果不能以整数商表示时，余数便是其“餘留下的量”。当余数为零时，被称为整除。.
國際標準化組織
國際標準化組織（International Organization for Standardization；Organisation internationale de normalisation；Международная организация по стандартизации；简称：ISO）成立於1947年2月23日，--定全世界工商業國際標準的國際標準建立機構。 ISO總部設於瑞士日內瓦，成員包括162個會員國。該組織定義為非政府組織，官方語言是英語、法語和俄語。參加者包括各會員國的國家標準機構和主要公司。 ISO與負責電子設備標準的國際電工委員會密切合作。 ISO的國際標準以數字表示，例如：「ISO 11180:1993」的「11180」是標準號碼，而「1993」是出版年份。.
新！!: 自然数和國際標準化組織 · 查看更多 »
分配律
在抽象代数中，分配律是二元运算的一个性质，它是基本代数中的分配律的推广。.
單位元
單位元是集合裏的一種特別的元素，與該集合裏的二元運算有關。當單位元和其他元素結合時，並不會改變那些元素。單位元被使用在群和其他相關概念之中。 設 (S,*)為一帶有一二元運算* 的集合S（稱之為原群），則S內的一元素e被稱為左單位元若對所有在S內的a而言，e * a .
商數
商數是指除法運算的結果，通常是说它的整数部分。例如： (13 \div 3.
全序关系
全序关系即集合X上的反对称的、传递的和完全的二元关系（一般称其为\leq）。 若X满足全序关系，则下列陈述对于X中的所有a,b和c成立：.
公理
在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b.
空集
集是不含任何元素的集合，數學符號為\empty、\varnothing或\。.
素数
質--數（Prime number），又称素--数，指在大於1的自然数中，除了1和該数自身外，無法被其他自然数整除的数（也可定義為只有1與該數本身两个正因数的数）。大於1的自然數若不是質數，則稱之為合數。例如，5是個質數，因為其正因數只有1與5。而6則是個合數，因為除了1與6外，2與3也是其正因數。算術基本定理確立了質數於數論裡的核心地位：任何大於1的整數均可被表示成一串唯一質數之乘積。為了確保該定理的唯一性，1被定義為不是質數，因為在因式分解中可以有任意多個1（如3、1×3、1×1×3等都是3的有效因數分解）。 古希臘數學家歐幾里得於公元前300年前後證明有無限多個質數存在（欧几里得定理）。現時人們已發現多種驗證質數的方法。其中試除法比較簡單，但需時較長：設被測試的自然數為n，使用此方法者需逐一測試2與\sqrt之間的整數，確保它們無一能整除n。對於較大或一些具特別形式（如梅森數）的自然數，人們通常使用較有效率的演算法測試其是否為質數（例如277232917-1是直至2017年底為止已知最大的梅森質數）。雖然人們仍未發現可以完全區別質數與合數的公式，但已建構了質數的分佈模式（亦即質數在大數時的統計模式）。19世紀晚期得到證明的質數定理指出：一個任意自然數n為質數的機率反比於其數位（或n的對數）。 許多有關質數的問題依然未解，如哥德巴赫猜想（每個大於2的偶數可表示成兩個素數之和）及孿生質數猜想（存在無窮多對相差2的質數）。這些問題促進了數論各個分支的發展，主要在於數字的解析或代數方面。質數被用於資訊科技裡的幾個程序中，如公鑰加密利用了難以將大數分解成其質因數之類的性質。質數亦在其他數學領域裡形成了各種廣義化的質數概念，主要出現在代數裡，如質元素及質理想。.
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
非负整数
非負整數，就是數字前沒有加負號，亦指其絕對值等於其原數值。與正整數差一個數字。即為零，一個實数的平方必為非負整數。.
計數
計數是一個重複加（或減）1的數學行為，通常用於算出物件有多少個或放置想要之數目個物件（對第一個物件從一算起且將剩下的物件和由二開始的自然數做一對一對應）。此外，計數亦可以被（主要是被兒童）使用來學習數字名稱和數字系統的知識。 內含計數通常會使用在計算日曆的天數上。通常，當從星期天開始計數8天：星期一會是「第一天」，星期二為「第二天」，而下一個星期一則會是「第八天」。當內含地計數時，星期天(開始那天)會是「第一天」，而因此下一個星期天則會是「第八天」。例如：法語中兩星期為quinze jours(15日)，類似地在希臘語(δεκαπενθήμερο)和西班牙語(quincena)也都是以數字15為基。這種習慣也出現在其他的日曆上：在羅馬曆上，nones(九)是在ides的八天前；而在西曆中，Quinquagesima(四旬齋前的星期日，有50之意)在復活節的49天前。 計數有時會包括1以外的數字－例如，當計數金錢或變化時，或當「加二計數」(2,4,6,8,10,12,...)或「加五計數」(5,10,15,20,15,...)時。 由現今的考古證據可以推測人類計數的歷史至少有五萬年，並由此發展導致出數學符號及記數系統的發展。古代文化主要使用計數在記錄如負債和資本等經濟資料(即會計)。.
计算机科学
计算机科学用于解决信息与计算的理论基础，以及实现和应用它们的实用技术。 计算机科学（computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业（比如信息技术），或者只是与使用计算机的经验有关，如玩游戏、上网或者文字处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着数据和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆，起源于信息（information）和数学或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。 著名计算机科学家Edsger Dijkstra曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如心理学，认知科学，语言学，数学，物理学，统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如Kurt Gödel和Alan Turing，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。.
輾轉相除法
在数学中，辗转相除法，又称欧几里得算法（Euclidean algorithm），是求最大公约数的算法。辗转相除法首次出现于欧几里得的《几何原本》（第VII卷，命题i和ii）中，而在中国则可以追溯至东汉出现的《九章算术》。 两个整数的最大公约数是能够同时整除它们的最大的正整数。辗转相除法基于如下原理：两个整数的最大公约数等于其中较小的数和两数的差的最大公约数。例如，252和105的最大公约数是21（）；因为，所以147和105的最大公约数也是21。在这个过程中，较大的数缩小了，所以继续进行同样的计算可以不断缩小这两个数直至其中一个变成零。这时，所剩下的还没有变成零的数就是两数的最大公约数。由辗转相除法也可以推出，两数的最大公约数可以用两数的整数倍相加来表示，如。这个重要的結論叫做貝祖定理。 辗转相除法最早出现在欧几里得的《几何原本》中（大约公元前300年），所以它是现行的算法中歷史最悠久的。这个算法原先只用来处理自然数和几何长度（相當於正實數），但在19世纪，辗转相除法被推广至其他类型的數學對象，如高斯整数和一元多项式。由此，引申出欧几里得整环等等的一些现代抽象代数概念。后来，辗转相除法又扩展至其他数学领域，如纽结理论和多元多项式。 辗转相除法有很多应用，它甚至可以用来生成全世界不同文化中的传统音乐节奏。在现代密码学方面，它是RSA算法（一种在电子商务中广泛使用的公钥加密算法）的重要部分。它还被用来解丢番图方程，比如寻找满足中国剩余定理的数，或者求有限域中元素的逆。辗转相除法还可以用来构造连分数，在施图姆定理和一些整数分解算法中也有应用。辗转相除法是现代数论中的基本工具。 辗转相除法处理大数时非常高效，如果用除法而不是减法实现，它需要的步骤不会超过较小数的位数（十进制下）的五倍。拉梅于1844年证明了这点，同時這也標誌著计算复杂性理论的開端。.
良序关系
在数学中，集合S上的良序关系（或良序）需要满足：1.是在S上的全序关系2.
集合
集合可以指：.
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
除法
数学中，尤其是在基本计算裏，除法可以看成是「乘法的反运算」，也可以理解为「重复的减法」。除法运算的本质就是「把参与运算的除数变为1，得出被除数的值」。 例如：6 \div 3.
正整數
正整數，在数学中是指大於0的整數。正整數是正数与整数的交集。和整數一样，正整數也是一個可數的無限集合。這個集合在数学上通常用粗體Z+或\mathbb^+来表示。在数论中，正整數也可稱為自然数，即1、2、3……；但在集合论和计算机科学中，自然数则通常是指非负整数，即正整數与0的 集合。.
毕达哥拉斯主义
毕达哥拉斯主义是一个用于描述毕达哥拉斯和他的追随者所持的秘教和形而上学的思想学说的术语。他們都深受數學所影響。毕达哥拉斯主义起源于公元前5世纪，對柏拉图主义有重要影響。毕达哥拉斯学说在之后的复兴导致现在称为新毕达哥拉斯主义的哲学学派。.
新！!: 自然数和毕达哥拉斯主义 · 查看更多 »
朱塞佩·皮亞諾
朱塞佩·皮亞諾 Giuseppe Peano（1858年8月27日－1932年4月20日）是義大利數學家、邏輯學家、語言學家。.
新！!: 自然数和朱塞佩·皮亞諾 · 查看更多 »
有限集合
数学中，一个集合被称为有限集合，簡單來說就是元素個數有限，嚴格而言則是指有一个自然数n使该集合与集合之间存在双射。例如 -15到3之间的整数组成的集合，这个集合有19个元素，它跟集合存在雙射，所以它是有限的。不是有限的集合称为无限集合。 也就是说如果一个集合的基数是自然数，那这个集合就是有限的。所有的有限集合都是可数的，但并不是所有的可数集都是有限的，例如所有素数的集合。 有一个定理（戴德金定理）是：一个集合是有限的当且仅当不存在一个该集合与它的任何一个真子集之间的双射。 I I.
无穷公理
在公理化集合论和使用它的逻辑、数学和计算机科学中，无穷公理是 Zermelo-Fraenkel 集合论的公理之一。.
无限集合
无限集合是由无限个元素组成的集合，也称无穷集合。集合論中，集合主要分為有限集合與無限集合，有限集合很多的性質也是顯而易見的，反之，因為無限集合的非有限性，即使無限集合的一些基本性質也變得並不顯而易見，個別的數學家甚至質疑諸如选择公理等基本公設使用在無限集合身上是否仍然正確。罗素悖论提出以後，一些激進的數學哲學家提倡禁止在數學中使用無限集合以挽救第三次數學危機。 無限集合在數學中無處不在，一般常見的例子有整數集、有理集等。一般來說，無限集合還分為可數集和不可數集。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
数学归纳法
数学归纳法（Mathematical Induction、MI、ID）是一种数学证明方法，通常被用于证明某个给定命题在整个（或者局部）自然数范围内成立。除了自然数以外，广义上的数学归纳法也可以用于证明一般良基结构，例如：集合论中的树。这种广义的数学归纳法应用于数学逻辑和计算机科学领域，称作结构归纳法。 虽然数学归纳法名字中有“归纳”，但是数学归纳法并非不严谨的归纳推理法，它属于完全严谨的演绎推理法。事實上，所有數學證明都是演繹法。.
数码
#重定向 數碼.
数论
數論是纯粹数学的分支之一，主要研究整数的性質。被譽為「最純」的數學領域。 正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等，即。很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。 整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。 數論早期稱為算術。到20世紀初，才開始使用數論的名稱，而算術一詞則表示「基本運算」，不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。1952年時數學家Harold Davenport仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」。 卡尔·弗里德里希·高斯曾說：「數學是科學的皇后，數論是數學的皇后。.
整数
整数，是序列中所有的数的统称，包括负整数、零（0）与正整数。和自然數一樣，整數也是一個可數的無限集合。這個集合在数学上通常表示粗體Z或\mathbb，源于德语单词Zahlen（意为“数”）的首字母。 在代數數論中，這些屬於有理數的一般整數會被稱為有理整數，用以和高斯整數等的概念加以區分。.
0
0（〇／零）是-1与1之间的整数。0既不是正数也不是负数。0是偶数。在数论中，0不属于自然数；在集合论和计算机科学中，0属于自然数。0在整数、实数和其他的代数結構中都有著單位元這個很重要的性質。.
