Popper Karl - La Logica de la Investigacion Cientifica

298 La lógica de la investigación científica
(Se tiene un ejemplo de interpretación de «pa{x^)iy en el sentido de 3)
—o sea, de la interpretación lógica— con el concepto de «probabilidad
lógica» que be empleado en anterioies publicaciones*.)
Ahora bien, es posible realizar paso a paso toda la construcción
empezando por el otro extremo: en lugar de introducir «p(x,, Xj)»
como concepto primitivo (funtor primitivo) de un sistema axiomático
«1, y definir explícitamente «pa{x^)y>, podemos construir otro sistema
de axiomas s-^ en el que aparezca «píi(,r,)» como variable primitiva
(no definida), y en el que pasemos después a definir explícitamente