В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...

Приветствую Вас, уважаемые Читатели! Парадоксальным утверждениям из теории множеств посвящено много материалов на моём канале. Сегодня пришло время обратиться к одному из наиболее очевидных и простых - теореме Кантора-Бернштейна. Один из ключевых вопросов теории множеств - в определении соотношения размеров множеств. Чего больше: натуральных чисел или иррациональных? Где больше точек: на плоскости или на единичном отрезке? Или, может быть, их одинаковое количество? Разбираясь формальным образом в этих понятиях, мы и придём к желанной теореме...