临高启明 第三十节 17世纪的推理