hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Дамлянович, Бранко
Бра́нко Дамля́нович (серб. Бранко Дамљановић; род. 17 июня 1961, Нови-Сад) — сербский шахматист, гроссмейстер (1989).

Разделил 1—2-е места в чемпионате Югославии (1989); проиграл дополнительный матч 3. Кожулу — 1½ : 2½.

Лучшие результаты в международных соревнованиях: Титово-Ужице (1981) — 1-е; Ульма (1981) — 3-е; Белград (1982 и 1987) — 3—5-е и 1—5-е; Сент-Максим (1983) — 4-е; Караманико-Терме (1983) — 3—5-е; Афины (1984) — 3—7-е; Грац (1987) — 1-е; Вршац (1987) — 4—6-е; Колхапур (1987) — 1—2-е; Оберварт (1988) — 1—4-е; Нью-Йорк (1988) — 4—11-е; Сент-Джон (1988) — 2—3-е (2-й турнир); Берн (1989) — 3—4-е (побочный турнир); Зеница (1989) — 2—6-е места.

Ужице
У́жице (серб. Ужице / Užice) — город на западе Сербии. Согласно переписи 2022 года численность населения составляет 48 539 человек.

Административный центр муниципалитета Ужице и Златиборского округа. Расположен на берегу реки Детина.
Служевская, Ирина Петровна
Ирина Петровна Служевская (урождённая Тартаковская; 14 марта 1955, Ташкент — 21 декабря 2013, США) — русский филолог и литературный критик, ахматовед.

Дочь литературоведов Петра Иосифовича и Лидии Анатольевны Тартаковских. Окончила Ташкентский университет, кандидат филологических наук (1983, диссертация «Проблемы искусства в поэзии Анны Ахматовой 20-х — 60-х годов»). C 1989 года жила и работала в США.

Опубликовала книгу «Три статьи о Бродском» (2004), ряд статей об Ахматовой, статьи и рецензии о современных авторах (Владимир Гандельсман, Алексей Цветков, Алексей Макушинский и др.) в журналах «Знамя», «Звезда», «Новый мир», «Стороны света», «TextOnly» и т. д.

Цветков, Алексей Петрович
Алексе́й Петро́вич Цветко́в (2 февраля 1947, Станислав — 12 мая 2022, Холон, Тель-Авивский округ) — русский поэт, прозаик, эссеист, критик и переводчик, с 1975 года живший в эмиграции. Доктор философии (1983). Лауреат премии Андрея Белого (2007) и Русской премии (2011).
Фушльзе
Фу́шльзе (нем. Fuschlsee) — озеро расположенное в земле Зальцбург, в Альпах. На берегу озера расположен посёлок Фушль-ам-Зе. Озеро отличается очень хорошим экологическим состоянием и очень чистой водой. Озеро принадлежит к бассейну Дуная. Площадь поверхности — 2,7 км². Максимальная глубина — 67,3 м. Высота над уровнем моря — 664 м.

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

Воды были признаны наиболее прозрачными и чистыми среди вод всего озерного края земли Зальцбург и области Зальцкаммергут. После введения запрета на использование моторных лодок вода достигла качества питьевой. В озере обитают 15 видов рыбы (озёрная форель, голец, сиг, судак, угорь, карп, щука и другие), сезон рыбалки длится с 1 апреля по 30 ноября.

Зальцкаммергут
Зальцкаммергут (нем. Salzkammergut) — историческая область в Австрии к востоку от Зальцбурга, на территории федеральных земель Верхняя Австрия (72 %), Зальцбург (12 %) и Штирия (16 %). Богатый озёрами горный край в долине реки Траун — традиционное место туризма. Название Зальцкаммергут, буквально имущество Соляной палаты, напоминает о временах, когда окрестные соляные шахты управлялись имперской администрацией из Вены. В 1997 году район города Гальштат и гора Дахштайн вошли в список Всемирного наследия ЮНЕСКО, как по критерию исключительного природного ландшафта, так и за его роль в развитии человечества — соляные шахты Зальцкаммергута разрабатывались начиная со второго тысячелетия до н. э.
M3 (бронетранспортёр)
M3 (англ. Half-Track Personnel Carrier M3) — полугусеничный бронетранспортёр США периода Второй мировой войны.

Создан в 1940—1941 годах параллельно с почти идентичным ему по конструкции полугусеничным бронированным артиллерийским тягачом M2. Серийное производство M3 продолжалось с 1941 по 1944 год, всего выпущено 26270 бронетранспортёров М3, M5 и M9 разработки фирмы Интернэйшнл харвестер (International Harvester Company) и не считая почти пятнадцати тысяч машин специального назначения на их базе.

Во время Второй мировой войны M3 и машины на его базе в значительных количествах поставлялись союзникам США по ленд-лизу, немалое количество бронетранспортёров продано другим странам и в послевоенное время. Хотя почти во всех странах, использовавших M3, он снят с вооружения, на 2007 год отдельные страны всё ещё имеют бронетранспортёры этого типа в армиях.

International Harvester
Интернэшнл Харвестер (англ. International Harvester, IH) — американский производитель сельскохозяйственной техники и грузовых автомобилей, основанный в 1902 слиянием McCormick Harvesting Machine Company и Deering Harvester Company. До конца 1970-х ведущий производитель сельхозтехники, в 1979 году компания пережила разорительную забастовку, результатом которой стала фактическая ликвидация компании. В 1984 году акционеры IH продали производство сельхозмашин Tenneco, которая вскоре закрыла производство и ликвидировала марку IH. Собственники того, что осталось от IH — производства автобусов и грузовиков под маркой International — в 1986 году сменили название компании на Navistar International.
Щелочная фосфатаза, ткань-неспецифическая
Щелочная фосфатаза, ткань-неспецифический изозим — фермент, который у человека кодируется геном ALPL. Длина полипептидной цепи белка составляет 524 аминокислот, а молекулярная масса — 57 305.

Кодируемый геном белок по функции относится к гидролаз. Белок имеет сайт связывания с ионами металлов, ионом цинка, ионом магния. Локализован в клеточной мембране.

Гипофосфатазия
Гипофосфатазия (ГФФ) — редкое (орфанное), жизнеугрожающее, генетически обусловленное, врождённое заболевание, проявляющееся нарушением минерализации костей и зубов, а также системными осложнениями, включая нарушение дыхания, судороги, мышечную слабость, боль в костях и нефрокальциноз.
Скуола Гранде-ди-Сан-Фантин
Скуола Гранде-ди-Сан-Фантин или Скуола-ди-Сан-Джироламо (итал. Scuola Grande di San Fantin o Scuola di San Girolamo) — одна из шести венецианских больших скуол (благотворительных организаций мирян при монашеских братствах). Расположена в рионе (районе) Сан-Марко на одноимённой площади (Campo San Fantin), где находится церковь Сан-Фантин и театр Ла Фениче. Ныне в здании расположен Венецианский университет наук, литературы и искусств (Ateneo Veneto di Scienze, Lettere ed Arti).

Сан-Марко (район)
Сан-Марко (итал. San Marco) — центральный из шести исторических сестиере (районов) Венеции. Район также включает в себя остров Сан-Джорджо-Маджоре.

Название района произошло от имени покровителя Венеции — Святого Марка.

В районе сосредоточено большинство главных объектов и достопримечательностей острова, включая центральный комплекс Сан-Марко, в который входят:

Площадь Сан-Марко

Собор Святого Марка

Дворец дожей

Библиотека Сан-Марко

Лоджетта

Кампанила

Старые и Новые Прокурации

Колонны Сан-Марко

Башня часов

Ала Наполеоника

Кроме того, в районе располагается большое количество других достопримечательностей:

Палаццо Дандоло

Театр Ла Фениче

Палаццо Грасси

Палаццо Контарини дель Боволо

Палаццо Контарини Фазан

церкви Сан-Бенето, Сан-Фантин, Церковь Санта-Мария-дель-Джильо, Сан-Маурицио, Церковь Сан-Моизе, Санто-Стефано, Сан-Сальвадор, Сан-Джулиан и Сан-Самуэль.
Астраханцев, Константин Вениаминович
Константин Вениаминович Астраханцев (21 января 1967) — советский и российский хоккеист. Играл на позиции нападающего. Заслуженный мастер спорта. Чемпион мира 1993 года. Выступая за сборную России, провел 21 матч, забросил 8 шайб. Лучший бомбардир сборной России (1992—1993 годов).

Серебряный призёр чемпионата Европы среди юниоров 1985.

Играл в командах:

Ижсталь, (1983—1984, 1986—1987)

Прогресс, (1987—1988)

Трактор, (1988—1994, 1996—1997)

Клубы Финляндии

Ижсталь (хоккейный клуб)
Хокке́йный клуб «Ижста́ль» — команда по хоккею с шайбой из города Ижевска (Удмуртская Республика). Основана в 1958 году. С 2010 года выступает в ВХЛ. Домашняя арена — Учреждение культуры и спорта «Ледовый дворец „Ижсталь“» (вмещает 3 900 зрителей).
Пилолистник бороздчатый
Пилоли́стник боро́здчатый (лат. Heliócybe sulcáta) — гриб семейства Полипоровые. Ранее входил в род Пилолистник (Lentinus). Является единственным представителем рода Heliocybe.

Синонимы:

Lentinus miserculus Kalchbr., 1881

Lentinus pholiotoides Ellis & H.W. Anderson, 1891

Lentinus sulcatus Berk., 1845basionym

Neolentinus sulcatus (Berk.) F. Rune, 1994

Panus fulvidus Bres., 1898

Pleurotus sulcatus (Berk.) D.A. Reid, 1975

Pocillaria misercula (Kalchbr.) Kuntze, 1891

Pocillaria sulcata (Berk.) Kuntze, 1891

Базионим
Базио́ним (лат. basionym, от греч. βασις — основание и ωνυμα — имя) или базоним названия биологического таксона — в ботанике первоначальное название таксона, которое в настоящий момент заменено другим, с использованием той же основы или эпитета, по причине изменения систематического положения и/или ранга таксона.

Другими словами, базионим — первоначальное название биологического таксона, на котором базируется нынешнее.
Nokia Cup 1999
Открытый чемпионат Простеёва 1999 (по спонсорским причинам известный как Nokia Cup 1999) — профессиональный женский теннисный турнир, который разыгрывался на крытых ковровых кортах ТК «Агроферт».

Турнир-1999 является 3-м по счёту, проводящимся здесь. В этом году он относился ко четвёртой категории, проводящихся в рамках WTA Тура.

Соревнования проходили в Простеёве с 8 по 14 февраля 1999 года. Турнир входил в серию соревнований, расположенную в календаре между Открытым чемпионатом Австралии и крупным турниром в Индиан-Уэлсе.

Прошлогодние победительницы турнира:

в одиночном разряде —  Руксандра Драгомир

в парном разряде —  Ленка Ценкова и  Катерина Кроупова

Indian Wells Masters
Indian Wells Masters — профессиональный теннисный турнир, проводимый в марте в Индиан-Уэлсе (США) на хардовых кортах местного Indian Wells Tennis Garden. Мужской турнир относится к серии Мастерс с призовым фондом около 9,7 миллионов долларов и турнирной сеткой, рассчитанной на 96 участников в одиночном разряде и 32 пары; а женский — к серии WTA 1000 с призовым фондом около 9 миллионов долларов и турнирной сеткой, рассчитанной на 96 участниц в одиночном разряде и 32 пары.
Каток, Анатолий Борисович
Анатолий Борисович Каток (9 августа 1944, Вашингтон (округ Колумбия), США — 30 апреля 2018, Данвилл, Пенсильвания США) — советский и американский математик, специалист по теории динамических систем, директор Центра динамических систем и геометрии в Университете штата Пенсильвания.

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

Состояние динамической системы в любой момент времени описывается множеством вещественных чисел (или векторов), соответствующим определённой точке в пространстве состояний. Эволюция динамической системы определяется детерминированной функцией, то есть через заданный интервал времени система примет конкретное состояние, зависящее от текущего.
Dieconeura
Dieconeura — вымерший род из вымершего семейства Spanioderidae отряда новокрылых насекомых с неполным превращением из вымершего отряда герариды (Geraridea). Существовали в карбоне, исчезнув к его концу. Обнаружены в ископаемых отложениях Северной Америки (США, штат Иллинойс) (311,45—306,95 миллионов лет назад).

Новокрылые
Новокры́лые (лат. Neoptera) — инфракласс крылатых насекомых, главной особенностью которых является их складывание крыльев, при котором крылья отводятся назад так, что их дорсальные поверхности оказываются обращенными дорсально или латерально. Это складывание крыльев обеспечивается благодаря особому строению аксиллярного аппарата и характерным чертам жилкования.
Сандоваль, Пабло
Пабло Эмилио Сандоваль (англ. Pablo Emilio Sandoval, род. 11 августа 1986, Пуэрто-Кабельо) — венесуэльский профессиональный бейсболист, выступающий на позиции игрока третьей базы клуба Главной лиги бейсбола «Сан-Франциско Джайентс». Сандоваль двукратный участник матча всех звёзд МЛБ и дважды вместе с «Джайентс» выигрывал Мировую серию. В первой игре 2012 Мировой серии он сделал три хоум-рана, став четвёртым игроком в истории лиги, сделавшим три хоум-рана в игре Мировой серии, и был назван самым ценным игроком Мировой серии.

Сан-Франциско Джайентс
Сан-Франциско Джайентс (англ. San Francisco Giants) — профессиональный бейсбольный клуб, выступающий в Главной лиге бейсбола (МЛБ). Клуб был основан в 1879 году. «Сан-Франциско Джайентс» — победители Мировой серии 2010, 2012 и 2014 годов.
Тесные врата
Тесные врата — узкие ворота.

Тесные врата — библейская притча (Лк. 13:24-29)

«Тесные врата» — 4-я глава повести английского писателя Джона Буньяна «Путешествие Пилигрима в Небесную страну» (1678—1684).

«Тесные врата» — повесть французского писателя Андре Жида (фр. La Porte étroite; 1909).

«Тесные врата» — российский кинофильм режиссёра С. Ткачёва (2009).

Беньян, Джон
Джон Беньян (англ. John Bunyan; 1628, — 31 августа 1688) — английский писатель

, баптистский проповедник.

Почитается церквями Англиканского сообщества, память 29 августа (Церковь Англии), 30 августа (Епископальная церковь США) или 31 августа.
Ганганагар (округ)
Ганганагар (англ. Sri Ganganagar) — округ в индийском штате Раджастхан. Расположен на севере штата в пустыне Тар. Образован в 30 марта 1949 года. Разделён на 6 подокругов. Административный центр округа — город Ганганагар. Согласно всеиндийской переписи 2001 года население округа составляло 1 788 487 человек. Уровень грамотности взрослого населения составлял 64,84 %, что немного выше среднеиндийского уровня (59,5 %).

Округа Индии
Округа (дистрикты) Индии (англ. Districts of India) — административно-территориальные единицы второго уровня в Индии, входят в состав штатов или союзных территорий. Округа по своему статусу аналогичны районам в некоторых странах СНГ, повятам в Польше, округам в США. Есть ещё автономные округа, такие как Дарджилинг.

Количество округов в индийских штатах колеблется от 2 в Гоа до 75 в Уттар-Прадеше, в союзных территориях — до 20 в Джамму и Кашмире. 2 союзные территории состоят из одного округа.

Большинство округов имеют названия своих административных центров.
Ланс
Ланс:

Ланс (лэнс) — кавалерийская пика, применявшаяся рыцарями.

«Ланс» — французский футбольный клуб.

«Ланс» — рассказ В. В. Набокова.

«Ланс» — американская баллистическая ракета малой дальности MGM-52.

Ланс (футбольный клуб)
«Ланс» (фр. Racing Club de Lens) — французский футбольный клуб из города Ланс. Основан в 1906 году. Выступает в Лиге 1. Домашние матчи проводит на стадионе «Боллар-Делелис», вмещающем 38 тысяч зрителей.
Итакуакесетуба
Итакуакесетуба (порт. Itaquaquecetuba) — муниципалитет в Бразилии, входит в штат Сан-Паулу. Составная часть мезорегиона Агломерация Сан-Паулу. Находится в составе крупной городской агломерации Агломерация Сан-Паулу. Входит в экономико-статистический микрорегион Можи-дас-Крузис. Население составляет 352 755 человек на 2006 год. Занимает площадь 81,777 км². Плотность населения — 4.313,6 чел./км².

Агломерация Сан-Паулу (мезорегион)
Агломерация Сан-Паулу (порт. Mesorregião Metropolitana de São Paulo) — административно-статистический мезорегион в Бразилии, входит в штат Сан-Паулу. Население составляет 21 154 988 человек (на 2010 год). Площадь — 9 299,192 км². Плотность населения — 2274,93 чел./км².
Пьенины (национальный парк)
Пьенины (словацк. Pieninský národný park) — национальный парк на севере Словакии. Расположен на западе горного массива Пьенины, на границе с Польшей. Это самый маленький национальный парк страны; его площадь составляет всего 37,5 км², а площадь буферной зоны — 224,44 км².

Расположен в районах Кежмарок и Стара-Любовня Прешовского края. Парк был основан 16 января 1967 года с площадью всего 21,25 км²; его границы были расширены в 1997 году. Парк славится красотой природы, главным образом ущелья реки Дунаец, которое является популярным местом рафтинга и пеших походов. Пьенины предлагают также традиционные для этих мест фольклор и архитектуру, преимущественно в деревне Червены-Клаштор, где расположен музей народной культуры.

Кежмарок (район)
Район Кежмарок (словац. Okres Kežmarok) — район Словакии. Находится в Прешовском крае. Административный центр — город Кежмарок. На севере граничит с Польшей, на востоке с районами Стара-Любовня и Сабинов, на юге с районом Левоча, на западе с районом Попрад.

Площадь составляет 840 км², население — 68 928 человек (2010).

На территории района находится 41 населённый пункт, в том числе 3 города.
Оливье, Фердинанд Иоганн фон
Фердина́нд Иога́нн фон Оливье́ (нем. Ferdinand Johann von Olivier; 1 апреля 1785, Дессау, Ангальт-Дессау — 11 февраля 1841, Мюнхен) — немецкий живописец, рисовальщик,  гравёр-ксилограф и литограф эпохи романтизма. Член семьи художников Оливье. Работал главным образом в жанре пейзажа. В художественном отношении был близок к назарейцам.

Ангальт-Дессау
А́нгальт-Дессау или А́нхальт-Дессау (нем. Anhalt-Dessau) — княжество, позже герцогство в Средней Германии.

Его правители происходили из рода Асканиев. Ангальт-Дессау отдельно существовало в период 1396—1561 и 1603—1853 годов. 22 мая 1853 года оно было объединено вместе с герцогством Ангальт-Кётен в единое герцогство Ангальт-Дессау-Кётен, позже, в 1863 году, с присоединением Ангальт-Бернбурга и Ангальт-Цербста все эти земли были преобразованы в герцогство Ангальт.
Хамицевич, Владимир
Владимир Хамицевич (род. 19 февраля 1991, Бендеры) — молдавский шахматист, гроссмейстер (2017).

Двукратный чемпион Молдавии (2010, 2018). В составе сборной Молдавии участник 3-х Олимпиад (2010, 2014 и 2016) и 3-х командных чемпионатов Европы (2011, 2015 и 2017).

Бендеры
Бенде́ры (рум. Bender, молд. Бендер; укр. Бендери; от перс. гавань, пристань, в 1918 — 1940 Тигина (рум. Tighina)) — город в непризнанной Приднестровской Молдавской Республике в пределах официальных границ Республики Молдова, главный порт на реке Днестр, крупнейший железнодорожный узел Приднестровской железной дороги. Исторический город СССР (1986), город воинской славы (2012).

Большая часть города Бендеры фактически управляется Приднестровской Молдавской Республикой (ПМР). Молдова оказывает ограниченное влияние через соседнее село Варница и частично на микрорайон «Северный» в рамках социальных функций и контроля на границе (линии безопасности).

Центр города в основном составляют здания конца XIX — начала XX века, на окраинах расположены 5-, 9-этажные и самые высокие — 14—16-этажные жилые комплексы, построенные в 60-x-80-x годах XX века. В городе много исторических и архитектурных памятников.
Бешенковичское гетто
Бешенко́вичское гетто (лето 1941 — 11 февраля 1942) — еврейское гетто, место принудительного переселения евреев посёлка Бешенковичи и близлежащих населённых пунктов в процессе преследования и уничтожения евреев во время оккупации территории Белоруссии войсками нацистской Германии в период Второй мировой войны.

Немецкая оккупация Белоруссии (1941—1944)
Неме́цкая оккупа́ция Белору́ссии — оккупация германскими войсками в 1941—1944 территории БССР (в границах 1941 года).

После полного захвата немецкими войсками территория БССР была разделена на следующие зоны управления: тыл группы армий «Центр», рейхскомиссариаты «Остланд» и «Украина», генеральный округ «Восточная Пруссия».

На оккупированной территории с первых дней Великой Отечественной войны действовали советские партизанские формирования. Также с 1941 года сюда была распространена деятельность польских партизанских сил, а польские подпольные организации существовали и в довоенный период 1939—1941 годов. В ряде районов Брестской и Пинской областей действовали украинские националисты: Полесская сечь-УПА и ОУН-УПА.
Трипаносомозы
Трипаносомо́зы — болезни позвоночных и человека, вызываемые паразитическими простейшими — трипаносомами. В частности, к числу трипаносомозов относятся такие заболевания человека, как сонная болезнь и болезнь Шагаса; в начале XXI века первая из них (распространённая в странах Тропической Африки) уносила в год около 50 тыс. человеческих жизней, а вторая (районы распространения которой охватывают значительную часть Латинской Америки) — около 13 тыс. жизней.

В большинстве случаев трипаносомозы представляют собой трансмиссивные зооантропонозы и зоонозы; в качестве переносчиков выступают кровососущие двукрылые (мухи цеце, жигалки, слепни из рода Tabanus), а также триатомовые клопы из семейства хищнецов. Случная болезнь лошадиных не является трансмиссивным заболеванием и передаётся от одного животного другому в момент случки через слизистые оболочки половых путей.

Случка
Слу́чка (спа́ривание, совокупле́ние, покры́тие, вя́зка) — спаривание животных для разведения.

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

Гвинея
Гвине́я (фр. Guinée [giˈne], нко ‏ߖߌ߬ߣߍ߫‏‎‎), официальное название: Гвине́йская Респу́блика (фр. République de Guinée [ʁe.py.bˈlik də giˈne]), также Гвине́я-Кона́кри — государство в Западной Африке. Граничит на севере с Сенегалом, на севере и северо-востоке с Мали, на востоке с Кот-д’Ивуаром, на юге с Либерией, на юго-западе с Сьерра-Леоне, на северо-западе с Гвинея-Бисау. С запада омывается Атлантическим океаном. Столица — Конакри.
Сен-Мартен-Везюби
Сен-Марте́н-Везюби́ (фр. Saint-Martin-Vésubie) — коммуна на юго-востоке Франции в регионе Прованс — Альпы — Лазурный берег, департамент Приморские Альпы, округ Ницца, кантон Туррет-Леванс. До марта 2015 года коммуна являлась административным центром одноимённого упразднённого кантона (округ Ницца).

Площадь коммуны — 97,13 км², население — 1331 человек (2006) с тенденцией к стабилизации: 1345 человек (2012), плотность населения — 13,8 чел/км².

Приморские Альпы (департамент)
Примо́рские А́льпы (фр. Alpes-Maritimes, окс. Aups Maritims) — департамент на юго-востоке Франции, один из департаментов региона Прованс — Альпы — Лазурный Берег. Порядковый номер — 06. Административный центр — Ницца. Население — 1 094 579 человек (19-е место среди департаментов, данные 2010 года).
Формальная система
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причём все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.

Формальная система — это совокупность абстрактных объектов, не связанных с внешним миром, в которой представлены правила оперирования множеством символов в строго синтаксической трактовке без учёта смыслового содержания, то есть семантики.
Строго описанные формальные системы появились после того, как была поставлена задача Гильберта. Первые ФС появились после выхода книг Рассела и Уайтхеда «Формальные системы»[уточнить]. Этим ФС были предъявлены определённые требования.

Седьмая проблема Гильберта
Седьма́я пробле́ма Ги́льберта — одна из 23 задач, которые Давид Гильберт предложил 8 августа 1900 года на II Международном конгрессе математиков. Задача связана с доказательством и изучением трансцендентности и иррациональности некоторых чисел.