Wie beweise ich einen Satz „(n) ∙ φn”? Durch einen variablen Beweis. Aus dem variablen Satz φn schließe ich erst auf (n) ∙ φn. – Wie beweise ich ~(n) ∙ φn? Durch Angabe eines Falles ~φa. Daraus schließe ich erst ~(n) ∙ φn.
     Nun scheinen die letzten Sätze eine vollständige Disjunktion zu geben, aber nicht die, die eigentlich bewiesen sind.