Oh, quieres preguntar sobre este método de teoría de juegos, ¿verdad? Entre las teorías más famosas mencionadas actualmente en la obra original, además de la Caja del gato de Schrödinger, también se encuentran la "Prueba del diablo" y la "Prueba del demonio de Hempel": esta teoría es en realidad ""×× no existe"" que no puede. ser probado", una especie de sofisma, propuesto por Liufufu en EP1. ¿Existe el diablo o no? Si quieres demostrar que "existe", sólo necesitas que una persona vea al diablo. Pero para demostrar que "no existe", necesitas demostrar que "nadie lo ha visto", pero esto es imposible de lograr. , porque "incluso si nadie lo ha visto, y puede existir de alguna manera que nadie sabe". El cuervo de Hempel: la paradoja del cuervo, también llamada el cuervo de Hempel o la paradoja de Hempel, es un fenómeno propuesto por el siglo XX. por el lógico alemán Carl Gustav Hempel en el siglo XX para ilustrar la naturaleza contraintuitiva de la inducción. La descripción completa de esta paradoja es: 1. Supongamos la proposición P "Todos los cuervos son negros", entonces su proposición equivalente Q es "Todo lo que no es negro no es un cuervo" (según el método de objeción de lógica directa, P→ Q ?6?2 ?0?1 Q→?0?1 P). 2. De acuerdo con el principio de condición de equivalencia (La condición de equivalencia), si la proposición X puede probar la corrección de la proposición Y, entonces la proposición X puede probar la corrección de cualquier "proposición que sea lógicamente equivalente a Y". 3. Según el "Criterio de Nicod", para una proposición de la forma "todo P es Q", un cierto hecho "P es Q" puede aumentar la validez de esta proposición. 4. Proponga la evidencia A "Mi cuervo favorito nunca más es negro" y la evidencia B "Vi una manzana verde", es decir, "esta cosa verde (no negra) es una manzana (no un cuervo)". 5. De acuerdo con los 4 puntos anteriores, "Todos los cuervos son negros" se puede deducir de "Esta cosa verde (no negra) es una manzana (no un cuervo)", y se puede deducir de "Mientras vea una Una manzana verde demuestra que todos los cuervos son negros". "El cuervo de Hempel" es lógicamente correcto, pero debido a que el número de "cosas que no son negras" es demasiado grande, la gente no puede investigar todas las cosas en el universo una por una para demostrar que "las cosas que no son negras no son cuervos". Por tanto, es imposible demostrar que "todos los cuervos son negros". La "teoría indemostrable" es al mismo tiempo la "teoría correcta", por lo que la intuición humana no puede aceptar esta teoría y la considera una paradoja. En "Umineko", Beato usó el "cuervo de Hempel" para refutar la teoría de prueba demoníaca de Battler de que "el número de personas en la isla es 18 X personas".