数学上，一个公理系统（或称公理化系统，公理体系，公理化体系）是一个公理的集合，从中一些或全部公理可以用来一起逻辑的导出定理。
欢迎使用中华汉语词典！我们致力于提供最全面的汉语词语查询服务，包括成语解释、近义词反义词、组词等。如有任何问题，欢迎联系我们。