原问题指的是经典逻辑系统里使用simple typed lambda表示高阶的逻辑系统（详见Peter Andrews的Introduction to Mathematical Logic and Type Theory一书，同样的系统Andrews也在一些逻辑学手册里写过
++++
个人看法，逻辑学课上如果讲了这个simple type的逻辑系统，有学生问出这样的问题，ta应该都没有gpt这么自信的给答案，![\[二哈\]](https://face.t.sinajs.cn/t4/appstyle/expression/ext/normal/22/2018new_erha_org.png "[二哈]")
原问题指的是经典逻辑系统里使用simple typed lambda表示高阶的逻辑系统（详见Peter Andrews的Introduction to Mathematical Logic and Type Theory一书，同样的系统Andrews也在一些逻辑学手册里写过
++++
个人看法，逻辑学课上如果讲了这个simple type的逻辑系统，有学生问出这样的问题，ta应该都没有gpt这么自信的给答案，