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

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

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

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

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

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

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

Здесь определяется последовательность слайдов, подбираются краткие определения и проверяются математические обозначения. Материал распределяется от знакомых натуральных чисел к понятию модели, аксиомам и аргументу с компактностью. Дополнительно проверяется, что каждый пример согласуется с теоретическим изложением и что термины «модель», «элемент» и «аксиома» используются точно.

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

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