Wenn man sagt, es wäre möglich, mit Hilfe der Tautologie
(∃_n2x).fx & (∃_n3x).Fx & Ind. . ⊃ . (∃_n5x).fx ⌵ Fx. … A) zu addieren, so wäre das folgendermaßen zu verstehen: Zuerst ist es möglich, nach gewissen Regeln herauszufinden, daß
     (∃_nx).fx & (∃_nx).Fx & Ind. . ⊃ . (∃_nx,y):fx ⌵ Fx . & . fy ⌵ Fy tautologisch ist. (∃_nx).fx ist eine Abkürzung für
     (∃x).fx & non (∃x,y). fx & fy. Ich werde ferner Tautologien der Art A zur Abkürzung so schreiben: (Е) & (') C (Е)
     So geht also aus den Regeln hervor, daß (Еx) & (Еx) C (Еx,y), (Еx,y) & (Еx) C (Еx,y,z) und andere Tautologien. Ich schreibe “und andere” und nicht “u.s.w. ad inf.”, weil man mit diesem Begriff noch