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 Satze eine [N|v]ollstandige Disjunktion zu geben, aber nicht die, die eigentlich bewiesen sind.