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. (﹖)