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