>>958
成功してる、2階述語論理からペアノ公理相当の定理がでるとはフレーゲが発見
あとトーマスライトらいとじゃなくてクリスピンライトだった