公理列表 这是一份数学公理列表在数学中公理这一词被用于两种相关但相异的意思之下逻辑公理和非逻辑公理 单独的公理一般情况下都是更大的公理系统的一部分