континуум-проблема

Континуум-проблема — одна з найвідоміших нерозв’язаних проблем теорії множин, сформульована Георгом Кантором, яка стосується визначення потужності (кардинального числа) континууму, тобто множини всіх дійсних чисел.

Континуум-проблема — гіпотеза, що потужність континуума є першою незліченною потужністю, тобто що не існує множини, потужність якої була б строго між потужністю множини натуральних чисел і потужністю множини дійсних чисел.

Континуум-проблема — фундаментальне питання математики, незалежне від стандартних аксіом теорії множін (ZFC), що означає, що в рамках цих аксіом її неможливо ні довести, ні спростувати, як це було встановлено Куртом Геделем та Полом Коеном.

Приклади вживання

Відсутні

Частина мови: іменник (однина) |