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 Implikation in dem Satz “k ist eine Subklasse von K” enthalten das, was der Satz, K sei [3|e]ine un-endliche Klasse, sagt. // Die grammatischen Regeln über die A[o|l]lgemeinheit der // jener // generellen Implikation im Satz “k ist eine Subklasse von K” … //