释
公理系统
gōng lǐ xì tǒng · ㄍㄨㄥ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ
修撰于 2026-06-30 19:05:22
音义
| 拼音 | gōng lǐ xì tǒng |
|---|---|
| 字母 | gong li xi tong |
| 首字母 | glxt |
| 注音 | ㄍㄨㄥ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ |
| 注音符号 | ㄍㄨㄥ ㄌㄧ ㄒㄧ ㄊㄨㄥ |
广训
数学上,一个公理系统(或称公理化系统,公理体系,公理化体系)是一个公理的集合,从中一些或全部公理可以用来一起逻辑的导出定理。
gōng lǐ xì tǒng · ㄍㄨㄥ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ
修撰于 2026-06-30 19:05:22
| 拼音 | gōng lǐ xì tǒng |
|---|---|
| 字母 | gong li xi tong |
| 首字母 | glxt |
| 注音 | ㄍㄨㄥ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ |
| 注音符号 | ㄍㄨㄥ ㄌㄧ ㄒㄧ ㄊㄨㄥ |
数学上,一个公理系统(或称公理化系统,公理体系,公理化体系)是一个公理的集合,从中一些或全部公理可以用来一起逻辑的导出定理。