单项选择题 我们把反射、旋转、平移，或者它们的相继实施统称为（）

单项选择题 形式的公理化方法：即从一批公理、定义出发，通过逻辑推理，得到一系列结论的方法。这种形式的公理化方法在逻辑上的要求，就是满足（）。

单项选择题 吴文俊几何定理的机械化证明的创新在于它没有走国际通用的（）方法的老路子。