The branch of mathematics that deals with the logic and consistency of mathematical proofs, formulas, and equations.

• 哲理数学数学的一个分支，以数学证明、公式和等式的逻辑性及稳定性为研究对象的学科