与公理相关的内容