Элементы теории множеств. Элементы комбинаторики. Соответствия, отображения, отношения. Понятия, способы определения понятий. Высказывания и операции над ними, предикаты и операции над ними. Отношения следования и равносильности. Теоремы и их структура. Умозаключения. Различные подходы к построению множества целых неотрицательных чисел. Аксиоматическое построение множества целых неотрицательных чисел. Натуральное число как мера величины. Системы счисления. Делимость чисел. Положительные рациональные числа. Действительные числа. Функции. Уравнения с одной переменной. Неравенства с одной переменной. Величины.