数学实验可以代替代替逻辑推理。