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

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Немає опису редагування
Рядок 5:
|-
|align="right"|1
|bgcolor="#FFE2B6"|'''нема консенсусу'''<ref>{{аnсhоr|сноска: 1-я проблема}}Результати Геделя і КоэнаКоена (Cohen) показують, що ні континуум-гіпотеза, ні її заперечення не суперечить [[аксіоматична теорія множествмножин|системесистемі аксіом Цермело-Френкеля]] (стандартній системі аксіом теорії множин). Таким чином, континуум-гіпотезу в цій системі аксіом неможливо ні довести, ні спростувати. Ведуться суперечки про те, чи є результат КоэнаКоена повним рішеннямрозв'язком задачі</ref>
|проблема Кантора про потужностіпотужність континуумаконтинууму ([[Континуум-гіпотеза]])
|-
|align="right"|2