公理系统

基本属性

  • 拼音字母gong li xi tong
  • 拼音首字母glxt
  • 注音符号ㄍㄨㄥ ㄌㄧ ㄒㄧ ㄊㄨㄥ

扩展释义

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

相关推荐