第三节 逻辑应用于数学证明研究