Wie ist der Satz zu erklären: „Der rote Kreis liegt zwischen den beiden lotrechten Strichen”? Er scheint von der Form (∃n)Fn zu sein. Und n kann unendlich viele Werte haben.