5.5351

Existem certos casos em que se é tentado a usar expressões da forma: “a = a”, ou “p ⊃ p” e outras. E isto com efeito acontece quando se deve falar da protofiguração: proposição, coisa, etc. Russell, nos Principles of Mathematics transpôs o absurdo “p é uma proposição” no símbolo “p ⊃ p”, tomando-o como hipótese diante de certas proposições a fim de que os lugares dos argumentos destas só pudessem ser ocupados por proposições.