Ist L4 so ist es klar daß ˇdie Länge de[r|s] Stabes zwischen 2 & 5 liegt. Und die Form Ln muß doch in jedem Fall bestehen. Gibt es eine Variable 2 ˂ n ˂ 5 so muß ich aber auch schreiben können L(2 ˂ n ˂ 5) und diese Form hat nun die unendlichen Möglichkeiten, die ich nicht explicit werden lassen darf. Die Schwierigkeit aber ist daß aus L4 folgen muß daß L(2 ˂ n ˂ 5)! Es scheint doch klar, daß man den Satz durch (∃2 ˂ n ˂ 5) ∙ Ln ausdrücken kann &
ebenso klar ist daß das (∃2 ˂ n ˂ 5)
hier keine Disj.
keine unendliche Disjunktion
bedeutet.