Estoy leyendo un libro sobre la Filosofía de la Matemática, y el autor le dio un "5-línea" a prueba del Último Teorema de Fermat como una forma de introducir el tema de la inconsistencia de la teoría de conjuntos y la lógica. El autor reconoce que esta no es una verdadera prueba del teorema, pero la forma en que se presentó implica que se suponía que iba a ser un poco convincentes. Yo, sin embargo, no tienen absolutamente ninguna idea de cómo la prueba dado, incluso de forma remota se refiere a la FLT, y agradecería mucho si alguien pudiera hacer la conexión para mí. A continuación es casi literal extracto del libro.
Teorema: no Hay números enteros positivos $x$, $y$, y $z$, y entero $n>2$, de tal manera que $x^n + y^n = z^n$.
Prueba. Deje $R$ soporte para el conjunto de Russell, el conjunto de todas las cosas que no son miembros de sí mismos: $R= \{x : x \notin x\}$. Es sencillo demostrar que este conjunto es un miembro de sí mismo y no un miembro de la misma: $R \in R$$R \notin R$. Así que desde $R \in R$, se deduce que el $R \in R$ o FLT. Pero desde $R \notin R$, por disyuntiva silogismo, FLT. Final.
