También es posible encontrar modelos (es decir, interpretaciones que hagan verdaderos a todos los axiomas) por fuera de la matemática.