檢視公理系统的原始碼

{| class="wikitable" align="right"

|-

| style="background: #66CCFF" align= center|  '''<big>公理系统</big> '''

|-

|[[File:公理系统1.jpg|缩略图|居中|[https://gimg2.baidu.com/image_search/src=http%3A%2F%2Fnimg.ws.126.net%2F%3Furl%3Dhttp%253A%252F%252Fdingyue.ws.126.net%252F2021%252F0808%252F26e24de9p00qxixwa0035c0014000mic.png%26thumbnail%3D650x2147483647%26quality%3D80%26type%3Djpg&refer=http%3A%2F%2Fnimg.ws.126.net&app=2002&size=f9999,10000&q=a80&n=0&g=0n&fmt=jpeg?sec=1632989191&t=9f9c23d244c97434ce1f87b1f2cb327a 原图链接]]]

|-

| style="background: #66CCFF" align= center|

|-

| align= light|

中文名: 公理系统

外文名: Armstrong's axiom

别 名: 公理化系统

类 型: [[系统]]

性 质: [[集合]]

应用学科: [[数学]]

|}

'''公理系统'''数学上，（或称公理化系统，公理体系，公理化体系）是一个公理的集合，从中一些或全部公理可以用来一起逻辑的导出定理。<ref>[https://www.zhihu.com/topic/20002741/top-answers 公理系统],知乎, </ref>