公理系统 数学上一个公理系统英語axiomatic system或称公理化系统公理体系公理化体系是一个公理的集合从中一些或全部公理可以一併用來逻辑地导出定理一个数学理论由一个公理系统和所有它导出的定理组成一个完整描述出来的公理系统是形式系统的一个特例但是通常完全形式化的努力僅带来在确定性上递减的收益并让人更加難以阅读所以公理系统的讨论通常只是半形式化的一个形式化理论通常表示一个公理系统例如在模型论中表述的那样一个形式化证明是一个证明在形式化系统中的表述