一种逻辑系统，它拥有一组明确陈述的集合公理，从中可以推导出定理。
更多尝试
Weisstein, Eric W. "公理系统。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/AxiomaticSystem.html
主题
主题