Der Satz, dass eine Klasse einer ihrer Subklassen nicht ähnlich ist, ist für endliche Klassen nicht wahr, sondern eine Tautologie. Die grammatischen Regeln über die Allgemeinheit der generellen Impli-
749
kation in dem Satz “k ist eine Subklasse von K” enthalten das, was der Satz, K sei eine unendliche Klasse, sagt. // Die grammatischen Regeln über die Allgemeinheit der // jener // generellen Implikation im Satz “k ist eine Subklasse von K” … //