海王星是靠什么发现的

从许多形式逻辑著作中发现，逻辑学家们多次为攉、氩和海王星是运用剩余法发现的，至少是在生发现这些元素或天体过程中运用了剩余法。我以为这些发现和剩余法根本无关。本文仅以海王星发现过程为例，试作祖线分析，向专家们请教。