the logical analysis of mathematical reasoning.

• 数学推理的逻辑分析。