形式的公理化方法:即从一批公理、定义出发,通过逻辑推理,得到一系列结论的方法。这种形式的公理化方法在逻辑上的要求,就是满足()。
A. 相容性、独立性和完全性
B. 精确性,一致性和完全性
C. 同步性,严格性和独立性
D. 精确性,独立性和完全性
查看答案
芝诺悖论的症结在于()与()的矛盾。
A. 大小 方向
B. 快 慢
C. 有限 无限
D. 时间 空间
圆的一个特性是圆的()与()之比总是常数,且这个常数就是圆周率。
A. 直径 面积
B. 直径 半径
C. 面积 周长
D. 周长 直径
统计与数学的主要区别:()
A. 数学可以有误差
B. 统计要求精确
C. 数学研究从数据出发
D. 统计可以有误差
吴文俊几何定理的机械化证明的创新在于它没有走国际通用的()方法的老路子。
A. 几何
B. 推理
C. 逻辑
D. 归纳