Логика и метаматематические исследования

Так, теорема Кантора утверждает, что какова бы ни была исходная совокупность E бесконечных многообразий характеристик (например, m или w) E1, E2, ..., Eμ, ..., всегда найдется такое многообразие E0, каждая характеристика которой получена заменой исходной на противоположную по следующему правилу: из первой бесконечной последовательности (Е1) берётся первая характеристика, из второй (Е2) - вторая, из третьей (Е3) - третья и т.д., которая отсутствует в исходной совокупности E.

Каждое из исходных многообразий Е1, Е2, ..., Еμ, ... обладает мощностью алеф и находится во взаимно однозначном соответствии с любым другим из этой бесконечной совокупности и самой бесконечной совокупностью Е. Здесь алеф - количественное числительное, а порядковые номера каждого бесконечного многообразия Е, соответственно, порядковые числительные.

❤9✍2🤡2❤‍🔥1👎1

www.tgoop.com/logic_metamathematics/960

386 viewsApr 24 at 06:32

Так, теорема Кантора утверждает, что какова бы ни была исходная совокупность E бесконечных многообразий характеристик (например, m или w) E1, E2, ..., Eμ, ..., всегда найдется такое многообразие E0, каждая характеристика которой получена заменой исходной на противоположную по следующему правилу: из первой бесконечной последовательности (Е1) берётся первая характеристика, из второй (Е2) - вторая, из третьей (Е3) - третья и т.д., которая отсутствует в исходной совокупности E.

Каждое из исходных многообразий Е1, Е2, ..., Еμ, ... обладает мощностью алеф и находится во взаимно однозначном соответствии с любым другим из этой бесконечной совокупности и самой бесконечной совокупностью Е. Здесь алеф - количественное числительное, а порядковые номера каждого бесконечного многообразия Е, соответственно, порядковые числительные.

BY Логика и метаматематические исследования