5.3.2 命题、定理、公理