31.1 公理和定理