Hilbertův druhý problém ze slavných matematických problémů , které David Hilbert předložil v roce 1900 v Paříži na II. mezinárodním kongresu matematiků. Mezi matematickou komunitou zatím nepanuje shoda v tom, zda se to podařilo vyřešit, nebo ne. Problém zní takto: jsou axiomy aritmetiky protichůdné nebo ne? Kurt Gödel dokázal, že konzistenci axiomů aritmetiky nelze dokázat ze samotných axiomů aritmetiky (pokud aritmetika není ve skutečnosti nekonzistentní). Kromě Gödela se tímto problémem zabývalo mnoho dalších významných matematiků.
| Hilbertovy problémy | |
|---|---|