5.452

La introducción de un nuevo recurso en el simbolismo de la lógica debe siempre ser un evento de gran importancia. Ningún nuevo recurso debe ser introducido en la lógica – por así decirlo, con semblante completamente inocente – entre paréntesis o al pie de la línea.