小不点搜索 登录
搜索哥德尔不完备定理对逻辑学的影响相关的资源，先验证一下操作