hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Wołczyn
Wołczyn est une ville de Pologne, située dans le sud du pays, dans la voïvodie d'Opole. Elle est le siège de la gmina de Wołczyn, dans le powiat de Kluczbork. Sa population est de 6 033 habitants (2010) et elle s'étend sur 7,47 km2.

Voïvodie d'Opole
La voïvodie d’Opole (en polonais : Województwo opolskie ; en allemand : Woiwodschaft Oppeln) est l'une des 16 régions administratives (voïvodies) de la Pologne. Son chef-lieu est la ville d'Opole.

La voïvodie fut créée le 1er janvier 1999 à partir de l’ancienne voïvodie d’Opole et de fragments des anciennes voïvodies de Częstochowa, à la suite d'une loi de 1998 réorganisant le découpage administratif du pays.

Elle se divise en 12 districts (powiats), dont une ville possédant des droits de district, et 71 communes. Le nom de la voïvodie fait référence à la ville la plus importante.

La région d'Opole compte la plus forte minorité de langue allemande de Pologne avec plus de 50 000 personnes.
The Andy Warhol Museum
The Andy Warhol Museum est un musée consacré à Andy Warhol, il est situé dans le quartier de North Shore à Pittsburgh en Pennsylvanie. Il est le plus grand musée des États-Unis consacré à un seul artiste.

The Andy Warhol Museum est une des quatre institutions du réseau de Carnegie Museums of Pittsburgh. La réalisation du musée s'est effectuée avec la collaboration de la Carnegie Institute, de Dia Art Foundation et de la Andy Warhol Foundation for the Visual Arts (AWFVA).

Le musée possède 17 galeries dont 900 peintures, près de 2 000 œuvres sur papier, 77 sculptures, 4 000 photographies et plus de 4 350 films de Warhol.

Carnegie Institution
La Carnegie Institution de Washington est une fondation de recherche scientifique fondée en 1902 par Andrew Carnegie. Ses six axes de recherche sont : botanique, biologie du développement, écologie, géologie et planétologie, astronomie.

L'institut a également soutenu des projets archéologiques au Mexique et en Amérique centrale (fouilles de Chichén Itzá, Copán, Uaxactùn, Kaminaljuyú) de 1913 à 1957, sous la direction notamment du mayaniste Sylvanus Morley.
Leptinotarsa tumamoca
Leptinotarsa tumamoca  est une espèce d'insectes coléoptères de la famille des Chrysomelidae, originaire d'Amérique du Nord, qui se nourrit sur des plantes de la famille des Solanaceae. C'est un proche parent du doryphore, avec lequel il peut être confondu, mais contrairement à ce dernier, ce n'est pas un ravageur des cultures de pomme de terre.

Chrysomelidae
Les Chrysomelidae, en  français Chrysomèles, sont une famille de Coléoptères divisée en dix sous-familles et rassemble environ 37 000 espèces herbivores réparties dans le monde entier. Presque chaque espèce est phytophage oligophage et se nourrit donc exclusivement sur des plantes appartenant à la même famille, voire au même genre.
Force aérienne chinoise
La Force aérienne chinoise - officiellement : Force aérienne de l'armée populaire de libération - (chinois simplifié: 中国人民解放军空军; chinois traditionnel : 中國人民解放軍空軍; hanyu pinyin : Zhōngguó Rénmín Jiěfàngjūn Kōngjūn) est la composante aérienne de l'armée populaire de libération. Il s'agit de la troisième force aérienne mondiale (derrière les États-Unis et la Russie) et la plus importante force aérienne d'Asie, avec 250 000 membres et 2 500 avions de combat.

Mikoyan-Gourevitch MiG-15
Le Mikoyan-Gourevitch MiG-15 est un avion de chasse à réaction construit en grande série par les Soviétiques au début de la guerre froide. Réalisé après la livraison de vingt-cinq turboréacteurs Rolls-Royce Nene par le Royaume-Uni, il se révéla supérieur aux meilleures réalisations occidentales lors de la guerre de Corée, sauf le North American F-86 Sabre (le bilan des combats aériens entre MiG-15 et Sabre a été évalué en 2013 à 100 Sabre abattus contre 566 MiG-15). Le MiG-15 fit cependant la réputation de son constructeur qui devint alors le principal constructeur d'avions de chasse en URSS, si bien qu'en Occident le terme MiG devint rapidement synonyme de chasseur soviétique dans le langage familier.
Histoire de l'ichtyologie
L'ichtyologie est la science qui traite des poissons. Le champ temporel de l'ichtyologie recouvre une période qui va de la révolution supérieure du Paléolithique jusqu'à aujourd'hui. La pratique de l'ichtyologie est par ailleurs ancestrale sur les littoraux, bien que son caractère proprement scientifique se soit affirmé en même temps que se développaient les autres disciplines de la zoologie et de la médecine à partir du XVIe siècle.

Albert Günther
Albert Günther, de son nom complet Albrecht Carl Ludwig Gotthilf Günther ou Albert Charles Lewis Gotthilf Günther, est un zoologiste, herpétologiste et un ichtyologiste britannique d'origine allemande, né le 3 octobre 1830 à Esslingen dans le royaume de Wurtemberg et mort le 1er février 1914 à Hampton Wick (en) (London Borough of Richmond upon Thames).
Europa (essai)
Europa - La Dernière Chance de l'Europe est un essai de l'ancien président de la République française Valéry Giscard d'Estaing dont la préface est écrite par l'ancien chancelier fédéral d'Allemagne Helmut Schmidt. Il sort le 2 octobre 2014 aux éditions XO.

Préface (littérature)
Une préface (du latin præ : avant et fari : parler) est, en littérature, un texte d’introduction et de présentation. Placée en tête d’un livre, elle en fait connaître les vues, le plan, prévient des objections, répond à des critiques ou encore donne une idée sur le message que veut transmettre l'auteur à travers ce livre (ex. : la pauvreté de la société, l'inégalité, la prostitution, la violence et pourquoi il a écrit ce livre, etc.). Lorsque la préface est courte, on parle plutôt d'un avertissement ; lorsqu'elle est longue, on parle de prolégomènes. On oppose à la préface la postface.
Jargalant (Arkhangai)
Le sum de Jargalant (mongol : ᠵᠢᠷᠭᠠᠯᠠᠩᠲᠤᠰᠤᠮᠤ, VPMC : jirgalangtu sumu, cyrillique : Жаргалант сум, MNS : Jargalant sum) est situé dans l'aïmag (ligue ou province) d'Arkhangai, au Centre ouest de la Mongolie.

Portail de la Mongolie

Aïmag
Un aïmag (mongol : , API Khalkha : [ˈɛːmə̆q], cyrillique : аймаг, oïrate : әәмг ; lit. « ligue ») est une division administrative de premier niveau en Mongolie (équivalent de « province ») et en Bouriatie. Créées par le gouvernement mandchou (Toungouses) de la dynastie Qing, lors de la création du régime des ligues et bannières, en 1649, dans les régions de l'Empire chinois habitées majoritairement par des Turcs, Mongols et Toungouses, il en existe encore trois en République populaire de Chine, toutes situées en Mongolie-Intérieure.

Chaque aïmag est divisé en un certain nombre de sum. La capitale Oulan-Bator est administrée séparément comme un district fédéral.
Théorie des nœuds
La théorie des nœuds est une branche de la topologie qui consiste en l'étude mathématique de courbes présentant des liaisons avec elles-mêmes, un « bout de ficelle » idéalisé en lacets. Elle est donc très proche de la théorie des tresses qui comporte plusieurs chemins ou « bouts de ficelle ».

Lacet (mathématiques)
En mathématiques, notamment en analyse complexe et en topologie, un lacet est la modélisation d'une « boucle ». C'est un chemin continu et fermé, c'est-à-dire que ses extrémités sont confondues. Par exemple, tout cercle dans le plan euclidien est un lacet.
ROKS Gangwon
ROKS Gangwon est le nom de trois navires de guerre de la marine de la république de Corée :

le ROKS Gangwon (DE-72), un destroyer d'escorte de classe Cannon, en service de 1956 à 1977 ;

le ROKS Gangwon (DD-922), un destroyer de classe Gangwon, en service de 1978 à 2000 ;

le ROKS Gangwon (FFG-815), une frégate de classe Incheon, en service de 2015 à aujourd’hui.

Classe Cannon
La classe Cannon, est une classe de soixante-douze destroyers d'escorte de l'US Navy construits entre 1942 et 1944 et actifs jusqu'en 1968.

Plusieurs dizaines ont été transférées à des marines alliées entre la fin de la Seconde Guerre mondiale et les années 1950.

8 ont servi dans la marine brésilienne.

8 ont servi dans la marine royale néerlandaise entre 1950 et 1967.
Clotaire Baroux
Clotaire Baroux, né le 31 décembre 1881 à Hornoy (Somme) et mort le 20 juillet 1954 à Vichy (Allier), est un homme politique français.

Instituteur dans la Somme, puis à Choisy-le-Roi et à Paris, il est conseiller municipal de Choisy-le-Roi en 1919 et adjoint au maire en 1924. Il est député communiste de la Seine de 1924 à 1928. Battu en 1928, il entre dans l'administration du Trésor, devant percepteur à Saint-Quentin, à Argenteuil et à Colombes.

Argenteuil (Val-d'Oise)
Argenteuil est une commune française, sous-préfecture du département du Val-d'Oise, en région Île-de-France. C'est la 5e ville la plus peuplée de la région après Paris, Saint-Denis, Boulogne-Billancourt, et Montreuil.

Cette commune, d'origine très ancienne, est connue pour le séjour d'Héloïse au Moyen Âge et le pèlerinage de la Tunique d'Argenteuil (tunique revendiquée comme la Sainte Tunique du Christ). C'est également un haut lieu de l'impressionnisme : Claude Monet y séjourne et peint une partie de son œuvre ; Georges Braque y naît un peu plus tard en 1882.

À vocation essentiellement agricole et viticole initialement, Argenteuil a connu une importante industrialisation à la fin du XIXe siècle avant de devenir la cinquième commune d'Île-de-France par sa population et la plus peuplée du département du Val-d'Oise.
USS Missouri
Quatre navires de l'US Navy ont porté ou porte le nom d'USS Missouri, d'après l'État du même nom :

l'USS Missouri (1841), un bateau à roues à aubes lancé en 1841 et détruit dans un incendie en 1843 ;

l'USS Missouri (BB-11), un cuirassé de classe Maine en service de 1900 à 1922 ;

l'USS Missouri (BB-63), un cuirassé de classe Iowa en service de 1944 à 1955 puis de 1986 à 1998, sur lequel ont été signés les actes de capitulation du Japon en 1945. C'est maintenant un navire musée à Pearl Harbor (Hawaï) ;

l'USS Missouri (SSN-780), un sous-marin nucléaire d'attaque de classe Virginia entré en service en 2010.

Sous-marin nucléaire d'attaque
Les sous-marins nucléaires d'attaque (abrégés en SNA en français et SSN pour « Ship Submersible Nuclear » selon le code OTAN) sont des sous-marins à propulsion nucléaire. Contrairement aux SNLE qui ont pour seule mission la dissuasion nucléaire, les SNA sont destinés à des missions de protection, de renseignement et de projection de puissance.

Le premier de ce type de navires de guerre fut l'USS Nautilus de l'US Navy qui entra en service en 1955.
Élections européennes de 2019 en Croatie
Les élections européennes de 2019 en Croatie sont les élections des députés de la neuvième législature du Parlement européen, qui se déroulent du 23 mai au 26 mai 2019 dans tous les États membres de l'Union européenne, dont la Croatie où elles auront lieu le 26 mai 2019 pour élire les 12 sièges alloués au pays. Le 12e élu (SDP) siège après le Brexit, à compter du 1er février 2020, car la Croatie bénéficie d'un siège supplémentaire, à la suite de la redistribution partielle des sièges du Royaume-Uni.

Joupan
Un joupan désigne en français un hobereau, chef de certaines collectivités, territoriales ou non, en Europe centrale et balkanique, dans l’histoire des pays suivants : Bosnie-Herzégovine, Bulgarie, Croatie, Hongrie, Macédoine, Moldavie, Roumanie, Serbie, Slovaquie et Slovénie.

En langues slaves le nom est : župan ou жупън (župăn), en hongrois ispán, en roumain jupân, en grec moderne γυπανος / gypanos[Information douteuse] et en latin comes. Le nom provient du slavon жупынь signifiant « maître d’une terre ».
Kaspar Michel
Kaspar Michel, né le 16 juillet 1970, est une personnalité politique schwytzoise, membre du Parti libéral-radical (PLR).

Il siège au Conseil d'État du canton de Schwytz de juillet 2010 à fin 2022, à la tête du département des finances.

Parti libéral-radical
Le Parti libéral-radical, appelé également PLR ou Les Libéraux-Radicaux (en allemand : Freisinnig-Demokratische Partei (FDP.Die Liberalen), en italien : Partito liberale-radicale svizzero (PLR. I Liberali), en romanche Partida liberaldemocrata svizra (PLD. Ils Liberals)), est un parti politique suisse qui prône une économie et une société libérales.

Il est fondé en 2009 à la suite de la fusion de deux partis fondateurs de la Suisse moderne, le Parti libéral suisse (PLS) et le Parti radical-démocratique (PRD). Il compte donc parmi les plus jeunes partis de Suisse, mais il est aussi celui qui hérite de la plus longue histoire politique, avec 160 ans d'engagement.

Il détient 28 sièges au Conseil national sur 200, 11 au Conseil des États sur 46 et selon la formule magique 2 sur 7 au Conseil fédéral. Il est également le parti le plus représenté dans les exécutifs et législatifs des cantons et des communes,.
Montréal (région administrative)
Montréal est la région administrative la plus peuplée du Québec. Elle s'étend sur l'ensemble de l'île de Montréal ainsi que sur quelques îles adjacentes dont l'île Bizard, l'île Sainte-Hélène, l'île Notre-Dame, l'île des Sœurs, l'île Dorval et l'île de la Visitation.

Île Dorval
L'île Dorval est une île du lac Saint-Louis, un élargissement du fleuve Saint-Laurent. Elle est située dans l'archipel d'Hochelaga, au sud de Montréal au Québec (Canada). Elle est administrativement rattachée à la municipalité de L'Île-Dorval.
William Bonner
William Bonner, de son vrai nom William Bonemer Júnior, né le 16 novembre 1963 à São Paulo, est un journaliste brésilien. Il présente le JN, journal télévisé du soir de la principale chaîne de télévision brésilienne Rede Globo, depuis 1996.

Jornal da Globo
Le Jornal da Globo, ou JG, est un journal télévisé de troisième partie de soirée diffusé quotidiennement, depuis 1982, sur le réseau de télévision brésilien Globo. Son origine remonte cependant à 1967, où il fut diffusé deux ans jusqu'en 1969, puis reprogrammé de 1979 à 1981.

À l'origine animé par Renato Machado et Belisa Ribeiro, il est aujourd'hui présenté par Renata Lo Prete.
Paolo Angeli
Paolo Angeli, né en 1970 à Olbia en Sardaigne, est un guitariste, compositeur et ethnomusicologue italien.

Il est aussi connu pour sa guitare sarde préparée avec 18 cordes.

Il s'inspire de la musique sarde, du flamenco, du jazz, du post-rock, de la musique contemporaine, de la musique nord-africaine et de la pop avant-gardiste.

Guitare préparée
Une guitare préparée ou disposée est une guitare sur laquelle on a modifié le timbre par diverses techniques étendues, y compris en plaçant des objets entre les cordes de l'instrument. Cette pratique s'appelle parfois la guitare de table, parce que beaucoup de guitaristes ne tiennent pas l'instrument de la façon habituelle, mais placent la guitare sur une table afin de la manipuler plus facilement.

La méthode a été probablement développée vers la fin des années 1960 par Keith Rowe, dans l'imitation du piano préparé de John Cage. Dans les années 1970 et les années 1980, des musiciens comme Fred Frith, Keith Rowe, Glenn Branca et le groupe Sonic Youth ont également utilisé les guitares disposées. Yuri Landman et Bart Hopkin ont publié le livre Nice Noise, preparations and modifications for guitar sur le sujet.
Chloe Smith
Chloe Rebecca Smith, née le 17 mai 1982, est une femme politique du parti conservateur britannique et députée de Norwich North.

Elle est élue à un siège lors d'une élection partielle le 23 juillet 2009, à la suite de la démission du député travailliste Ian Gibson à la suite du scandale des dépenses des députés.

De septembre à octobre 2022, elle est secrétaire d'État au Travail et aux Retraites.

Elle est brièvement secrétaire d’État à la Science, à l'Innovation et à la Technologie d'avril à juillet 2023 pendant le congé de maternité de Michelle Donelan.

Bureau du Cabinet (Royaume-Uni)
Le Bureau du Cabinet (en anglais : Cabinet Office, CO) est un département exécutif du gouvernement britannique chargé d'aider le Premier ministre et le cabinet du Royaume-Uni.

Il est dirigé par le Premier ministre (Prime Minister), mais sa gestion quotidienne est dévolue au secrétaire du Cabinet (Cabinet Secretary).
World Clique
World Clique est le premier album studio de Deee-Lite, sorti le 7 août 1990.

L'album s'est classé 20e au Billboard 200 et 34e au Top R&B/Hip-Hop Albums et a été certifié disque d'or par la Recording Industry Association of America (RIAA) le 5 décembre 1990. Il fait partie des 1001 albums qu'il faut avoir écoutés dans sa vie. En 2003, Slant Magazine l'a inclus dans sa liste « Vital Pop: 50 Essential Pop Albums ».

Le tube Groove Is in the Heart, présent dans tous les charts et diffusé sur MTV toute l'année 1990, a lancé la célébrité du groupe.

Les 1001 albums qu'il faut avoir écoutés dans sa vie
Les 1001 albums qu'il faut avoir écoutés dans sa vie (1001 Albums You Must Hear Before You Die) est un ouvrage de référence américain sur la musique publié en 2006 sous la direction de Robert Dimery. Il a connu plusieurs éditions, chacune proposant un contenu partiellement différent : en 2007, 2008, 2009, 2010, 2011, 2013 et 2016.

L'ouvrage consiste en une liste d'albums sortis entre 1955 et la date de publication de chaque édition. Le livre est rangé par ordre chronologique, en commençant par In the Wee Small Hours de Frank Sinatra. Chaque album est accompagné d'un court texte écrit par un critique de musique célèbre. Les entrées sont accompagnées d'images, de citations et d'informations supplémentaires (comme la durée et le producteur).

Le livre a été traduit en français. Il a été publié en France par l'éditeur Flammarion. Il contient une préface du journaliste musical Michka Assayas, avec une liste complémentaire d'albums français et internationaux non cités dans l'ouvrage.
Ikechosaurus
Ikechosaurus sunailinae

Ikechosaurus est  un genre fossile de sauropsidés, c'est-à-dire un « reptile » fossile, de l'ordre des Choristodera, du sous-ordre des Neochoristodera, et de la famille des Simoedosauridae. Il était assez proche du genre  Simoedosaurus.

Il est connu dans le Crétacé inférieur de Chine et de Mongolie.

Une seule espèce est rattachée au genre : Ikechosaurus sunailinae, décrite en 1981 par Denise Sigogneau-Russell et alors attribuée à la famille des Champsosauridae.

Sauropsida
Sauropsides

Les Sauropsides (Sauropsida) sont un clade de tétrapodes rassemblant les Reptiles et les Oiseaux. C'est le groupe frère des Synapsides, dont seul subsistent les Mammifères, avec lesquels ils forment le clade des Amniotes. Les Sauropsides ont produit plusieurs branches basales éteintes, traditionnellement rassemblées sous le taxon des Parareptilia (« à côté des reptiles »), et diverses branches dites d'Eureptilia (« vrais reptiles ») ayant débouché sur les Diapsides, groupe plus dérivé rassemblant tous les reptiles et oiseaux actuels. Le terme « Sauropsida » a été créé en 1864 par Thomas Henry Huxley, qui a regroupé les oiseaux avec les reptiles en se fondant sur des caractères morphologiques.
Pangenèse
La pangenèse est le mécanisme hypothétique conçu par Charles Darwin pour expliquer l’hérédité. Exprimée d'abord en 1868 dans De la variation des animaux et des plantes à l'état domestique, cette théorie qui ne fait pas une distinction claire entre la transmission des caractères acquis et celle des caractères héréditaires, reprend la conception hippocratique selon laquelle l'ensemble de l'organisme participe à l'hérédité, mais en l'adaptant à la théorie cellulaire. La théorie des gemmules, qui s'est avérée erronée, a toutefois une importance en épistémologie - en attirant l'attention sur une masse de faits appelant explication.

Théorie cellulaire
La théorie cellulaire est la théorie centrale et principale de la biologie cellulaire et le fondement le plus reconnu de la biologie en général. Elle a été alimentée par beaucoup d'expériences réalisées depuis le XVIIe siècle.

La théorie cellulaire est constituée de trois principes, qui peuvent être résumés comme suit : la cellule est l'unité structurale, l'unité fonctionnelle et l'unité reproductrice du Vivant.
Championnat du Costa Rica de football 1946
La Primera División 1946 est la vingt-sixième édition de la première division costaricienne.

Lors de ce tournoi, le LD Alajuelense a tenté de conserver son titre de champion du Costa Rica face aux six meilleurs clubs costariciens.

Chacun des sept clubs participant était confronté une fois aux six autres équipes.

Liga Deportiva Alajuelense
La Liga Deportiva Alajuelense est un club de football costaricien fondé en 1919 et basé à Alajuela.

C'est un des clubs les plus populaires et prestigieux du pays. Il évolue en première division du Championnat du Costa Rica.

Avec 30 championnats remportés, il s'agit du deuxième club costaricien le plus titré, derrière le Deportivo Saprissa (34 titres), mais devant le CS Herediano (28 titres).
Histoire de l'Asie du Sud-Est
L'expression Asie du Sud-Est n'est pas très ancienne. Elle remonte à la création en 1943 du South East Asia Command. On utilisait auparavant le couple Indochine (Asie du Sud-Est continentale) et Insulinde (Asie du Sud-Est insulaire).

Faxian
Faxian ou Fa-Hsien (chinois simplifié : 法显 ; chinois traditionnel : 法顯 ; pinyin : Fǎxiǎn, vers 337-422) est un moine bouddhiste chinois, pèlerin et auteur d'une des premières et précieuses descriptions de l'Inde.
Vagrant
Vagrant est un logiciel anciennement libre et open-source pour la création et la configuration des environnements de développement virtuels. Il peut être considéré comme un wrapper autour de logiciels de virtualisation comme VirtualBox.

Depuis la version 1.1, Vagrant n'impose plus VirtualBox, mais fonctionne également avec d'autres logiciels de virtualisation tels que VMware et KVM, et prend en charge les environnements de serveurs comme Amazon EC2, à condition d'utiliser une « box » prévue pour le système de virtualisation choisi. Bien qu'écrit en Ruby, il est utilisable dans des projets écrits dans d'autres langages de programmation tels que PHP, Python, Java, C# et JavaScript.

Depuis la version 1.6,, Vagrant prend nativement en charge les conteneurs Docker à l'exécution, au lieu d'un système d'exploitation entièrement virtualisé. Cela permet de réduire la charge en ressources puisque Docker utilise des conteneurs Linux légers.

C Sharp
C# (C sharp [siː.ʃɑːp] en anglais britannique) est un langage de programmation orientée objet, commercialisé par Microsoft depuis 2002 et destiné à développer sur la plateforme Microsoft .NET, au même titre que d’autres langages liés à cette plateforme (ex. : VB .NET, J#, etc.).

C# est dérivé du C++ et très proche du Java dont il reprend la syntaxe générale ainsi que les concepts, y ajoutant des notions telles que la surcharge des opérateurs, les indexeurs (en) et les délégués. Il est utilisé notamment pour développer des applications web sur la plateforme ASP.NET, ainsi que des jeux vidéo avec les moteurs de jeux Unity et Godot.
Graham Higman
Graham Higman (né le 19 janvier 1917 à Louth et mort à Oxford le 8 avril 2008) est un mathématicien britannique connu pour ses contributions à la théorie des groupes. Il est connu notamment pour le lemme de Higman qui donne une propriété sur la notion de sous-mot, analogue au théorème de Kruskal.

Il a fondé le Journal of Algebra dont il a été le rédacteur de 1964 à 1984.

Théorème de Kruskal
En mathématiques, le théorème des arbres de Kruskal est un résultat de théorie des graphes conjecturé en 1937 par Andrew Vázsonyi et démontré indépendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres étiquetés par un ensemble muni d'un bel ordre est lui-même muni d'un bel ordre. Ce théorème est un cas particulier du théorème de Robertson-Seymour, dont il a constitué une des motivations.

En utilisant ce théorème, Harvey Friedman a pu définir des entiers « incompréhensiblement grands », qu'il a utilisé pour obtenir des résultats nouveaux d'indécidabilité.