5.534 E ora vediamo che pseudo-proposizioni come «a = a», «a = b . b = c. ⊃ a = c», «(x) . x = x», «(∃x) . x = a», ecc. in un'ideografia corretta non possono essere scritte affatto.