Nunca podremos conocer todo sobre el universo físico.

Hay filósofos de la ciencia que utilizando los teoremas de Gödel concernientes a la incompletitud de la aritmética (y, por tanto, de cualquier sistema lógico que abarque a la aritmética) defienden que nunca podremos conocer todo sobre el universo físico en términos de leyes matemáticas de la naturaleza, porque no podemos construir todas las proposiciones verdaderas, y solamente las verdaderas, de la aritmética, ni tampoco podemos probar la veracidad o falsedad de todas las proposiciones aritméticas.

Podría suceder que la realidad física, aun cuando sea fundamentalmente matemática, no utilice la totalidad de la aritmética y pueda así ser completa. Podría, de hecho, formar parte de una de esas ramas decidibles de la matemática que no son tan ricas como la aritmética. Aunque pueda parecer que el universo hace uso de toda la parafernalia de la aritmética, al hacerlo nuestras versiones de sus leyes matemáticas de la naturaleza, es posible que solamente se deba a que estas versiones no son la representación más elegante y económica de las verdades.