Würde fa darum im f(∃) untergehen weil dieses schon eine Disjunktion wäre, so würde eine Disjunktion der Art f(∃) ⌵ f(a) ⌵ f(b) ⌵ f(c) = f(a) ⌵ f(b) ⌵ f(c) sein. In Wirklichkeit liegt es aber in der Natur des f(∃) daß das nicht
eintritt.