单项选择题
形式的公理化方法：即从一批公理、定义出发，通过逻辑推理，得到一系列结论的方法。这种形式的公理化方法在逻辑上的要求，就是满足（）。
A.相容性、独立性和完全性
B.精确性，一致性和完全性
C.同步性，严格性和独立性
D.精确性，独立性和完全性
点击查看答案&解析
相关考题
-
单项选择题
吴文俊几何定理的机械化证明的创新在于它没有走国际通用的（）方法的老路子。
A.几何
B.推理
C.逻辑
D.归纳 -
单项选择题
统计与数学的主要区别：（）
A.数学可以有误差
B.统计要求精确
C.数学研究从数据出发
D.统计可以有误差 -
单项选择题
费希尔曾经营过一个农场，他种地与众不同。他的方法是找来一个方块地，横、竖各分成3等份，在这9块方地里分别种a，b，c这3个品种作物。好处是无论横、竖看，3个品种都种了，且是同样大小的一块，从而来验证农作物品种的真实情况。费希尔称这个方块叫：（）
A.等分
B.平均数
C.拉丁方
D.SPC
