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

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

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

Раздел посвящён алгоритмам освобождения комнат для одного нового постояльца, конечного числа людей и бесконечной группы гостей. Для каждого случая приводятся формулы переселения: n в n+1, n в n+k или n в 2n. Схемы и таблицы позволяют проверить, что каждому старому гостю назначается новая комната без повторений и пропусков.

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

В пункте рассматриваются простейшие операции с мощностью счётного множества: добавление одного элемента, конечного числа элементов и ещё одной счётной совокупности. На примерах объясняется запись ℵ₀ и равенства ℵ₀+1=ℵ₀, ℵ₀+ℵ₀=ℵ₀. Сравнение с конечной арифметикой помогает увидеть границы привычной интуиции.

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

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

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

В списке литературы указываются учебные и научно-популярные источники, использованные для определения бесконечных множеств, мощности и счётности. Отдельно приводятся материалы о Давиде Гильберте, Георге Канторе и мысленном эксперименте с отелем. Источники оформляются единообразно с указанием автора, названия, издательства или адреса ресурса и даты обращения.