下列说法不正确的是（）
A. 应用吴方法可以判定一个几何定理在哪些条件下成立
B. 应用吴方法可以判定一个几何定理在哪些条件下不成立
C. 应用吴方法证明几何定理所产生的非退化条件没有任何几何意义
D. （无）
下列说法正确的是（）
A. 存在一个计算机程序，能够自动判定任何一个数学命题是否成立
B. 存在一个形式推理系统，能够得到所有成立的数学命题
C. 存在数学定理，可以应用自动定理证明器进行自动证明
D. （无）
唐代进士及第后在曲江举行的庆祝大会又名（）
A. 曲江宴
B. 芙蓉宴
C. 杏园宴
D. 关宴
对于高速公路、一级公路，夏季温度高、高温持续时间长、重载交通及山区和丘陵区上坡路段、服务区、停车区等行车速度慢的路段，尤其是汽车荷载剪应力大的层次，宜采用（）。
A. 稠度小、60o C粘度大的沥青
B. 稠度小、60o C粘度小的沥青
C. 稠度大、60o C粘度大的沥青
D. 稠度大、60o C粘度小的沥青
微信支付 
支付宝支付