Auch wenn ich sage „aus (n)Fn folgen
alle
Sätze Fa”, so muß ich richtig
sagen „folgt
jeder Satz
Fa” (hier ist es
richtig
einen Unterschied zwischen alle
& jeder zu machen – alle gilt für endliche, jeder auch für
unendliche Mengen)
.
Jeder beliebige Satz Fa, d.h., jeder
der eventuell einmal gebraucht
werden kann || wird, folgt wirklich aus (n)Fa, aber nie alle Sätze
Fa,
nämlich aufgefaßt als eine unendliche Klasse, als eine unendliche
Extension. (﹖)