公理化 编辑
数学上，一个公理系统是一个公理的集合，从中一些或全部公理可以一并用来逻辑地导出定理。一个数学理论由一个公理系统和所有它导出的定理组成。一个完整描述出来的公理系统是形式系统的一个特例；但是通常完全形式化的努力仅带来在确定性上递减的收益，并让人更加难以阅读。所以，公理系统的讨论通常只是半形式化的。一个形式化理论通常表示一个公理系统，例如在模型论中表述的那样。一个形式化证明是一个证明在形式化系统中的表述。
2
相关
经济学方法，一般指研究或者应用经济学时采用的各类方法。主要包括数学方法、计量方法、历史方法、公理化与形式化方法等等。
安德雷·尼古拉耶维奇·柯尔莫哥洛夫，俄国数学家，主要研究概率论、算法信息论、拓扑学、直觉主义逻辑、紊流、经典力学和计算复杂性理论，最为人所道的是对概率论公理化所作出的贡献。他曾说：“概率论作为数学学科，可以而且应该从公理开始建设，和几何、代数的路一样”。
安德雷·尼古拉耶维奇·柯尔莫哥洛夫，俄国数学家，主要研究概率论、算法信息论、拓扑学、直觉主义逻辑、紊流、经典力学和计算复杂性理论，最为人所道的是对概率论公理化所作出的贡献。他曾说：“概率论作为数学学科，可以而且应该从公理开始建设，和几何、代数的路一样”。
安德雷·尼古拉耶维奇·柯尔莫哥洛夫，俄国数学家，主要研究概率论、算法信息论、拓扑学、直觉主义逻辑、紊流、经典力学和计算复杂性理论，最为人所道的是对概率论公理化所作出的贡献。他曾说：“概率论作为数学学科，可以而且应该从公理开始建设，和几何、代数的路一样”。
安德雷·尼古拉耶维奇·柯尔莫哥洛夫，俄国数学家，主要研究概率论、算法信息论、拓扑学、直觉主义逻辑、紊流、经典力学和计算复杂性理论，最为人所道的是对概率论公理化所作出的贡献。他曾说：“概率论作为数学学科，可以而且应该从公理开始建设，和几何、代数的路一样”。
安德雷·尼古拉耶维奇·柯尔莫哥洛夫，俄国数学家，主要研究概率论、算法信息论、拓扑学、直觉主义逻辑、紊流、经典力学和计算复杂性理论，最为人所道的是对概率论公理化所作出的贡献。他曾说：“概率论作为数学学科，可以而且应该从公理开始建设，和几何、代数的路一样”。
安德雷·尼古拉耶维奇·柯尔莫哥洛夫，俄国数学家，主要研究概率论、算法信息论、拓扑学、直觉主义逻辑、紊流、经典力学和计算复杂性理论，最为人所道的是对概率论公理化所作出的贡献。他曾说：“概率论作为数学学科，可以而且应该从公理开始建设，和几何、代数的路一样”。
安德雷·尼古拉耶维奇·柯尔莫哥洛夫，俄国数学家，主要研究概率论、算法信息论、拓扑学、直觉主义逻辑、紊流、经典力学和计算复杂性理论，最为人所道的是对概率论公理化所作出的贡献。他曾说：“概率论作为数学学科，可以而且应该从公理开始建设，和几何、代数的路一样”。
安德雷·尼古拉耶维奇·柯尔莫哥洛夫，俄国数学家，主要研究概率论、算法信息论、拓扑学、直觉主义逻辑、紊流、经典力学和计算复杂性理论，最为人所道的是对概率论公理化所作出的贡献。他曾说：“概率论作为数学学科，可以而且应该从公理开始建设，和几何、代数的路一样”。
在数理逻辑中弗雷格命题演算是第一个公理化的命题演算。它由弗雷格发明，他还在1879年发明了谓词演算，作为他的二阶谓词逻辑的一部分。