Procedimiento orientado a establecer relaciones (por tanto, proposiciones) a partir de otras relaciones dadas. [190] Las demostraciones científicas presuponen dados contextos determinados (presuponen, por tanto, definiciones). Las demostraciones científicas son categoriales, porque las relaciones establecidas son identidades sintéticas; por tanto, las demostraciones no son mera «aplicación» de estructuras lógico formales de la derivación (deductiva, inductiva, abductiva); éstas son interpretables (desde la TCC), como construcciones que requieren, en su plano, definiciones, demostraciones, &c., llevadas a cabo en un campo material de símbolos algebraicos.

{TCC 1396-1397 / → TCC 143}