比浏览器更快的访问！之间公理和数学相似
公理和数学有（在联盟百科）28共同点: 域 (數學)，向量空间，大卫·希尔伯特，定理，实变函数论，实数，亚里士多德，几何学，公理，公理系统，皮亚诺公理，科学，算术，群，群论，複分析，證明，自然数，集合论，逻辑，抽象化，概率论，欧几里得，欧几里得几何，数学家，数理逻辑，数论，整数。
域 (數學)
在抽象代数中，域（Field）是一种可進行加、減、乘和除（除了除以零之外，「零」即加法單位元素）運算的代數結構。域的概念是数域以及四则运算的推广。 域是环的一种。域和一般的环的区别在于域要求它的元素（除零元素之外）可以进行除法运算，这等价于说每个非零的元素都要有乘法逆元。體中的運算关于乘法是可交换的。若乘法運算沒有要求可交換則稱為除環（division ring）或skew field。.
向量空间
向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何，幾何上的向量及相关的運算即向量加法，標量乘法，以及对運算的一些限制如封闭性，结合律，已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中，“向量”的概念不仅限于此，满足下列公理的任何数学对象都可被当作向量处理。譬如，實系數多項式的集合在定义适当的运算后构成向量空間，在代数上处理是方便的。单变元实函数的集合在定义适当的运算后，也构成向量空间，研究此类函数向量空间的数学分支称为泛函分析。.
大卫·希尔伯特
大卫·希尔伯特（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公分）。但是，古希臘畢達哥拉斯學派的數學家發現，只使用有理數無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數學理念；他們原以為：.
亚里士多德
亞里士多德（Αριστοτέλης，Aristotélēs，），古希腊哲学家，柏拉圖的學生、亚历山大大帝的老師。他的著作包含許多學科，包括了物理學、形而上學、詩歌（包括戲劇）、音乐、生物學、經濟學、動物學、邏輯學、政治、政府、以及倫理學。和柏拉圖、蘇格拉底（柏拉圖的老師）一起被譽為西方哲學的奠基者。亞里士多德的著作是西方哲學的第一個廣泛系統，包含道德、美學、邏輯和科學、政治和形而上学。 亞里士多德关于物理學的思想深刻地塑造了中世紀的學術思想，其影響力延伸到了文藝復興時期，雖然最終被牛頓物理學取代。在動物科學方面，他的一些意見仅在19世纪被确信是準確的。他的学术领域还包括早期关于形式逻辑理论的研究，最终这些研究在19世纪被合并到了现代形式逻辑理论裡。在形而上學方面，亞里士多德的哲學和神學思想在伊斯蘭教和猶太教的傳統上產生了深遠影響，在中世紀，它繼續影響着基督教神學，尤其是天主教教會的學術傳統。他的倫理學，虽然自始至终都具有深刻的影响，后来也随着新兴現代美德倫理的到来获得了新生。今天亞里士多德的哲學仍然活躍在學術研究的各个方面。在經濟學方面，亞里士多德對於經濟活動的分類與看法持續影響到中世紀與重農主義，直到被亞當斯密的古典經濟學派取代為止。雖然亞里士多德寫了許多論文和優雅的對話（西塞羅描述他的文學風格為“金河”），但是大多數人認為他的著作现已失散，只有大約三分之一的原创作品保存了下來。.
几何学
笛沙格定理的描述，笛沙格定理是欧几里得几何及射影几何的重要結果 幾何學（英语：Geometry，γεωμετρία）簡稱幾何。几何学是數學的一个基础分支，主要研究形狀、大小、圖形的相對位置等空間区域關係以及空间形式的度量。 許多文化中都有幾何學的發展，包括許多有關長度、面積及體積的知識，在西元前六世紀泰勒斯的時代，西方世界開始將幾何學視為數學的一部份。西元前三世紀，幾何學中加入歐幾里德的公理，產生的欧几里得几何是往後幾個世紀的幾何學標準。阿基米德發展了計算面積及體積的方法，許多都用到積分的概念。天文學中有關恆星和行星在天球上的相對位置，以及其相對運動的關係，都是後續一千五百年中探討的主題。幾何和天文都列在西方博雅教育中的四術中，是中古世紀西方大學教授的內容之一。 勒內·笛卡兒發明的坐標系以及當時代數的發展讓幾何學進入新的階段，像平面曲線等幾何圖形可以由函數或是方程等解析的方式表示。這對於十七世紀微積分的引入有重要的影響。透视投影的理論讓人們知道，幾何學不只是物體的度量屬性而已，透视投影後來衍生出射影几何。歐拉及高斯開始有關幾何物件本體性質的研究，使幾何的主題繼續擴充，最後產生了拓扑学及微分幾何。 在歐幾里德的時代，實際空間和幾何空間之間沒有明顯的區別，但自從十九世紀發現非歐幾何後，空間的概念有了大幅的調整，也開始出現哪一種幾何空間最符合實際空間的問題。在二十世紀形式數學興起以後，空間（包括點、線、面）已沒有其直觀的概念在內。今日需要區分實體空間、幾何空間（點、線、面仍沒有其直觀的概念在內）以及抽象空間。當代的幾何學考慮流形，空間的概念比歐幾里德中的更加抽象，兩者只在極小尺寸下才彼此近似。這些空間可以加入額外的結構，因此可以考慮其長度。近代的幾何學和物理關係密切，就像偽黎曼流形和廣義相對論的關係一樣。物理理論中最年輕的弦理論也和幾何學有密切關係。 几何学可見的特性讓它比代數、數論等數學領域更容易讓人接觸，不過一些几何語言已經和原來傳統的、欧几里得几何下的定義越差越遠，例如碎形幾何及解析幾何等。 現代概念上的幾何其抽象程度和一般化程度大幅提高，並與分析、抽象代數和拓撲學緊密結合。 幾何學應用於許多領域，包括藝術，建築，物理和其他數學領域。.
公理
在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b.
公理系统
数学上，一个公理系统（或称公理化系统，公理体系，公理化体系）是一个公理的集合，从中一些或全部公理可以一併用來逻辑地导出定理。一个数学理论由一个公理系统和所有它导出的定理组成。一个完整描述出来的公理系统是形式系统的一个特例；但是通常完全形式化的努力僅带来在确定性上递减的收益，并让人更加難以阅读。所以，公理系统的讨论通常只是半形式化的。一个形式化理论通常表示一个公理系统，例如在模型论中表述的那样。一个形式化证明是一个证明在形式化系统中的表述。.
皮亚诺公理
亚诺公理（Peano axioms），也称皮亚诺公设，是意大利数学家皮亚诺提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。.
科学
科學（Science，Επιστήμη）是通過經驗實證的方法，對現象（原來指自然現象，現泛指包括社會現象等現象）進行歸因的学科。科学活动所得的知识是条件明确的（不能模棱两可或随意解读）、能经得起检验的，而且不能与任何适用范围内的已知事实产生矛盾。科学原仅指对自然现象之规律的探索与总结，但人文学科也被越来越多地冠以“科学”之名。 人们习惯根据研究对象的不同把科学划分为不同的类别，传统的自然科学主要有生物學、物理學、化學、地球科學和天文學。逻辑学和数学的地位比较特殊，它们是其它一切科学的论证基础和工具。 科学在认识自然的不同层面上设法解决各种具体的问题，强调预测结果的具体性和可证伪性，这有别于空泛的哲学。科学也不等同于寻求绝对无误的真理，而是在现有基础上，摸索式地不断接近真理。故科学的发展史就是一部人类对自然界的认识偏差的纠正史。因此“科学”本身要求对理论要保持一定的怀疑性，因此它绝不是“正确”的同义词。.
算术
算術（arithmetic）是数学最古老且最簡單的一個分支，幾乎被每個人使用著，從日常生活上簡單的算數到高深的科学及工商业計算都會用到。一般而言，算術這一詞指的是記錄數字某些運算基本性質的数学分支。常用的运算有加法、減法、乘法、除法，有时候，更复杂的运算如指数和平方根，也包括在算术运算的范畴内。算术运算要按照特定规则来进行。 自然数、整数、有理数（以分數的形式）和实数（以十进制指数的形式）的运算主要是在小学和中学的时候学习。用百分比形式进行运算也主要是在这个时候学习。然而，在成人中，很多人使用计算器，计算机或者算盘来进行数学计算。 專業数学家有時會使用高等算術來指数论，但這不應該和初等算術相搞混。另外，算術也是初等代數的重要部份之一。.
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
群论
在数学和抽象代数中，群论研究名为群的代数结构。 群在抽象代数中具有基本的重要地位：许多代数结构，包括环、-zh-hant:體;zh-hans:域-和向量空间等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现，而且群论的研究方法也对抽象代数的其它分支有重要影响。线性代数群（linear algebraic groups）和李群作为群论的分支，在经历了重大的发展之后，已经形成相对独立的研究领域。 群论的重要性还体现在物理学和化学的研究中，因为许多不同的物理结构，如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。 群论中的重要结果，有限单群分类是20世纪数学最重要的结果之一。该定理的证明是集体努力的结果，它的证明出现在1960年和1980年之间出版的超过10,000页的期刊上。.
複分析
複變分析是研究複變函數，特別是亞純函數和複變解析函數的數學理論。 研究中常用的理论、公式以及方法包括柯西积分定理、柯西积分公式、留数定理、洛朗级数展开等。複變分析的应用领域较为广泛，在其它数学分支和物理学中也起着重要的作用。包括数论、应用数学、流体力学、热力学和电动力学。.
證明
在數學上，證明是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上，但通常會包含若干程度的自然語言，因此可能會產生一些含糊的部分。實際上，用文字形式寫成的數學證明，在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的數學实践、和的大部分检验。數學哲學就關注語言和邏輯在數學證明中的角色，和作為語言的數學。.
自然数
数学中，自然数指用于计数（如「桌子上有三个苹果」）和定序（如「国内第三大城市」）的数字。用于计数时称之为基数，用于定序时称之为序数。 自然数的定义不一，可以指正整数 (1, 2, 3, 4, \ldots)，亦可以指非负整数 (0, 1, 2, 3, 4, \ldots)。前者多在数论中使用，后者多在集合论和计算机科学中使用，也是 标准中所采用的定义。 数学家一般以\mathbb代表以自然数组成的集合。自然数集是一個可數的，無上界的無窮集合。.
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
抽象化
抽象化（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）。.
数学家
数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
数论
數論是纯粹数学的分支之一，主要研究整数的性質。被譽為「最純」的數學領域。 正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等，即。很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。 整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。 數論早期稱為算術。到20世紀初，才開始使用數論的名稱，而算術一詞則表示「基本運算」，不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。1952年時數學家Harold Davenport仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」。 卡尔·弗里德里希·高斯曾說：「數學是科學的皇后，數論是數學的皇后。.
整数
整数，是序列中所有的数的统称，包括负整数、零（0）与正整数。和自然數一樣，整數也是一個可數的無限集合。這個集合在数学上通常表示粗體Z或\mathbb，源于德语单词Zahlen（意为“数”）的首字母。 在代數數論中，這些屬於有理數的一般整數會被稱為有理整數，用以和高斯整數等的概念加以區分。.
上面的列表回答下列问题
- 什么公理和数学的共同点。
- 什么是公理和数学之间的相似性
公理和数学之间的比较
公理有75个关系，而数学有219个。由于它们的共同之处28，杰卡德指数为9.52% = 28 / (75 + 219)。
参考
本文介绍公理和数学之间的关系。要访问该信息提取每篇文章，请访问：
