公理系统

gōng lǐ xì tǒng · ㄍㄨㄥ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ

修撰于 2026-06-30 19:05:22

拼音gōng lǐ xì tǒng
字母gong li xi tong
首字母glxt
注音ㄍㄨㄥ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ
注音符号ㄍㄨㄥ ㄌㄧ ㄒㄧ ㄊㄨㄥ

广

数学上,一个公理系统(或称公理化系统,公理体系,公理化体系)是一个公理的集合,从中一些或全部公理可以用来一起逻辑的导出定理。