Re: Implica el materialismo eliminativo al ateísmo fuerte?

Claro, no podés decir que las propiedades son funciones de identidad si no tienen mismo dominio y codominio. Y tampoco podés decir que el dominio de esas funciones es R porque estarías suponiendo que existe una biyección entre R (conjunto no numerable) y el conjunto de objetos en el Universo (finito), lo cual es falso. Además, como mencionó Daneel, que una función tenga codominio no acotado no implica que no alcance un máximo. Para eso deberías pedir algo así como que esa función sea sobreyectiva (alcanza con pedir menos).

Pero bueno, si no se aclara nada no tiene mucho sentido decir que la demostración está mal porque no se puede adivinar a qué objetos matemáticos se refieren palabras como «propiedad», «número», «miden» o «grado». De hecho, es irónico que enuncies como «axiomas» que las propiedades se miden en números que no alcanzan un máximo, ya que en Teoría de la Medida una medida es una función que puede tomar valores en R y en infinito (e.g., la medida de Lebesgue del conjunto R vale infinito). O sea, según una interpretación que se puede hacer de tu «demostración», los axiomas que planteás no son ni fundamentos lógicos de la matemática, ni resultados que ya se sabe que son verdaderos (hasta se sabe que son falsos), sino que son consecuencia del abuso de términos matemáticos utilizados en lenguaje natural para suponer que algo es verdadero sin demostrarlo.