一种逻辑系统，它具有一个明确规定的设置属于公理从中定理可以导出。
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“公理系统。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/AxiomaticSystem.html
