Se cree ampliamente y extremadamente firmemente que no es posible probar la afirmación 2 = 1 (siempre que estemos de acuerdo con las interpretaciones comunes de los símbolos “2” y “=” y “1”) dentro de las bases comúnmente utilizadas de las matemáticas (por lo general, Zermelo-Frenkel establece la teoría junto con el Axioma de Elección).
Más desenvuelto, “1 = 2” sería el enunciado teórico del conjunto
(X) “Existe una función biyectiva entre los conjuntos {{}} y {{}, {{}}}”
Es bastante fácil demostrar la negación de (X) en la teoría de conjuntos de Zermelo-Frenkel,
- Sea f (n) yg (n) igual al número de números primos menores que n = 3mod4 y = 1mod4 respectivamente. ¿Qué es [math] lim_ {n \ to \ infty} \ frac {f (n)} {g (n)} [/ math]?
- Si [math] n [/ math] es un entero positivo tal que [math] 2 + 2 \ sqrt {28n ^ 2 + 1} [/ math] es un entero, ¿cómo muestro que [math] 2 + 2 \ sqrt {28n ^ 2 + 1} [/ math] es el cuadrado de un entero?
- ¿Cuál es el resto cuando 32 ^ 32 ^ 32 se divide por 7?
- ¿Cuál es el resto cuando [matemática] 13 ^ {100} + 17 ^ {100} [/ matemática] se divide por [matemática] 25 [/ matemática]?
- ¿Por qué a: b: c = 1: 2: 3 también se puede expresar como a / 1 = b / 2 = c / 3?
(-X) “No existe una función biyectiva entre {{}} y {{}, {{}}}”.
Por lo tanto, si a alguien se le ocurrió una prueba válida de la declaración X, podría considerarse el final del mundo matemático tal como lo conocemos. En otras palabras, en tal caso puedes estar bastante seguro de que la prueba de la declaración X contiene un error (como multiplicar ambos lados por cero y pretender que este paso es una equivalencia)