While ST is silent as to whether there is a maximal type, a transfinite number of types poses no difficulty.
Αν και το ST δε μας λέει αν υπάρχει ένας μέγιστος τύπος ένας υπερπεπερασμένος αριθμός τύπων δεν παρουσιάζει δυσκολία.