Der Satz, daß 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 Implikation in dem Satz daß „k eine Subklasse von K” ist || „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”.