En lenguaje muy simple: 0, 1 e infinito son símbolos. Su axioma propuesto simplemente equivale a dos símbolos. En lugar de ser una herramienta constructiva con la cual desarrollar un sistema, tiene un efecto destructivo.
El motivo para definir un símbolo es distinguir de alguna manera (de cualquier manera) lo que representa de todo lo demás. Al principio, declarar que dos símbolos tienen un significado idéntico es solo una indicación de que uno de ellos no sirve para nada y puede ser eliminado.
Como señaló G. Spencer-Brown (Leyes de forma: G. Spencer Brown: 9780517527764: Amazon.com: Libros), una visión zen o taoísta de la lógica es que se basa en hacer distinciones; parece ser correcto independientemente de si uno cree que las distinciones son intrínsecas o meramente arbitrarias. El objetivo de la meditación zen es opuesto a esto: ver distinciones arbitrarias de lo que son y, por lo tanto, eliminarlas hasta que la realidad se vea como un todo indiviso. En ese punto, incluso el lenguaje y el pensamiento deben desaparecer. Por todo su mérito, esto debe considerarse lo contrario de la lógica.
El axioma que propone facilita el objetivo de la meditación al dar un paso hacia la eliminación de todas las distinciones. Es un sistema parcialmente autodestructivo.
- ¿Existe una función tal que f (x) dé como resultado una forma bidimensional, donde x es el número de lados?
- Cómo resolver una ecuación lineal no homogénea
- ¿Cuáles son las soluciones reales de la ecuación [matemáticas] | 2x-3a | + | a + 1-x | = | x + 1 | [/ matemáticas], donde a es un parámetro positivo?
- Si A = B, ¿B = A siempre es verdad?
- Dado real [matemática] x, y, z [/ matemática] tal que [matemática] x \ lt y + z [/ matemática], qué requisito adicional asegura la conclusión [matemática] x ^ 2 \ lt y ^ 2 + z ^ 2 [/ matemáticas]?