Axiomatic System

在数学中，公理系统是一个公理的集合，从中一些或者全部公理可以用于逻辑的推导出定理。