現実的操作手順とは無関係に命題が証明されることがあります。

背理法で、命題を証明。しかし、具体的に結論を導く方法が示されていないというときがあります。

現実離れした内容を導き出すこともある数学の推論規則です。