Hilbert második problémája a híres matematikai problémákból , amelyeket David Hilbert terjesztett elő 1900-ban Párizsban a II. Nemzetközi Matematikus Kongresszuson. Egyelőre nincs konszenzus a matematikai közösség között, hogy megoldódott-e vagy sem. A probléma így hangzik: az aritmetika axiómái ellentmondásosak vagy sem? Kurt Gödel bebizonyította, hogy az aritmetika axiómáinak konzisztenciája nem bizonyítható magából az aritmetika axiómáiból (hacsak az aritmetika nem inkonzisztens). Gödel mellett sok más kiváló matematikus is foglalkozott ezzel a problémával.
| Hilbert problémák | |
|---|---|