ST is "simple" (relative to the type theory of Principia Mathematica) primarily because all members of the domain and codomain of any relation must be of the same type.
Το ST είναι «απλό» (σε σχέση με τη θεωρία τύπων του Principia Mathematica) κυρίως γιατί όλα τα μέλη του πεδίου και του συμπληρωματικού πεδίου (co-domain) μιας σχέσης πρέπει να είναι του ίδιου τύπου.