gōng lǐ xì tǒng · ㄍㄨㄥ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ · 更新 2026-06-29 21:16:56
数学上，一个公理系统（或称公理化系统，公理体系，公理化体系）是一个公理的集合，从中一些或全部公理可以用来一起逻辑的导出定理。