hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Аллея Героев (Санкт-Петербург)
Аллея Героев является композиционной осью Московского парка Победы.

Аллея начинается от пропилей главного входа в парк, за которыми на круглой площади сформированной незадолго до войны, в 1951 году сооружён фонтан «Слава» в виде отлитого в бронзе огромного лаврового венка на круглых орнаментированных опорах. Она обрамлена двумя рядами бюстов дважды Героев Советского Союза — уроженцев Ленинграда. Их установка была предусмотрена в первоначальном проекте парка, разработанном архитекторами Е. И. Катониным, В. Д. Кирхоглани, М. А. Шепилевским и Т. Б. Дубяго. Все шесть памятников установлены в соответствии с Указами Президиума Верховного Совета СССР.

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

Шепилевский, Модест Анатольевич
Моде́ст Анато́льевич Шепиле́вский (1906, Санкт-Петербург — 1982, Ленинград) — известный архитектор-художник, член Союза Архитекторов СССР, профессор.

Ректор Ленинградского Высшего Художественно-промышленного Училища имени В. И. Мухиной (ЛВХПУ) в сложные годы послевоенных преобразований.

Внёс большой вклад в формирование советского классицизма.
Институт молекулярной биологии имени В. А. Энгельгардта РАН
Институт молекулярной биологии им. В. А. Энгельгардта (ИМБ РАН) — научно-исследовательский институт Российской академии наук. Официальное название института с указанием организационно-правовой формы: Учреждение Российской академии наук Институт молекулярной биологии им. В. А. Энгельгардта РАН — статус государственного учреждения. Сокращенное название института: ИМБ РАН. Профиль работы организации: научно-исследовательский институт, занимающийся фундаментальными исследованиями в области биологии. Институт входит в состав Отделения биологических наук Российской академии наук.

Энгельгардт, Владимир Александрович
Влади́мир Алекса́ндрович Энгельга́рдт (1894—1984) — советский биохимик, специалист в области молекулярной биологии.

Академик Академии наук СССР и Академии медицинских наук СССР. Герой Социалистического Труда. Лауреат Сталинской премии первой степени и Государственной премии СССР.
Шевченко, Валентина Анатольевна
Валенти́на Анато́льевна Шевче́нко (исп. Valentina Shevchenko, род. 7 марта 1988, Фрунзе) —  профессиональная спортсменка, боксёр и боец смешанных единоборств, представлявшая на соревнованиях Россию и Кыргызстан, а с 2009 года живущая в Перу. Выступает в UFC в легчайшей и наилегчайшей весовых категориях. Двукратная и действующая чемпионка UFC в наилегчайшем весе, также ей принадлежит рекорд по количеству защит титула UFC женщиной — семь раз. Занимает 1-ю строчку официального рейтинга UFC среди лучших бойцов независимо от женской весовой категории (англ. pound-for-pound).

Пенья, Джулианна
Джулиа́нна Нико́ль Пе́нья (Julianna Nicole Peña; род. 19 августа 1989, Спокан, штат Вашингтон, США) — американский боец смешанных боевых искусств, выступающая под эгидой «UFC» в женской легчайшей весовой категории. Бывшая двукратная чемпионка UFC в легчайшем весе.
Занимает 1 строчку официального рейтинга  UFC в женском легчайшем весе. и 8 строчку официального рейтинга UFC среди лучших бойцов независимо от женской весовой категории (англ. pound-for-pound).
Карповцы (Берестовицкий район)
Ка́рповцы (бел. Карпаўцы) — деревня в Берестовицком районе Гродненской области Белоруссии.

Входит в состав Берестовицкого сельсовета.

Расположена в центральной части района. Расстояние до районного центра Большая Берестовица по автодороге — 4 км и до железнодорожной станции Берестовица — 12 км (линия Мосты — Берестовица). Ближайшие населённые пункты — Жабры, Зайковщина, Лисневичи. Площадь занимаемой территории составляет 0,39 км², протяжённость границ 3780 м.

Зайковщина (Берестовицкий район)
За́йковщина (бел. Зайкаўшчына) — деревня в Берестовицком районе Гродненской области Белоруссии.

Входит в состав Берестовицкого сельсовета.

Расположена в центральной части района. Расстояние до районного центра Большая Берестовица по автодороге — 6 км и до железнодорожной станции Берестовица — 14 км (линия Мосты — Берестовица). Ближайшие населённые пункты — Лисневичи, Синьки, Старинцы. Площадь занимаемой территории составляет 0,0255 км², протяжённость границ 963 м.
Итум-Калинский десант
Итум-Калинский десант (операция также известна под названиями специальная пограничная операция «Аргун», спецоперация «Аргун», пограничный десант в Аргунском ущелье) — совместная специальная десантная операция пограничных войск Федеральной пограничной службы России, десантно-штурмовых и артиллерийских формирований Вооружённых сил России, проведённая в декабре 1999 — феврале 2000 года с целью восстановления российского контроля над чеченским участком российско-грузинской границы и блокирования путей снабжения боевиков со стороны Панкисского ущелья Грузии. В результате операции федеральными войсками была блокирована и взята под контроль автодорога Итум-Кале — Шатили, соединяющая Чечню с Грузией, до специальной операции являвшаяся основным путём пополнения чеченских боевиков наёмниками и материального снабжения бандформирований на территории Чеченской Республики.

Итум-Кали — Шатили
Итум-Кали — Шатили — автодорога местного значения, проходящая в верховьях Аргунского ущелья от районного центра Итум-Кали до российско-грузинской границы. Участок от границы до грузинского села Шатили, протяжённостью 2 км, не достроен.
Usenet
Юзнет (англ. usenet (/ˈjuːznɛt/), — сокр. от англ. user network) — компьютерная сеть, активно использовавшаяся для общения и публикации файлов в 1980—1990-х годах. Usenet состоит из новостных групп, в которых пользователи могут посылать сообщения. Usenet оказал большое влияние на развитие современной веб-культуры, дав начало таким широко известным понятиям, как «ник», «смайл», «подпись», «модератор», «троллинг», «флуд», «флейм», «бан», «FAQ» и «спам».

С 1990-х годов Юзнет является частью Интернета, а не отдельной от него сетью. Доступ к Юзнету осуществляется по протоколу NNTP — протоколу прикладного уровня модели OSI.

NNTP
NNTP (англ. Network News Transfer Protocol) — представляет собой сетевой протокол  распространения, запрашивания, размещения и получения групп новостей при взаимодействии между сервером групп новостей и клиентом.
Валашское восстание
Вала́шское восста́ние (рум. Revoluția de la 1821) — восстание румынских крестьян и пандуров в 1821 году в Валахии, Олтении и Молдове под руководством Тудора Владимиреску, часть которых присоединилась впоследствии к отрядам Филики Этерия под общим руководством Александра Ипсиланти. Цель, к которой стремились повстанцы — обретение независимости Валашского княжества от Османской империи и уменьшение роли бояр в управлении государством. Восстание было жестоко подавлено турецкими войсками.

Ипсиланти, Александр Константинович
Александр Константинович Ипсиланти (греч. Αλέξανδρος Υψηλάντης, молд. Александру Ипсиланти, 12 декабря 1792, Константинополь — 31 января 1828, Вена) — руководитель Греческой революции, национальный герой Греции.
Тимберлейк, Джастин
Джа́стин Рэ́ндалл Ти́мберлейк (англ. Justin Randall Timberlake; род. 31 января 1981, Мемфис, Теннесси) — американский певец, автор песен, композитор, продюсер, танцор и актёр. Обладатель четырёх премий «Эмми» и девяти премий «Грэмми».

Джастин Тимберлейк пришёл к славе в качестве одного из солистов бой-бэнда ’N Sync. В 2002 году он выпустил свой первый сольный альбом Justified, проданный более 8 миллионов копий по всему миру. Вторым соло-релизом Тимберлейка стал альбом FutureSex/LoveSounds, который был выпущен в 2006 году и включил в себя такие успешные синглы как «SexyBack», «My Love» и «What Goes Around... Comes Around», ставшие хитами № 1 в США. К январю 2008 года FutureSex/LoveSounds разошёлся более чем 8 000 000 копий. Тимберлейк продал более 18 000 000 копий своих двух соло-альбомов. Всего в мире продано более 88 000 000 экземпляров альбомов Тимберлейка. Также он основал собственный рекорд-лейбл Tennman Records и запустил линию одежды William Rast.

Мемфис (Теннесси)
Ме́мфис (англ. Memphis, [ˈmemfɪs]) — город в штате Теннесси на юге США. Один из крупнейших экономических центров юга страны. Расположен на юго-западе штата в округе Шелби на левом берегу реки Миссисипи, при впадении в неё реки Уолф.

По состоянию на 2019 год население города составляло 651 073 человека, что делает Мемфис вторым по количеству жителей городом штата, вторым в юго-восточном регионе (уступает лишь Нашвиллу) и 19-м в США.

Агломерация Мемфиса включает в себя, помимо округов в штате Теннесси, также округа в штатах Миссисипи и Арканзас, и имеет население в 1 280 533 человека. Это делает агломерацию Мемфиса второй по величине в штате Теннесси после агломерации города Нашвилла.

Мемфис — самый «молодой» из четырёх крупнейших городов штата (Ноксвилла, Чаттануги и Нашвилла). Жители Мемфиса называются мемфийцами, а регион, в котором находится Мемфис — Центральным Югом.
Элленбергер, Генри
Генри Фредерик Элленбергер (Henri F. Ellenberger, 1905-1993) — швейцарский психиатр, психотерапевт, историограф психиатрии. Ученик Карла Густава Юнга.

Автор двухтомника «Открытие бессознательного. История и эволюция динамических методов психиатрии» (1970). Его книга является единственным систематизированным трудом по истории глубинных методов психотерапии.

Юнг, Карл Густав
Карл Гу́став Юнг (нем. Carl Gustav Jung [ˈkarl ˈgʊstaf ˈjʊŋ]; 26 июля 1875, Кесвиль, Тургау, Швейцария — 6 июня 1961, Кюснахт, Цюрих, Швейцария) — швейцарский психолог и психиатр, философ и культуролог, педагог, основоположник аналитической психологии. С 1907 по 1912 год был близким соратником Зигмунда Фрейда.

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

Также получила известность концепция психологических типов Юнга.
Мавродин, Владимир Васильевич
Влади́мир Васи́льевич Мавро́дин (21 февраля 1908, Кишинёв, Бессарабская губерния — 20 ноября 1987, Ленинград) — советский историк, специалист по истории древнерусской государственности и этнической истории русского народа. Доктор исторических наук (1940), профессор исторического факультета ЛГУ. Заслуженный деятель науки РСФСР (1968).

Греков, Борис Дмитриевич
Бори́с Дми́триевич Гре́ков (21 апреля [3 мая] 1882, Миргород, Полтавская губерния — 9 сентября 1953, Москва) — советский историк и общественный деятель, основатель кафедры русской истории историко-филологического факультета Пермского университета и заведующий ею (1916—1918), член-корреспондент АН СССР (с 12 февраля 1934 года), академик (с 1 июня 1935 года), член Болгарской и Польской АН (с 1947 года). Почётный член АН БССР. Доктор философии Пражского университета. С 1939 года — член АСА СССР.

Директор Института истории в Ленинграде (с 1936) и в Москве (с 1938). С 1943 по 1947 год по совместительству — директор Института истории материальной культуры, а с 1947 по 1951 год — директор Института славяноведения. В 1946—1953 годах — академик-секретарь Отделения истории и философии АН СССР.

Депутат Ленсовета XI созыва (1927—1928), ВС РСФСР II созыва (1947—1950) и ВС СССР III созыва (1950—1953). Участник Движения сторонников мира.
Байкалово (Свердловская область)
Байкалово — село в Свердловской области России. Административный центр Байкаловского района и Байкаловского сельского поселения.

Расстояние от областного центра, города Екатеринбурга, 200 км (по автодороге 239 км) на восток-северо-восток.

Байкаловский район
Байка́ловский райо́н — административно-территориальная единица (район) и муниципальное образование (муниципальный район) в Свердловской области, относится к Восточному управленческому округу.

Административный центр — село Байкалово.
Закрывающая технология
Закрывающая технология — инновационная категория, которая в результате своего появления сокращает потребность в ресурсах, включая человеческие ресурсы. При этом закрывающая технология приводит к сворачиванию отдельных специальностей или отраслей промышленности без появления сравнимых по потребностям в ресурсах направлений. Если же просто имеет место замещение новыми технологиями (отраслями, рыночными нишами) ставших ненужными в силу утраты актуальности старых, то речь идёт о подрывных инновациях.

Подрывные инновации
«Подрывные инновации» (англ. Disruptive innovation) — инновации, которые изменяют соотношение ценностей на рынке. При этом старые продукты становятся неконкурентоспособными просто потому, что параметры, на основе которых раньше проходила конкуренция, теряют своё значение. Теория разработана Клейтоном Кристенсеном и опубликована в 1997 году.
Need for Speed: Porsche Unleashed
Need for Speed: Porsche Unleashed (рус. Жажда скорости: Беспредел на Порше; сокр. NFSPU, известная также как Need for Speed: Porsche 2000) — компьютерная игра серии Need for Speed, разработанная студией EA Canada и изданная компанией Electronic Arts в 2000 году для консоли PlayStation и компьютеров под управлением Windows. В 2004 году игра была издана для портативной игровой консоли Game Boy Advance. 13 ноября 2003 года в Германии было выпущено ограниченное издание Porsche 40 Jahre 911. В отличие от предыдущих частей серии, Need for Speed: Porsche не была выпущена в Японии. Игра полностью посвящена автомобилям Porsche. Является пятой основной игрой в серии, потому иногда зовётся, как Need for Speed V.

Porsche
Porsche AG (немецкое произношение [ˈpɔʁʃə] — По́рше; полное наименование Doktor Ingenieur honoris causa Ferdinand Porsche Aktiengesellschaft) — немецкий производитель автомобилей, основанный конструктором Фердинандом Порше в 1931 году, в настоящее время — дочерняя структура Volkswagen AG. Штаб-квартира и основной завод находятся в Штутгарте, Германия.
Пляж (роман)
«Пляж» (англ. The Beach) — роман-антиутопия английского писателя Алекса Гарленда о самосознании молодых современников, выросших в городских джунглях в условиях глобальной коммерциализации мира. Архетипический мотив поисков земного рая, его обретение и разрушение обнаруживают внутреннюю противоречивость и духовный трагизм поколения без иллюзий. Книга была впервые опубликована в 1996 году, после чего компания 20th Century Fox купила права на экранизацию. Одноимённый фильм был выпущен в 2000 году.

Пляж (фильм, 2000)
«Пляж» (англ. The Beach) — приключенческий драматический фильм 2000 года режиссёра Дэнни Бойла по сценарию Джона Ходжа, основанному на одноименном романе Алекса Гарланда 1996 года. В главных ролях Леонардо Ди Каприо, Тильда Суинтон, Виржини Ледуайен, Гийом Кане и Роберт Карлайл. Фильм имел умеренный кассовый успех, но получил неоднозначные отзывы критиков. Леонардо ДиКаприо был номинирован на премию «Золотая малина» как худший актёр (проиграл Джону Траволте в роли Терла из «Поля битвы: Земля» и в роли Расса Ричардса в «Счастливых номерах»).
Словенский язык
Слове́нский язы́к (самоназвание — slovenski jezik [slɔˈʋèːnski ˈjɛ̀ːzik], slovenščina [slɔˈʋèːnʃtʃina]) — индоевропейский язык, принадлежащий к западной ветви южнославянских языков. Словенский язык, наряду с лужицкими, является одним из славянских языков, сохранивших двойственное число.

Число говорящих — около 2,5 млн человек на 2010 год, большинство из которых живёт в Словении.

Письменность — на основе латинского письма (гаевица).

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

Хорватский алфавит является латинизированным аналогом кириллической вуковицы, используемой сербским языком. Гаевица, наряду с вуковицей, используется в Боснии и Герцеговине, Сербии и Черногории.

Хорватский алфавит состоит из 30 букв:

Буквы Q, X, Y, W не входят в алфавит, но сохраняются в иностранных именах собственных: «Queen», Bordeaux, New York.
Дмитрий Герасимов
Дмитрий Герасимов (Ми́тя, «посол Дмитрий», Дмитрий Толма́ч, Дмитрий Схола́стик, латинизированное имя Деметрий Эразмий, лат. Demetrius Erasmius, ок. 1465 — после 1535 или 1536) — русский книжник, дипломат, переводчик («толмач латинский», как называет его Никоновская летопись), учёный и богослов, пропагандист европейской культуры эпохи Возрождения в Русском государстве.

Максим Грек
Макси́м Грек (греч. Μάξιμος ο Γραικός; в миру — Михаи́л Триво́лис, греч. Μιχαήλ Τριβώλης. 1470, Арта, Эпирское царство — 21 января 1556, Троицкий монастырь, Сергиев Посад) — писатель, богослов, переводчик, филолог. Этнический грек. Канонизирован Русской церковью в лике преподобных, память совершается 21 января (3 февраля) и 21 июня (4 июля) (обретение мощей в 1996 г.) по юлианскому календарю.
Стаханов, Алексей Григорьевич
Алексе́й Григо́рьевич Стаха́нов (21 декабря 1905 [3 января 1906], Луговая, Ливенский уезд, Орловская губерния, Российская империя — 5 ноября 1977, Торез, Донецкая область, Украинская ССР, СССР) — советский шахтёр, новатор угольной промышленности, основоположник Стахановского движения, Герой Социалистического Труда (1970).

В 1935 году группа, состоявшая из забойщика Стаханова и двоих крепильщиков, в ночь с 30 на 31 августа за 5 ч 45 мин добыла 102 тонны угля, что соответствовало 14 нормам выработки угля забойщика. Рекорд был приурочен к Международному юношескому дню. Впоследствии достижение Стаханова вылилось в массовое движение, известное как «стахановское движение», а также привело к появлению стахановцев в других отраслях: машинист на ж.-д. транспорте Пётр Кривонос, кузнец Александр Бусыгин, текстильщицы Евдокия и Мария Виноградовы и другие.

Торез (город)
Торе́з / Чистяко́во (укр. Чистякове) — город в Горловском районе Донецкой области Украины.

С июня 2014 года находился под контролем управляемой из России марионеточной Донецкой Народной Республики. В настоящее время под российской оккупацией.

По законодательству Украины — административный центр Чистяковской городской общины.
С точки зрения оккупационных властей, образует Торезский городской совет.
Лебедев, Александр Евгеньевич
Алекса́ндр Евге́ньевич Ле́бедев (род. 16 декабря 1959, Москва) — российский предприниматель, общественный и политический деятель, писатель. Председатель Совета директоров ЗАО «Национальная резервная корпорация», бывший депутат Государственной думы. Депутат Слободской районной думы (с 2011 по 2014 год). Владелец британского онлайн-издания Independent и телевизионного канала London Live. Мажоритарный владелец газеты Evening Standard. Крупнейший частный акционер и инвестор «Новой газеты».

The Independent
«Индепе́ндент» (англ. The Independent — «независимый») — британское интернет-издание. Изначально ежедневная газета, после банкротства в 2010 году была выкуплена предпринимателем Александром Лебедевым, а 20 марта 2016 года преобразована в электронную версию.
Орхомен Младший
Орхомен (др.-греч. Ὀρχομενός) — персонаж древнегреческой мифологии.

По одной из версий, сын Миния из рода Орхомена Старшего. В его царствование к нему прибыл Гиетт из Аргоса, ему уступлена часть земли. Сына Орхомена упоминает Гесиод. По другим версиям, он назван сыном Зевса или Этеокла и Гесионы, дочери Даная, в этой версии он отец Миния.

Отец Элары. Дед Копрея.

Миний
Миний (др.-греч. Μινύας) — в древнегреческой мифологии царь города Орхомен в Беотии. Его имя сближают с именем царя Миноса. Кроме того, с его именем связано название народа минийцев, населявшего часть материковой Греции ещё до прихода греков.

Сведения о его родословной весьма противоречивы.

Согласно одной версии, сын Посейдона и Еврианассы. Отец Климены. Согласно Аполлонию Родосскому, сын Эола, основатель Орхомена, отец Климены. По другой версии, сын Хриса, правил миниями. Отец Орхомена. По другим версиям, сын Этеокла, Арея и др., муж Тритогенеи или Клитодоры, отец Орхомена, Пресбона, Афаманта, Диохтона и дочерей. По Гесиоду, отец Андрея.

Сын Орхомена, отец трех Миниад. За насмешки над Дионисом его дочери были наказаны богом виноделия, превратившим их в летучих мышей. Сокровищницу Миния и его могилу показывали в Орхомене.
Космический центр Танегасима
Косми́ческий центр Танегасима (яп. 種子島宇宙センター Танэгасима утю: сэнта:), сокр. TNSC (от англ. Tanegashima Space Center) — второй и самый крупный космодром Японии. Был основан в 1969 году, управляется JAXA. Расположен на юго-восточном побережье острова Танегасима, на юге префектуры Кагосима, в 115 км южнее острова Кюсю.

С космодрома производятся запуски самых тяжёлых японских ракет-носителей H-IIA и H-IIB, которые сейчас являются основными ракетами, стартующими с этого космодрома, а также небольших  ракет, предназначенных для суборбитальных научных запусков. Запуски космических аппаратов возможны с наклонением орбиты до 99° к плоскости экватора. По мнению JAXA, этот космодром является самой красивой и живописной стартовой площадкой в мире.

Японское агентство аэрокосмических исследований
Японское агентство аэрокосмических исследований (JAXA, Japan Aerospace Exploration Agency, яп. 国立研究開発法人宇宙航空研究開発機構 — кокурицу кэнкю: кайхацу хо: дзин утю: ко: ку: кэнкю: кайхацу кико:) — национальное космическое агентство Японии, отвечающее за космическую и авиационную программу страны. Образовано 1 октября 2003 года, слиянием трёх ранее независимых организаций: NASDA (практическая космонавтика), ISAS (научные миссии) и NAL (воздухоплавание). JAXA отвечает за разработку и запуск ракет-носителей, спутников гражданского назначения, научных космических аппаратов (космические телескопы, межпланетные станции) и военных спутников. Активно изучает астероиды, планирует миссии по исследованию Луны.
Дьяконов, Владимир Павлович
Владимир Павлович Дьяконов (7 февраля 1940, Киев — 15 июня 2015, Смоленск) — советский и российский учёный в области радиотехники и электроники. Доктор технических наук, профессор Смоленского университета. Известен как автор множества книг по очень широкому кругу вопросов, связанных с радиоэлектроникой и вычислительной техникой.

Смоленский государственный университет
Смоленский государственный университет (СмолГУ) — один из первых вузов, созданных в советское время. Существует с 1918 года. Долгое время функционировал как педагогический вуз (институт, затем университет); статус классического университета получил в 2005 году.

Качество образования, предоставляемого данной организацией, является низким, по мнению местных экспертов. Руководство данной образовательной организации систематически нарушает основные права своих сотрудников. По мнению местной прессы, СмолГУ имеет скандальную академическую репутацию.
Порецкий, Платон Сергеевич
Платон Сергеевич Порецкий (3 (15) октября 1846, Елисаветград — 9 (22) августа 1907, село Жоведь, Городнянский уезд, Черниговская губерния) — русский астроном, математик. Автор первых в России трудов по математической логике, активно занимался популяризацией этой дисциплины, первый из русских учёных, кто читал лекции по математической логике. Занимался проблематикой алгебры высказываний. Его работы (логическая теория канонических форм, алгоритм нахождения следствий из данных посылок и гипотез из данных следствий) оказали влияние на последующие работы в этой области. Хотя основной его специальностью была астрономия, как астроном Порецкий малоизвестен, популярность ему принесло его «хобби» — занятия математической логикой.

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

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