Проблеми Гільберта: відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Рядок 9:
|-
|align="right"|2
|bgcolor="#FFE2B6"|'''нема консенсусу'''<ref>[[Гедель, Курт|курт Гедель]] [[Теореми Геделя про неполнотенеповноту|доказалдовів]], що несуперечність аксіом арифметики не можна довести, виходячи із самих аксіом арифметики</ref>
|Несуперечливість аксіом арифметики.
|-