德国天文学家提丢斯建立的数列推动发现了冥王星。

德国天文学家提丢斯建立的数列解决了太阳系行星与太阳距离的问题。

判断题德国天文学家提丢斯建立的数列解决了太阳系行星与太阳距离的问题。

莱布尼茨发表的第一篇微积分论文中，用微积分证明了折射定律。

判断题莱布尼茨发表的第一篇微积分论文中，用微积分证明了折射定律。

阿尔·海森通过实验发现了折射定律，但无法推导出来。

判断题阿尔·海森通过实验发现了折射定律，但无法推导出来。