Вопросы к Поиску с Алисой
Возможно, имелась в виду теорема Кантора-Бернштейна в теории множеств. dzen.ru en.wikipedia.org
Формулировка теоремы: если множество А равномощно некоторому подмножеству множества В, а множество В равномощно некоторому подмножеству множества А, то множества А и В равномощны. dzen.ru
Теорема определяет условие, при котором множества «одинакового размера». intuit.ru
Первым теорему опубликовал немецкий математик Эрнст Шредер, но привёл неправильное доказательство. dzen.ru Независимо от него теорему сформулировал Георг Кантор, однако не приведя никакого обоснования. dzen.ru