5.452 A introdução de um nôvo recurso no simbolismo da lógica sempre há de ser um acontecimento pleno de conseqüências. Nenhum recurso nôvo há de ser introduzido na lógica — entre parênteses ou à margem — por assim dizer, com cara inocente.

(Aparecem nos Principia Mathematica de Russell e Whitehead definições e princípios em palavras. Por que de repente palavras? Isto demanda uma justificação, que falta e deve faltar, pois o procedimento não é de fato permitido.)

Se todavia a introdução de nôvo recurso se provou necessária, deve-se perguntar imediatamente: onde êsse recurso deve ser sempre empregado? Sua localização na lógica deve ser esclarecida.