hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Сукциниловый полуальдегид
Сукциниловый полуальдегид или янтарный полуальдегид — важный промежуточный метаболит ряда биохимических процессов, имеет как карбоксильную, так и альдегидную группу. У животных он образуется из ГАМК в результате действия фермента ГАМК-трансаминазы, а затем окисляется до сукцината, который поступает в цикле трикарбоновых кислот. Растворим в воде, этаноле, бензоле и диэтиловом эфире.

Янтарный полуальдегид также образуется у большинства цианобактерий, у которых он является важный интермедиатом цикла Кребса. В этих организмах он образуется из α-кетоглутарата, а затем окисляется до сукцината. Эта последовательность реакций обеспечивает замыкание ЦТК цианобактерий, который не может замкнуться обычным образом, так как у них отсутствует фермент α-кетоглутаратдегидрогеназа.

Альфа-кетоглутаровая кислота
α-Кетоглутаровая (альфа-кетоглутаровая) кислота — одно из двух кетоновых производных глутаровой кислоты. Название «кетоглутаровая кислота» без дополнительных обозначений обычно означает альфа-форму. Отличается от β-кетоглутаровой кислоты только положением кетонной функциональной группы и встречается гораздо реже.

Анион α-кетоглутаровой кислоты, α-кетоглутарат (также называемый оксоглутарат) — важное биологическое соединение. Это кетокислота, которая образуется при дезаминировании глутамата. α-Кетоглутарат является одним из соединений, образующихся в цикле Кребса.
Соборная улица (Гатчина)
Собо́рная у́лица — улица в Гатчине (Ленинградская область). Расположена в Центре города, на большей части (от проспекта 25 Октября до улицы Карла Маркса) является пешеходной зоной. Является местом проведения многих общегородских праздников, в том числе Дня города.

Улица начинается у проспекта 25 Октября, идёт на юго-восток до улицы Чехова. Образует перекрёстки с улицами: Красной, Горького, Карла Маркса, Урицкого, Володарского. Протяжённость — 1 км.

Собор Святого Павла (Гатчина)
Собо́р свято́го апо́стола Па́вла (Павловский собор) — православный храм в городе Гатчине, кафедральный собор Гатчинской епархии Русской православной церкви и центральный храм Гатчинского городского благочиния. Настоятель — протоиерей Владимир Феер.
Литва на чемпионате мира по хоккею с шайбой 2016
Сборная Литвы по хоккею с шайбой стала одной из 6 стран участниц Чемпионата мира по хоккею с шайбой в первом дивизионе 2016 года в группе B. Игры группы B проводились в Загребе (Хорватия) c 17 по 23 апреля 2016 года.

Первый дивизион чемпионата мира по хоккею с шайбой 2016
Чемпионат мира по хоккею с шайбой 2016 года в I-м дивизионе — спортивное соревнование по хоккею с шайбой под эгидой ИИХФ, состоявшиеся с 23 по 29 апреля 2016 года в Катовице (Польша) (первоначально был заявлен Краков) и с 17 по 23 апреля 2016 года в Загребе (Хорватия). По итогам турнира в группе A: команды, занявшие первое (сборная Словении) и второе (сборная Италии) места получили право играть в ТОП-дивизионе чемпионата мира 2017 года. Команда, занявшая последнее место (сборная Японии), перешла в группу B. По итогам турнира в группе B: команда, занявшая первое место (сборная Украины), вышла в группу A, а команда, занявшая последнее место, перешла во второй дивизион чемпионата мира 2017 года (сборная Румынии).

Места проведения были названы на конгрессе ИИХФ в Праге (Чехия) во время чемпионата мира по хоккею 2015 года. На право проведения турнира группы A претендовали Краков (Польша), а в группе B — Загреб (Хорватия) и Таллин (Эстония).
Сахновское городище
Сахновское городище (укр. Сахнівське городище) — памятник археологии, расположенный на Девич-горе возле села Сахновки в Черкасской области. Составляет часть комплекса памятников разных эпох, от бронзового века до Средневековья.

Корзухина, Гали Фёдоровна
Гали Фёдоровна Корзухина (4 [17] января 1906, Санкт-Петербург, Российская империя — 29 августа 1974, Ленинград, СССР) — советский археолог, специалист по материальной культуре и художественным ремёслам, кандидат исторических наук.
Оскерко, Гервазий Людвик
Гервазий Людвик Оскерко (1700—1771) — государственный деятель Великого княжества Литовского, староста гродский мозырьский (с 1724), чашник великий литовский (1748—1764), референдарий великий литовский (1764—1771).

Чашник великий литовский
Чашник (великий) литовский (лат. picerna) — должность в Великом Княжестве Литовском. Должен был наливать великому князю напитки в посуду, которую подносил к правителю подчаший великий литовский.

Должность известна с 1409. При дворе великого князя Александра было несколько чашников. Через некоторое время должность превратилась в номинальную. В уездах существовали поветовые чашники.
Башня Сююмбике
Ба́шня Сююмбике́ (тат. Сөембикә манарасы) — проездная дозорная (сторожевая) башня в Казанском кремле; архитектурный символ Казани. До XIX века именовалась «проездная башня оберкомендантского дома со шпицем». Относится к «падающим» башням, так как имеет заметный наклон в северо-восточную сторону. Отклонение её шпиля от вертикали составляет 2 м. Общая высота равна 58 метрам (34 саженям 6 футам).

Московское барокко
Моско́вское баро́кко — условное название стиля русской архитектуры последних десятилетий XVII — первых лет XVIII века, основной особенностью которого является широкое применение элементов архитектурного ордера и использование центрических композиций в храмовой архитектуре. Его частными случаями являются «нарышкинское барокко» и «Голицынское барокко».
Список утраченных памятников архитектуры Москвы
Ниже представлен список утраченных памятников архитектуры в Москве. Понятие «памятник архитектуры» включает в себя не только охраняемые государством объекты культурного наследия, но и здания рядовой исторической застройки дореволюционного периода, а также некоторые выдающиеся постройки советского периода. Список охватывает только утрату недвижимых памятников (зданий и сооружений) и не включает в себя объекты охраняемого археологического комплекса, памятники монументальной пропаганды, садово-паркового искусства и историко-мемориальные объекты (захоронения). Список является открытым и может дополняться.

1-я Тверская-Ямская улица
1-я Тверска́я-Ямска́я у́лица (в 1932—1990 годах — часть улицы Горького) — улица в Центральном административном округе города Москвы на территории Тверского района. Улица начинается от Триумфальной площади и идёт до площади Тверская Застава.
Петр (Прутяну)
Епископ Пе́тр (в миру Михаил Георгиевич Прутя́ну, рум. Mihail Pruteanu; род. 15 декабря 1979, Корлэтень) — архиерей Русской православной церкви, епископ Кафский (с 2022), викарий Патриаршего экзарха Западной Европы. Автор книг и публикаций по догматике, патристике и литургике — в основном на румынском языке; настоятель прихода в честь святителя Иоанна Златоуста в Кашкайше.

Антоний (Севрюк)
Митрополит Анто́ний (в миру Анто́н Ю́рьевич Севрю́к; род. 12 октября 1984, Калинин) — епископ Русской православной церкви, митрополит Волоколамский, викарий Патриарха Московского и всея Руси. Настоятель храма Рождества Иоанна Предтечи на Пресне города Москвы. Председатель Отдела внешних церковных связей Московского патриархата (с 7 июня 2022 года). 11 апреля 2025 года назначен управляющим Северным викариатством г. Москвы.

Тезоименитство: 16 августа (преподобного Антония Римлянина, Новгородского чудотворца).
Иванов, Владислав Евгеньевич
Владислав Евгеньевич Иванов (рум. Vladislav Ivanov; 7 мая 1990, Тирасполь) — молдавский футболист, игравший на всех позициях в поле, преимущественно на позиции атакующего полузащитника. Выступал за сборную Молдовы.

Чемпионат Молдовы по футболу
Лига Молдовы (рум. Liga Moldovei) или чемпионат Молдовы по футболу (рум. Campionatul Moldovei la fotbal), спонсорское название Лига 7777 (рум. Liga 7777)  — высшая футбольная лига Молдовы, в которой участвуют 8 клубов.

Чемпион Молдовы получает право выступить в 1-м квалификационном раунде Лиги чемпионов. 2-й и 3-й призёры, клуб, занявший 4-е место, и команда-обладатель национального Кубка попадают в 1-й квалификационный раунд Лиги конференций УЕФА. Клубы, занявшие 7-е и 8-е места, попадают в раунд плей-офф на вылет в Лигу 1 (рум. Liga 1).
Архитектура Балашихи
Архитектура Балашихи своими самыми ранними сохранившимися памятниками восходит к XVIII веку. К ним относятся православные храмы с некрополями и усадебные комплексы, находящиеся в настоящее время на территории города Балашиха, а также его городского округа (Московская область). Период XIX — начала XX века представлен также интересными памятниками промышленной архитектуры. Для советского периода (особенно 1930-х и 1940-х — первой половины 1950-х годов, с перерывом на Великую Отечественную войну) характерна комплексная застройка жилых кварталов по специально разработанным известными архитекторами проектам.

Менелас, Адам Адамович
Ада́м Ада́мович Менела́с (англ. Adam Menelaws, Э́дам Ме́нелос; 1753 — 31 августа 1831, Санкт-Петербург) — русский архитектор шотландского происхождения, мастер земляных работ и садово-паркового искусства. Представитель классицизма и романтической неоготики.
Куртене, Маргарет
Ма́ргарет Куртене́ (англ. Margaret Courtenay; ок. 1499 — до 1526) — английская аристократка, единственная дочь Уильяма Куртене, 1-го графа Девона, и английской принцессы Екатерины Йоркской. По материнской линии двоюродная сестра короля Генриха VIII. В браке — баронесса Герберт.

Йорки
Йо́рки, Йоркская династия, Йоркский дом (англ. House of York) — королевская династия, ветвь Плантагенетов, пришедшая к власти в Англии в ходе войны Алой и Белой розы и правившая с 1461 года по 1485 год (с перерывом в 1470—1471 годах).

Эмблемой Йорков была белая роза. В литературе сторонников Йорков называют Йоркской партией или Йоркистами.
Четырнадцать святых помощников
Четырнадцать святых помощников — в традиции Римско-католической Церкви четырнадцать древних святых, почитающихся как единая группа со времён эпидемии чумы 1346—1349 гг.; их почитание распространилось из Германии на другие страны. Общий праздник Четырнадцати святых помощников — 8 августа — в новом календаре (1969 г.) упразднён. Имена их следующие:

Акакий (8 мая, 16 января)

Варвара (4 декабря)

Вит (15 июня)

Власий Севастийский (3 февраля)

Георгий Победоносец (23 апреля)

Дионисий Парижский (9 октября)

Евстахий (Евстафий) (20 сентября)

Екатерина Александрийская (24 ноября)

Кириак (8 августа)

Маргарита (Марина) Антиохийская (20 июля)

Пантелеимон (27 июля)

Христофор (25 июля)

Эгидий (1 сентября)

Еразм (2 июня)

Власий Севастийский
Вла́сий Севасти́йский (греч. Βλάσιος Σεβαστείας; ум. ок. 316) — христианский святой, почитаемый в лике священномучеников, епископ города Севастия в римской провинции Каппадокия в Малой Армении (ныне Сивас).
Корона (5-й сезон)
Пятый сезон сериала «Корона», рассказывающего о жизни и правлении королевы Елизаветы II, был выпущен на Netflix 9 ноября 2022 года. Это первый сезон сериала, который вышел после смерти принца Филиппа (9 апреля 2021 года) и смерти королевы Елизаветы II (8 сентября 2022 года). Основной сюжетной линией стали события 1990-х годов, в том числе развод принца Чарльза и леди Дианы. Роль Елизаветы в пятом сезоне сыграла Имельда Стонтон.

Нэтчбулл, Нортон, 3-й граф Маунтбеттен Бирманский
Нортон Луис Филипп Нэтчбулл (англ. Norton Louis Philip Knatchbull; родился 8 октября 1947) — британский аристократ, 8-й барон Брэбурн с 2005 года, 3-й граф Маунтбеттен Бирманский и 3-й виконт Маунтбеттен Бирманский с 2017 года. Кинопродюсер. С 1979 по 2005 год он носил титул учтивости лорд Ромсей, с 2005 по 2017 год — лорд Брэбурн.
Fantômas
Fantômas — супергруппа Майка Паттона, в состав которой также входят гитарист Базз Осборн (Melvins), басист Тревор Данн (Mr. Bungle) и барабанщик Дэйв Ломбардо (Slayer).

В турне 2005 г. в качестве барабанщика выступал Терри Боззио (UK), поскольку Ломбардо в это время находился в турне вместе со Slayer.

Супергруппа
Супергруппа (англ. supergroup) — термин, появившийся в конце 1960-х годов для описания рок-групп, все участники которых уже получили широкую известность в составе других групп или как сольные исполнители.
Первой супергруппой считается трио «Cream».
Термин, возможно, происходит от названия альбома 1968 года Super Session, записанного Аланом Купером, Майком Блумфилдом и Стивеном Стиллзом.

Примерами супергрупп можно считать «AxeWound», «Emerson, Lake & Palmer» (с 1970), «Asia» (с 1981), «The Traveling Wilburys», «Liquid Tension Experiment», «Them Crooked Vultures», «Chickenfoot», «A Perfect Circle» (с 1999), «Audioslave», «Prophets of Rage» (с 2016), «The Highwaymen» (с 1985) и др.; российские Ю-Питер, Куртки Кобейна и др.
Улица Горького (Красноярск)
Улица Горького (ранее Архиерейский переулок, 2-й Садовый переулок) — улица в Красноярске, на границе Центрального и Железнодорожного районов.

Пересекается с проспектом Мира, а также с улицами Ады Лебедевой, Бограда, Карла Маркса, Красной Армии, Ленина и Республики.

Красноярский архиерейский дом
Архиере́йский дом в Красноя́рске — здание, расположенное на улице Горького, 27 (до 1922 г. — Архиерейский переулок) в городе Красноярск, является объектом культурного наследия федерального значения. В 1860-х — начале 1920-х гг. здесь находилась резиденция Архиереев Енисейских и Красноярских. Нынешнее каменное здание построено в конце XIX в. по проекту архитектора Е. Морозова. С 2015 г. в Архиерейском доме вновь располагается управление Красноярской епархией, действует православный храм во имя Иоанна Предтечи.

http://my.krskstate.ru/docs/churches/arkhiereyskiy-dom-krasnoyarsk/
Щит-Немирович, Юзеф (ум. 1745)
Юзеф Немирович-Щит (Юзеф Щит Немирович, Юзеф Щит) (умер 4 марта 1745) — государственный деятель Великого княжества Литовского, каштелян мстиславский (1740—1745), чашник великий литовский (1713—1740), староста ясвойнский (1717) и короновский.

Прозороки
Прозоро́ки (бел. Празарокі) — агрогородок (до 2008 года — деревня) в Глубокском районе Витебской области Беларуси. Административный центр Прозорокского сельсовета. Расположен за 45 км на северо-восток от Глубокое, за 6 км от железнодорожной станции Зябки. Автомобильные дороги связывают агрогородок с Глубоким, Полоцком, Дисной.
Битва на реке Кондурче
Би́тва при Кондурче́ — крупное сражение, состоявшееся 18 июня 1391 года между войсками Тимура и золотоордынской армией хана Тохтамыша на берегу реки Кондурчи (северная часть совр. Самарской области). Сражение завершилось полным разгромом Тохтамыша и его бегством за Волгу, а затем в Литву.

Миргалеев, Ильнур Мидхатович
Ильнур Мидхатович Миргалеев (тат. Илнур Мидхәт улы Миргалиев; род. 25 октября 1976, Якупово, Башкирская АССР) — российский татарстанский историк, кандидат исторических наук, старший научный сотрудник и руководитель Центра исследований Золотой Орды и татарских ханств Института истории имени Шигабутдина Марджани АН РТ, лауреат Государственной премии Республики Татарстан в области науки и техники (2016), специалист по истории Золотой Орды.
Коношково (Островский район)
Коношково — деревня в Островском районе Псковской области. Входит в состав Воронцовской волости.

Расположена в 33 км к востоку от города Остров и в 11 км к северо-востоку от волостного центра, села Воронцово.

Постоянное население по состоянию на 2000 год в деревне отсутствовало.

До 2005 года деревня входила в состав ныне упразднённой Шаркуновской волости с центром в д.Погорелка.

Погорелка (Воронцовская волость)
Погорелка — деревня в Островском районе Псковской области. Входит в состав Воронцовской волости.

Расположена у берега реки Черёха, в 22 км к востоку от города Остров и в 4 км к северу от волостного центра, села Воронцово.
Италия на «Детском Евровидении — 2022»
Италия участвовала на «Детском Евровидении — 2022», которое состоялось 11 декабря 2022 года в Ереване, Армения. На конкурсе страну представила Шанель Дилекта с песней «BLA BLA BLA». Она заняла одиннадцатое место, набрав 95 баллов.

Детское Евровидение — 2014
Детский конкурс песни Евровидение 2014 (англ. Junior Eurovision Song Contest 2014, мальт. Festival tal-Eurovision taż-Żgħar 2014) — 12-й детский конкурс песни Евровидение, который состоялся 15 ноября 2014 года на острове Мальта, в небольшом городе Марса, находящемся недалеко от Валлетты. Это был первый конкурс песни Евровидение, которой прошёл на Мальте. Кроме того, мероприятие третий раз в истории детского Евровидения прошло в стране-победительнице конкурса: в 2013 году на конкурсе в Киеве первое место заняла мальтийка Гайи Кауки с песней «The Start».

Мальтийский национальный телеканал PBS выступил вещателем данного события. В конкурсе приняло участие шестнадцать стран. 9 ноября состоялась церемония открытия и жеребьёвка выступления стран в официальной летней резиденции президента Мальты Мари-Луиз Колейро Прека. Победителем конкурса стал представитель Италии Винченцо Кантьелло с песней «Tu primo grande amore».
Недбайло, Пётр Емельянович
Пётр Емелья́нович Недба́йло (29 июня (12 июля) 1907 — 31 октября 1974) — советский правовед, доктор юридических наук (1957), профессор (1958), член-корреспондент АН УССР (1969). Заслуженный деятель науки УССР.

Львовский национальный университет имени Ивана Франко
Львовский национальный университет имени Ивана Франко (укр. Львівський національний університет імені Івана Франка) — один из старейших университетов Восточной Европы и старейший университет Украины. Один из ведущих вузов страны. Основан в январе 1661 года. В прошлом носил название Львовский университет имени Яна Казимира.
Копасор
Копасор (каз. Қопасор) — село в Шалкарском районе Актюбинской области Казахстана. Входит в состав Жанаконысского сельского округа. Находится примерно в 37 км к юго-западу от центра города Шалкар. Код КАТО — 156441200.

Шалкар (город)
Шалка́р (каз. Шалқар / Şalqarо файле, бывш. Челка́р) — город (с 1928 года либо не позднее 1923 года), центр Шалкарского района Актюбинской области Казахстана.

Железнодорожная станция на Ташкентском железнодорожном ходу (участок Кандыагаш — Арысь), в 363 км к югу-востоку от областного центра города Актобе. Шоссе: Шалкар — Иргиз асфальтированное, частично в разбитом состоянии, Шалкар — Солёный, Шалкар — Аккайтым асфальтированное.
Герберт и Дороти Фогель
Герберт Фогель (англ. Herbert Vogel, 16 августа 1922 — 22 июля 2012) и Дороти Фогель (англ. Dorothy Vogel, 14 мая 1935 — 10 ноября 2025) — американские коллекционеры искусства, в своё время названные «пролетарскими коллекционерами искусства» («proletarian art collectors»). Более полувека проработав государственными служащими в Нью-Йорке, собрали одну из самых ценных коллекций художественных произведений пост-шестидесятых годов в Соединённых Штатах, в основном, минималистского и концептуального искусства.

Симпсон, Лорна
Ло́рна Си́мпсон (англ. Lorna Simpson; род. 13 августа 1960, Нью-Йорк, США) — американский фотограф и мультимедийная художница, получившая известность в 1980—1990-е годы благодаря таким произведениям, как Guarded Conditions (1989) и Square Deal (1990). Работы Симпсон экспонировались на многих выставках как национального, так международного уровня. Наиболее известные формы, используемые художницей, — фототекстовые инсталляции, фотоколлажи и фильмы.
SOCKS
SOCKS — сетевой протокол сеансового уровня модели OSI, который позволяет пересылать пакеты от клиента к серверу через прокси-сервер прозрачно (незаметно для них) и таким образом использовать сервисы за межсетевыми экранами (файрволами).

Более поздняя версия SOCKS5 предполагает аутентификацию, так что только авторизованные пользователи получают доступ к серверу.

HTTP
HTTP (англ. Hypertext Transfer Protocol — «протокол передачи гипертекста») — сетевой протокол прикладного уровня, который изначально предназначался для получения с серверов гипертекстовых документов в формате HTML, а с течением времени стал универсальным средством взаимодействия между узлами как Всемирной паутины, так и изолированных веб-инфраструктур.

Определение по основным документациям: HTTP — протокол уровня приложений для распределённых, объединённых, гипермедийных информационных систем, используемый в глобальной информационной инициативе Всемирной паутины с 1990 года.
The Book of Unwritten Tales
The Book of Unwritten Tales (с англ. — «Книга ненаписанных историй») — компьютерная игра в жанре point-and-click квест, разработанная немецкой компанией King Art. В роли издателя выступила Lace Mamba Global.

Приключенческая игра
Приключенческая игра (англ. adventure game) или квест (от англ. quest) — один из основных жанров компьютерных игр, представляющий собой интерактивную историю с главным героем, управляемым игроком. Важнейшими элементами игры в жанре квеста являются собственно повествование и исследование мира, а ключевую роль в игровом процессе играет решение головоломок и задач, требующих от игрока умственных усилий. Такие характерные для других жанров компьютерных игр элементы, как бои, экономическое планирование и задачи, требующие от игрока скорости реакции и быстрых ответных действий, в квестах сведены к минимуму или вовсе отсутствуют. Игры, объединяющие в себе характерные признаки квестов и жанра action, выделяют в отдельный жанр — action-adventure.
Недзельский, Андрей Степанович
Андрей Степанович Недзельский (Неделя или Андрей Львовский; род. 1 марта 1973, Львовская область) — влиятельный украинский криминальный авторитет, вор в законе (хотя на момент получения «титула» не отбывал срок наказания в местах лишения свободы, что противоречит «старым понятиям»). Имел широкие связи среди славянских и кавказских воров из клана Деда Хасана, являлся «смотрящим» по Украине и Киеву, а также держателем украинского воровского «общака».

Воровской закон
Воровской закон (воровская вера, воровской кодекс, воровские понятия, блатные понятия) — неписаные правила и нормы поведения в воровском сообществе во времена Советского Союза и на постсоветском пространстве. Выработался в связи с обособленностью социальной группы преступников в условиях противодействия государству.
Чемпионшип Английской футбольной лиги
Че́мпионшип Английской футбольной лиги (англ. English Football League Championship, официальное спонсорское название Sky Bet Чемпионшип), также известный как просто Че́мпионшип (англ. Championship) — высший дивизион Английской футбольной лиги и второй по значимости дивизион в системе футбольных лиг Англии после Премьер-лиги.

Чемпионшип был основан в 2004 году вместо Первого дивизиона Футбольной лиги.

Победители Чемпионшипа получают тот же трофей, что и выдавался победителю старого Первого дивизиона, а титул чемпиона Англии с сезона 1992/93 стал передаваться победителю Премьер-лиги.

Действующим победителем турнира является «Лидс Юнайтед», занявший первое место в сезоне 2024/25.

Чемпионы Англии по футболу
Чемпионы Англии по футболу — победители высшего дивизиона в чемпионате Англии по футболу (в настоящее время — Премьер-лиги). Команды, выделенные жирным шрифтом, выиграли в указанном сезоне «дубль» (чемпионат и Кубок Англии) либо «европейский дубль» (чемпионат и Кубок европейских чемпионов).
Алгоритм Тарского
Алгоритм Тарского — универсальный алгоритм, позволяющий установить истинность или ложность любой замкнутой арифметической формулы первого порядка с переменными для вещественных чисел.
Основан на теореме Зайденберга — Тарского.

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

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

Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика, устар. логи́стика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.

В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».