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