Template:Individual-TLP-paragraph-es-5.451

5.451 Si la lógica tiene conceptos fundamentales, entonces deben ser independientes entre ellos. Si se introduce un concepto fundamental, entonces debe ser introducido en todas las conexiones en las que puede ocurrir en cualquier caso. No se puede, pues, introducirlo primero para una conexión, luego otra vez para alguna otra. Por ejemplo, si es introducida la negación, entonces debemos entenderla ahora en proposiciones de la forma «~p» igual que en proposiciones como «~(p ∨ q)», «(∃x) . ~fx», entre otras. No debemos introducirla primero para una clase de casos, entonces para la otra, pues entonces permanecería dudosa, si su significado en ambos casos fuera el mismo y no hubiera disponible ninguna razón para usar en ambos casos el mismo tipo de conexión de signos.

(Brevemente, para la introducción de un signo primitivo vale, mutatis mutandis, lo mismo que Frege (Los fundamentos de la aritmética) ha dicho para la introducción de signos mediante definiciones).