5.534 Et nous voyons maintenant que des pseudo-propositions telles que : « a = a », « a = b . b = c . ⊃ a = c », « (x) . x = x », « (∃x) . x = a », etc., ne se laissent absolument pas écrire dans une idéographie correcte.