В этом разделе объясняется, почему понятие размера, привычное для конечных наборов, требует нового подхода при изучении бесконечности. Формулируются тема, проблема, цель, гипотеза и основные задачи проекта. Также обозначаются методы исследования: анализ математической литературы, построение взаимно однозначных соответствий, разбор доказательств и решение практических задач.

Раздел вводит базовые определения, необходимые для дальнейшего рассуждения: множество, элемент, подмножество, конечное и бесконечное множество. Объясняется, что мощность можно сравнивать не только подсчётом элементов, но и установлением соответствия. Отдельно рассматриваются свойства равномощности и значение кардинальных чисел в математике.

Здесь рассматривается главный способ сравнения размеров множеств — биекция. На простых схемах показывается, как сопоставлять элементы двух наборов без пропусков и повторений. Разбираются примеры соответствий между натуральными и чётными числами, натуральными и целыми числами, а также объясняется, почему подмножество бесконечного множества может иметь ту же мощность.

В пункте раскрывается понятие счётного множества, элементы которого можно занумеровать натуральными числами. Последовательно анализируются множества натуральных, целых и рациональных чисел. Особое место занимает диагональное перечисление дробей, позволяющее увидеть, как бесконечную двумерную таблицу можно преобразовать в одну последовательность.

Раздел посвящён различию между рациональными и действительными числами. Сначала рассматривается запись чисел от 0 до 1 в виде бесконечных десятичных дробей, затем подробно разбирается диагональное доказательство Кантора. Объясняется, почему построенное по диагонали число не может совпасть ни с одним элементом предполагаемого полного списка.

В этом разделе изучаются операции над мощностями бесконечных множеств: сложение, умножение и возведение в степень. Сравниваются результаты объединения и декартова произведения счётных множеств, а также рассматривается теорема Кантора о множестве всех подмножеств. Материал показывает, что бесконечные кардинальности образуют иерархию.

Пункт знакомит с развитием представлений о бесконечности от античной философии до формальной теории множеств XIX века. Упоминаются парадоксы Зенона, работы Бернарда Больцано и вклад Георга Кантора. Исторический контекст помогает понять, почему различие между потенциальной и актуальной бесконечностью стало предметом строгих математических исследований.

В практической части строятся конкретные биекции для числовых множеств, составляется таблица сравнения их мощностей и выполняется упражнение с перечислением рациональных чисел. Затем пошагово проверяется диагональная конструкция для действительных чисел. Результаты оформляются в виде схем, таблиц и кратких математических комментариев.

В заключении обобщаются результаты сравнения счётных и несчётных множеств, проверяется исходная гипотеза и формулируются основные математические выводы. Отдельно отмечается значение диагонального метода Кантора и понятия мощности для дальнейшего изучения логики, информатики и высшей математики. Также оцениваются трудности, возникшие при построении доказательств.

В разделе приводятся использованные учебники, справочные издания и научно-популярные материалы по теории множеств и истории математики. Источники оформляются единообразно: указываются автор, название, место и год издания либо адрес электронного ресурса. Подбор литературы должен позволять проверить определения, теоремы и исторические сведения.