词 语 解 释

词语： 数学命题

词语解释： 主要包括公理、定理、公式。