/  
Ich kann fragen „welche Lösung hat die Gleichung x² = 2x, aber ich kann nicht fragen „hat sie eine Lösung”. Denn, wie würde das aussehen, wenn sie keine L hätte? (Nicht extensiv!) Erst wenn ich weiß was der Fall ist wenn ein Satz falsch ist, hat er einen Sinn. – Wenn nun aber jener andere Fall etwa der der Gleichung „(∃x) x² ‒ 2x ‒ x(x ‒ 2) = 0” wäre? Dann hätte der Satz (∃x) x² = 2x allerdings Sinn & sein Beweis wäre daß die Regeln es nicht gestatten die Seiten gegeneinander zu kürzen.