Бенеди́кт Спино́за — нидерландский философ-рационалист и натуралист еврейского происхождения, один из главных представителей философии Нового времени. Большинство работ написано на латинском языке. Считается первым, кто описал рамки мировоззрения пантеизма.
Алгори́тм — совокупность точно заданных правил решения некоторого класса задач или набор инструкций, описывающих порядок действий исполнителя для решения определённой задачи. В старой трактовке вместо слова «порядок» использовалось слово «последовательность», но по мере развития параллельности в работе компьютеров слово «последовательность» стали заменять более общим словом «порядок». Независимые инструкции могут выполняться в произвольном порядке, параллельно, если это позволяют используемые исполнители.
Аббревиату́ра — слово, образованное сокращением слова или словосочетания и читаемое по алфавитному названию начальных букв или по начальным звукам слов, входящих в него.
Аксио́ма, или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Арифме́тика — раздел математики, изучающий числа, их отношения и свойства. Предметом арифметики является понятие числа и его свойства. В арифметике рассматриваются измерения, вычислительные операции и приёмы вычислений. Изучением свойств отдельных целых чисел занимается высшая арифметика, или теория чисел. Теоретическая арифметика уделяет внимание определению и анализу понятия числа, в то время как формальная арифметика оперирует логическими построениями предикатов и аксиом. Арифметика является древнейшей и одной из основных математических наук; она тесно связана с алгеброй, геометрией и теорией чисел.
Бесконе́чность — категория человеческого мышления, используемая для характеристики безграничных, беспредельных, неисчерпаемых предметов и явлений, для которых невозможно указание границ или количественной меры. Используется в противоположность конечному, исчисляемому, имеющему предел. Систематически исследуется в математике, логике и философии, также изучаются вопросы о восприятии, статусе и природе бесконечности в психологии, теологии, физике соответственно. Бесконечность обозначается символом 
.
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Амперса́нд — логограмма, заменяющая союз «и». Возник как лигатура буквосочетания et.
Нике́йский си́мвол ве́ры — принятый среди большинства конфессий один из христианских символов веры, формула вероисповедания, принятая на Первом Вселенском соборе в Никее в 325 году, согласно которой Бог Сын «единосущен Отцу».
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.
Леона́рдо Пиза́нский — первый крупный математик средневековой Европы. Наиболее известен под прозвищем Фибона́ччи.
Евкли́дова геоме́трия — геометрическая теория, основанная на системе аксиом, впервые изложенной в «Началах» Евклида. Это геометрия ортогональной группы.
Sic — латинское слово, означающее «так», «таким образом», «именно так». Полностью: «sic erat scriptum» — «так было написано». Употребляется для того, чтобы показать, что предыдущее неправильное или необычное написание является цитатой, а не ошибкой набора. В цитируемых фразах выражение пишется курсивом и берётся в круглые скобки: (sic). Иногда помещается в квадратные скобки: [sic] — или заменяется на (!). По смыслу означает также «вижу ошибку, но пишу, как в оригинале». Ещё используется для указания на важность данного места в тексте, согласия с ним или иронического отношения к нему читателя, рецензента.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов.
«Начала» — главный труд Евклида, написанный около 300 г. до н. э. и посвящённый систематическому построению геометрии и теории чисел. Считается вершиной античной математики, итогом её трёхсотлетнего развития и основой для последующих исследований. «Начала», наряду с двумя трудами Автолика из Питаны — древнейшее из дошедших до современности античных математических сочинений; все труды предшественников Евклида известны только по упоминаниям и цитатам позднейших комментаторов.
Ниже приведён список сокращений, заимствованных из латинского языка.
Данная страница содержит список общеупотребительных аббревиатур математических функций, операторов и других математических терминов и символов.
Математические обозначения — графическая система обозначений, служащая для изложения абстрактных математических идей и суждений в человеко-читаемой форме. Составляет значительную долю неречевых знаковых систем, применяемых человечеством. В данной статье описывается общепринятая международная система обозначений, хотя различные культуры прошлого имели свои собственные, и некоторые из них даже имеют ограниченное применение до сих пор.
В криптографии квадрат Полибия, также известный как шахматная доска Полибия — оригинальный код простой замены, одна из древнейших систем кодирования, предложенная Полибием. Данный вид кодирования изначально применялся для греческого алфавита, но затем был распространен на другие языки.
Символ конца доказательства — типографский символ, используемый в математике для обозначения конца доказательства вместо сокращения Q.E.D. латинской фразы quod erat demonstrandum — «что требовалось доказать». Также используется в некоторых журналах в качестве символа конца статьи.
