Ist L4 so ist es klar daß
der Stab || die Länge
des 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
expli
zit 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)
keine unendliche Disjunktion || hier keine Disjunktion
bedeutet.