公理与命题是什么关系