Clase de proposiciones matemáticas que no pueden ser probadas o Negadas

En la lógica formal se entiende por proposición a toda expresión de la cual se puede decir sin ambigüedad si es verdadera o falsa. Gödel demostró que existen proposiciones de las cuales se conoce un número finito de casos ciertos (como sucedía con el teorema de Fermat) pero no puede hacerse una demostración general de que son ciertas o falsas.

Presencia de Aguamarket en Países como:

Chile Argentina Bolivia Colombia Costa Rica Cuba Ecuador El Salvador España Guatemala Honduras Mexico Nicaragua Panama Paraguay Perú Puerto Rico Republica Dominicana Uruguay Venezuela Francia Brasil Estados Unidos Canada Belice