Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов, поэтому изначальная форма теории известна как наивная теория множеств. В XX веке теория получила существенное методологическое развитие, были созданы несколько вариантов аксиоматической теории множеств, обеспечивающие универсальный математический инструментарий, в связи с вопросами измеримости множеств тщательно разработана дескриптивная теория множеств.
Число́ — одно из основных понятий математики, используемое для количественной характеристики, сравнения, нумерации объектов и их частей.
Мно́жество — одно из ключевых понятий математики, представляющее собой набор, совоку́пность каких-либо объектов — элеме́нтов этого множества. Два множества равны тогда и только тогда, когда содержат в точности одинаковые элементы.
Арифме́тика — раздел математики, изучающий числа, их отношения и свойства. Предметом арифметики является понятие числа и его свойства. В арифметике рассматриваются измерения, вычислительные операции и приёмы вычислений. Изучением свойств отдельных целых чисел занимается высшая арифметика, или теория чисел. Теоретическая арифметика уделяет внимание определению и анализу понятия числа, в то время как формальная арифметика оперирует логическими построениями предикатов и аксиом. Арифметика является древнейшей и одной из основных математических наук; она тесно связана с алгеброй, геометрией и теорией чисел.
Натура́льные чи́сла — числа, возникающие естественным образом при счёте. Последовательность всех натуральных чисел, расположенных в порядке возрастания, называется натуральным рядом.
Теория чисел или высшая арифметика — раздел математики, первоначально изучавший свойства целых чисел. В современной теории чисел рассматриваются и другие типы чисел — например, алгебраические и трансцендентные, а также функции различного происхождения, которые связаны с арифметикой целых чисел и их обобщений.
Комбинато́рика — раздел математики, посвящённый решению задач, связанных с выбором и расположением элементов некоторого множества в соответствии с заданными правилами. Каждое такое правило определяет некоторую выборку из элементов исходного множества, которая называется комбинаторной конфигурацией. Простейшими примерами комбинаторных конфигураций являются перестановки, сочетания и размещения.
Веще́ственное число́ — математический объект, возникший из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких вычислительных операций, как извлечение корня, вычисление логарифмов, решение алгебраических уравнений, исследование поведения функций.
Бесконе́чное мно́жество — множество, не являющееся конечным. Можно дать ещё несколько эквивалентных определений бесконечного множества:
- Множество, в котором для любого натурального числа
найдётся конечное подмножество из элементов. - Множество, в котором найдётся счётное подмножество.
- Множество, в котором найдётся подмножество, равномощное некоторому (ненулевому) предельному ординалу.
- Множество, для которого существует биекция с некоторым его собственным подмножеством.
Гео́рг Фе́рдинанд Лю́двиг Фи́липп Ка́нтор — немецкий математик, ученик Карла Вейерштрасса. Наиболее известен как создатель теории множеств. Основатель и первый президент Германского математического общества, инициатор создания Международного конгресса математиков.
Парадо́кс Ра́ссела — теоретико-множественный парадокс (антиномия), открытый в 1901 году британским математиком Бертраном Расселом и демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора. Был открыт ранее, но не опубликован Эрнстом Цермело.
Аксио́мой вы́бора, англ. аббр. AC называется следующее высказывание теории множеств:
Бесконе́чность — категория человеческого мышления, используемая для характеристики безграничных, беспредельных, неисчерпаемых предметов и явлений, для которых невозможно указание границ или количественной меры. Используется в противоположность конечному, исчисляемому, имеющему предел. Систематически исследуется в математике, логике и философии, также изучаются вопросы о восприятии, статусе и природе бесконечности в психологии, теологии, физике соответственно. Бесконечность обозначается символом 
.
Нестандартный анализ — альтернативный подход к обоснованию и построению математического анализа, в котором бесконечно малые — не переменные величины, а особый вид чисел. В нестандартном анализе на современной основе реализуется восходящая к Лейбницу и его последователям идея о существовании бесконечно малых величин, отличных от нуля, — идея, которая в историческом развитии математического анализа была заменена понятием предела переменной величины. Недоверие к актуальным бесконечным величинам в математике объяснялось трудностями их формального обоснования. Любопытно, что представления об актуальных бесконечно больших и бесконечно малых величинах сохранялись в учебниках физики и других естественных наук, где часто встречаются фразы вроде «пусть 
— элемент объёма…».
Равномощность — отношение двух произвольных множеств, означающее, нестрого говоря, что одно множество содержит столько же элементов, сколько и другое. Конечные множества равномощны тогда и только тогда, когда они содержат одинаковое число элементов. Например, множество традиционных зодиакальных созвездий и множество рёбер куба равномощны, так как оба содержат по 12 элементов.
Непреры́вность действи́тельных чи́сел — свойство системы действительных чисел 
, которым не обладает множество рациональных чисел 
. Иногда вместо непрерывности говорят о полноте системы действительных чисел. Существует несколько различных формулировок свойства непрерывности, наиболее известные из которых: принцип непрерывности действительных чисел по Дедекинду, принцип вложенных отрезков Коши — Кантора, теорема о точной верхней грани. В зависимости от принятого определения действительного числа, свойство непрерывности может либо постулироваться как аксиома — в той или иной формулировке, либо доказываться в качестве теоремы.
Основа́ния матема́тики — система общих для всей математики понятий, концепций и методов, с помощью которых строятся различные её разделы.
Соизмери́мые величи́ны — исторический термин, обозначающий величины, для которых существует общая мера. Общей мерой величин называют величину, которая целое число раз содержится в каждой из них. Если такой меры не существует, то такие величины называют несоизмери́мыми.
