说得有洞见。爱因斯坦的思想实验，其实就是演绎法的高峰。