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 Implication in dem Satz daß „k ist eine Subklasse von K” ist enthalten das was der Satz, K sei eine unendlich Klasse, sagt. [ Die grammatischen Regeln über die Allgemeinheit
jener
der
generellen Implication im Satz „k ist eine Subklasse von K” … ] .


\