数学上，一个公理系统（或称公理化系统，公理体系，公理化体系）是一个公理的集合，从中一些或全部公理可以用来一起逻辑的导出定理。
欢迎使用天禾词语词典！我们收录海量汉语词汇，提供成语、近义词、反义词及组词查询。专业团队维护，数据准确，查询便捷。如有问题，欢迎反馈。