[escepticos] RE De la existencia (Pepet)

[Jose Ramón Brox]

Pepet:

>Aplico la siguiente definición de igualdad: "Diremos que dos objetos A y B
>son iguales  si para toda proposicion p, p(A) tiene el mismo valor de verdad
>que p(B)

Por curiosidad, ¿cómo generalizarías la definición para incluir proposiciones no 
decidibles? ¿Qué harías si los valores de verdad de p(A) y de p(B) no pudieran ser 
determinados? ¿Y si p(A) fuera indecidible pero no p(B), y para el resto de proposiciones 
q se tuviera que q(A)=q(B)?

Saludos intrigantes
Jose