Sean r ϵ R un número real, y n ϵ N un número natural. Entonces, definimos el predicado de acción φr,n mediante:
φr,n =Def '... calcula la n-ésima cifra de la expansión decimal de r'
¿Cuántos predicados distintos hay de esta clase? Exactamente:
El ser omnipotente es capaz de ejecutar el predicado conjunción lógica de dicha clase:
No hay comentarios:
Publicar un comentario