Template:Individual-TLP-paragraph-es-5.557

5.557 La aplicación de la lógica decide sobre qué proposiciones elementales hay.

Lo que reside en la aplicación, la lógica no lo puede anticipar.

Eso está claro: la lógica no debe colisionar con su aplicación.

Pero la lógica debe tocarse con su aplicación.

Así, la lógica y su aplicación no deben solaparse mutuamente.