5.534 Vemos então que pseudoproposições como: “a = a”, “a = b . b = c . ⊃ a = c”, “(x) . x = x”, “(∃x) . x = a”, etc., não se deixam inscrever de modo algum numa ideografia correta.