数学中的逻辑与表达