This is an example of an isolated type, since the formula x = 1 + 1 {\displaystyle x=1+1} implies all other formulas that are true about the number 2.
Dies ist ein Beispiel für einen isolierten Typ, da die Formel x = 1 + 1 {\displaystyle x=1+1} alle anderen Formeln impliziert, die für die Zahl 2 gelten.