hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Alexandr Blinov
Alexandr Ivánovich Blinov –en ruso, Александр Иванович Блинов– (Frunze, Unión Soviética, 19 de agosto de 1954-Andreyevskoye, 9 de febrero de 2021) fue un jinete soviético que compitió en la modalidad de concurso completo.

Participó en los Juegos Olímpicos de Moscú 1980, obteniendo dos medallas, oro en la prueba por equipos (junto con Yuri Salnikov, Valeri Volkov y Serguei Rogozhin) y plata en la individual.

Concurso completo
El concurso completo o prueba de los tres días es una combinación de tres disciplinas ecuestres: doma clásica, campo a través y saltos de obstáculo. Las competiciones se efectúan en este orden y una en cada día (al principio eran tres días, aunque actualmente y dependiendo del evento, la prueba de doma se realiza en dos días). Esta competición tiene sus raíces como prueba comprensiva de la caballería que requería diferentes tipos de maestría al montar a caballo.
Severo Rodríguez Etchart
Severo Rodríguez Etchart (Buenos Aires, 1865 - Ib., 2 de julio de 1903) fue un pintor argentino.

Estudió en el Colegio Nacional y luego en la Academia de la Sociedad Estímulo de Bellas Artes, en Buenos Aires. En 1879 viaja a Turín para estudiar en la Academia Albertina y luego a París para perfeccionarse en la Académie Julian, con los maestros William Bouguereau y Tony Robert-Fleury.

El retrato, el desnudo, el intimismo, el costumbrismo y el paisaje fueron temas abordados por el artista en diferentes estilos.

Sociedad Estímulo de Bellas Artes
La Sociedad Estímulo de Bellas Artes (SEBA) fue una institución artística argentina, la primera en el país y precursora de la Asociación Estímulo de Bellas Artes creada en 1938, que fue fundamental en la constitución y desarrollo de una escuela nacional.
El dueño del sistema
El Dueño del Sistema es el nombre del primer mixtape del cantante puertorriqueño J Álvarez. Fue publicado el 26 de marzo de 2009 por Flow Music, a cargo de DJ Nelson. Contó con una edición especial, la cual se lanzó el 9 de noviembre de 2009, ambas versiones contienen las colaboraciones de Ñengo Flow, Ñejo & Dálmata, Jowell & Randy, entre otros.

La canción «Perreo solido» ganó popularidad en 2020, gracias a la aplicación TikTok, quien se hizo popular debido a un remix no autorizado titulado «Esa nalga brinca», hecho por el productor Thomy DJ, el cual utilizó parte de la canción en dicho remix.

DJ Nelson
Nelson Díaz Martínez (San Juan, Puerto Rico; 7 de abril de 1972), más conocido como DJ Nelson es un DJ, productor musical y uno de los pioneros del reguetón que ayudó al desarrollo y popularidad de este género en la década del 1990.
Rebeka Sziliczei-Német
Rebeka Sziliczei-Német (Jászberény, 24 de agosto de 1999) es una deportista húngara que compite en patinaje de velocidad en pista corta. Ganó cuatro medallas en el Campeonato Europeo de Patinaje de Velocidad en Pista Corta entre los años 2023 y 2026.

Jászberény
Jászberény es una ciudad (város) en el condado de Jász-Nagykun-Szolnok, en Hungría. Se encuentra a orillas del río Zagyva, que va a parar al Tisza, afluente del Danubio. La ciudad está situada a unos 80 km de Budapest y a unos 45 de Szolnok.

Se especula con que Atila pudiera estar enterrado en Jászberény.
Eupithecia carribeana
Eupithecia carribeana es una especie de polilla de la familia Geometridae. La especie fue descrita por primera vez por Claude Herbulot habiendo sido descrita en 1986, con distribución en Martinica y posiblemente en Guadalupe. El holotipo de la especie fue descrita en el sector Monre á Louis de Guadalupe.

Guadalupe (Francia)
Guadalupe (en francés, Guadeloupe; y en criollo guadalupeño, Gwadloup) es un archipiélago de las Antillas, en el mar Caribe, que forma una región de ultramar de Francia y una región ultraperiférica de la Unión Europea. Se encuentra a 600 km al norte de las costas de América del Sur y al noroeste de Dominica. Antiguamente se llamaba Karukera, que significaba «la isla de las bellas aguas». Cristóbal Colón le dio su actual nombre en honor de la Virgen Santa María de Guadalupe. Popularmente, en la cultura creole local se la llama Gwada. Forma parte del Caribe francófono.
Aero L-29 Delfín
El Aero L-29 Delfín (‘delfín’ en checo, designación OTAN: Maya) fue un avión de entrenamiento a reacción militar que se convirtió en el entrenador de reacción estándar para las fuerzas armadas de las naciones del Pacto de Varsovia en los años 1960. Fue el primer avión de reacción completamente diseñado y fabricado en Checoslovaquia.

Designación OTAN
Las designaciones OTAN fueron una serie de nombres en clave para equipamiento militar del Bloque del Este (Unión Soviética, naciones partes del Pacto de Varsovia y la República Popular China). Estas designaciones se crearon para facilitar las comunicaciones entre unidades militares que hablaban en diferentes idiomas, además de que el nombre real del equipamiento al que se hacía referencia no se sabía o no existía, y en muchos casos no se conocería en Occidente durante años.

La OTAN mantiene aún este sistema de designación. La asignación de nombres para las aeronaves rusas y chinas es manejada por cinco naciones del Comité para la Coordinación y Estandarización del Aire ASCC (hoy Consejo de Interoperabilidad del Aire y Espacio ASIC, por sus siglas en inglés) el cual está integrado por los Estados Unidos, el Reino Unido, Canadá, Australia y Nueva Zelanda.
Golfo de Arauco
El golfo de Arauco está ubicado en la costa chilena, sobre el Océano Pacífico en la Región del Bío-Bío.

Constituye un cuerpo de agua en un área semicerrada que tiene como límites punta Lavapíe al sur, en la comuna de Arauco, provincia homónima y la península de Hualpén al norte, en la comuna homónima, provincia de Concepción. En su extremo occidental se encuentra ubicada la isla Santa María. A su vez, recibe las aguas del río Bío-Bío.

En sus costas se encuentran las ciudades de Coronel, Lota y Arauco, además de pueblos y localidades como Escuadrón, Chivilingo, Colcura, Laraquete, caleta Llico y Punta Lavapié, entre otros. Frente a sus costas habitan aproximadamente unas 800.000 personas.

Lota
Lota (del mapudungun: louta ‘pequeño caserío’) es una comuna y ciudad de Chile ubicada en la provincia de Concepción, Región del Biobío, en la zona sur de Chile. Forma parte de la denominada área metropolitana del Gran Concepción.

Fue fundada en 1662 bajo el nombre de Santa María de Guadalupe, por el gobernador español Ángel de Peredo. La comuna es célebre por sus yacimientos carboníferos, ligados a la historia y desarrollo económico de Chile, así como por sus trabajadores de la minería subterránea. Es además la comuna de la región del Biobío con más patrimonio reconocido, sumando once Monumentos Nacionales de Chile al 2018.

Forma parte del distrito electoral N.° 21 y pertenece a la 13.ª circunscripción senatorial de la Región del Biobío.

A su ubicación se le denomina coloquialmente, junto con Coronel y comunas del norte de la provincia de Arauco la Cuenca del carbón.
Tallahassee Community College
El Tallahassee Community College (TCC) es una universidad pública (community college) que ofrece programas de dos años ubicada en Tallahassee, Florida (Estados Unidos). Forma parte del Florida College System.

TCC sirve los condados de León, Gadsden y Wakulla.

TCC abrió en 1966.

Tallahassee
Tallahassee es la capital del estado de Florida, en Estados Unidos. Ubicada en el condado de León, en el Censo de 2010 tenía una población de 181 376 habitantes y una densidad poblacional de 676,92 personas por km².

Tallahassee es sede de la Universidad Estatal de Florida y de la Florida A&M University. También es el centro regional para comercio y agricultura. La ciudad cuenta con el Aeropuerto Internacional de Tallahassee.
Río Ovens
El río Ovens (del inglés: Ovens River) es un corto río de Australia, un afluente del río Murray  que discurre por el estado de Victoria.  Fue descubierto en 1824 a lo largo de una expedición llevada a cabo por Hamilton Hume y William Hovell, en el cual renombraron el río, que hasta entonces era conocido como Burwang por los aborígenes.

William Hovell
William Hilton Hovell (26 de abril de 1786 – 9 de noviembre de 1875) fue un explorador inglés de Australia.  Formó parte de la expedición de Hume y Hovell en 1824, una de las exploraciones más importantes del interior de Australia en la primera mitad del siglo XIX.
Florencia López
María Florencia López (Tucuman Argentina; 26 de febrero de 1980) es una abogada y política argentina. Es Senadora de la Nación Argentina por La Rioja desde 2023, en representación del Partido Justicialista. Antes ocupó el puesto de Intendente de Arauco y Vicegobernadora de la Provincia de La Rioja, además fue miembro de la Legislatura de la Provincia de La Rioja.

La Rioja (Argentina)
La Rioja, oficialmente Ciudad de Todos los Santos de la Nueva Rioja, es la ciudad capital de la Provincia de La Rioja, Argentina. Se encuentra ubicada al centro este de la provincia, en el departamento Capital, cabecera de La Rioja. Está servida por el aeropuerto Capitán Vicente Almandos Almonacid (Códigos IRJ/SANL), con vuelos a la Ciudad Autónoma de Buenos Aires y San Fernando del Valle de Catamarca.
Johannes Fibiger
Johannes Andreas Grib Fibiger (Silkeborg, Dinamarca; 23 de abril de 1867-Copenhague, 30 de enero de 1928) fue un médico danés, galardonado con el Premio Nobel de Medicina en 1926 por su trabajo sobre la etiopatogenia del cáncer ( “por su descubrimiento del carcinoma Spiroptera”).

Silkeborg
Silkeborg es una ciudad de la zona central de Dinamarca, ubicado en el municipio de Silkeborg en Jutlandia. Posee una población de 42.807 habitantes (enero de 2012). Los orígenes de Silkeborg como una ciudad moderna y pujante se remontan a 1844 cuando se construyó una fábrica de papel sobre el río Guden. La ciudad está dividida por el lago Silkeborg Langsø, en una sección norte y otra sur, el cuerpo principal de este lago se encuentra al este de la ciudad, y desagua en el Guden.

El municipio de Silkeborg tiene una población de 89.328 habitantes (2012). El municipio también forma parte del área metropolitana de Jutlandia oriental, la cual comprende más de 1.2 millones de personas.
Kai-Kai
Kai-Kai es una comuna camerunesa perteneciente al departamento de Mayo-Danay de la región del Extremo Norte.

En 2005 tenía 55 366 habitantes, de los que 4935 vivían en la capital comunal homónima. Actualmente no es posible determinar con exactitud la población de la comuna, ya que en 2013 se produjo una rotura de presa en el río Logone que dio lugar a fuertes inundaciones en el área, provocando el desplazamiento de más de nueve mil personas.

Se ubica unos 70 km al este de Maroua. Su territorio es fronterizo al este con la región chadiana de Mayo-Kebbi Este.

Región de Mayo-Kebbi Este
Mayo-Kebbi Este es una de las 23 regiones de Chad (Decretos N.º 415/PR/MAT/02 y 419/PR/MAT/02), y su capital es Bongor. Fue establecida a partir de la antigua prefectura de Mayo-Kebbi (subprefecturas de Bongor, Fianga y Gounou Gaya).
Tálides
Tálides (en griego antiguo: Ταλείδης) fue un alfarero ático activo en la segunda mitad del siglo VI a. C. De él se han conservado principalmente copas de los pequeños maestros. Pero también hizo otras formas de vasos como ánforas, enócoes, lécitos y un lutróforo . Sus obras están cerca del alfarero Amasis, por lo que generalmente se asume una comunidad de talleres. Todos sus vasos fueron pintados, en la medida de lo posible, por el Pintor de Tálides que lleva su nombre, y que es desconocido por su nombre. Hasta los estudios sobre los vasos griegos publicados por Eduard Gerhard en 1831, Tálides era el único alfarero conocido de la antigüedad griega.

Región de Ática
La región de Ática (en griego: Περιφέρεια Αττικής, romanizado: Periféreia Attikís) es una región de Grecia formada por ocho unidades regionales: Atenas Septentrional, Atenas Occidental, Atenas Central, Atenas Meridional, Ática Oriental, El Pireo, Islas y Ática Occidental. Atenas fue anteriormente capital de la Periferia de Grecia Central.

Se localiza en el sur de Grecia. Además de la capital del país, Atenas, están adscritas a ella las ciudades de Eleusis, Megara, Laurión, y Maratón, así como las islas de Salamina, Egina, Poros, Hidra, Spetses, Citera y Anticitera. Más de 3 700 000 personas viven en el nomos, de las cuales el 95 % están en el área metropolitana ateniense. El gentilicio es ático, del griego antiguo Ἀττικός (attikós).
José Luis Dibildox Martínez
José Luis Dibildox Martínez (Matehuala, San Luis Potosí; 20 de julio de 1943-Tampico, Tamaulipas; 31 de agosto de 2018) fue un obispo católico mexicano.

Fue ordenado sacerdote en 1968 y sirvió en la arquidiócesis de San Luis Potosí. El 20 de diciembre de 1993 fue nombrado por el papa Juan Pablo II obispo de la Tarahumara, donde sirvió hasta 2003, cuando el mismo papa le nombró como obispo de Tampico, donde sirvió hasta el 20 de julio de 2018, cuando fue aceptada su renuncia por el papa Francisco debido a su grave enfermedad y al cumplirse la edad canónica de renuncia de 75 años.

Tampico
Tampico (del huasteco: Tampikꞌoꞌ ‘Lugar de perros de agua’) es una ciudad y puerto en México, ubicada en la región Huasteca del estado de Tamaulipas. Es una de las grandes ciudades que tienen mayor desarrollo económico del estado y una de las más importantes de la región noreste de México. Según el censo del 2020, la ciudad tiene una población de 297 373 habitantes, siendo la ciudad más poblada de la zona metropolitana de Tampico y la quinta del estado.
Ṭāmiyah
Ṭāmiyah es un distrito de la gobernación de Fayún, Egipto. En julio de 2017 tenía una población estimada de 448 659 habitantes.

Se encuentra ubicado en el centro-norte del país, junto al oasis Fayún, al suroeste de El Cairo.

Gobernación de Fayún
El Fayum o El Fayún (en idioma árabe: Al-Fayyum: الفيوم tierras pantanosas) es una de las veintisiete gobernaciones de Egipto (provincia), situada hacia el sur del delta del Nilo. Su capital es la ciudad de Medinet el-Fayum (Medinat al-Fayyum), situada 130 kilómetros al sudoeste de El Cairo.

El nombre moderno de Fayum proviene del idioma copto efiom o peiom que significaba el lago o el mar, que a su vez proviene de nombre pȝym, del Antiguo Egipto, con el mismo significado, en referencia al Lago Birket Qarun, un lago que ocupa una parte de la cuenca del antiguo lago Moeris.
Pietro Pacciani
Pietro Pacciani (7 de enero de 1925 - 22 de febrero de 1998) fue un agricultor italiano de la pequeña localidad de Mercatale (en San Casciano in Val di Pesa, provincia de Florencia), sospechoso de ser el infame asesino en serie conocido como el Monstruo de Florencia (Il Mostro di Firenze).

Provincia de Florencia
Florencia (en italiano: Provincia di Firenze) fue una provincia de la región de la Toscana, en Italia. Su capital era la ciudad de Florencia. Entre otros lugares de singular belleza, destacan también: Barberino Val d'Elsa, Fiesole, Greve in Chianti y Tavarnelle Val di Pesa.

Tenía un área de 3514 km², y una población total de 933 860 habitantes (2001). Hay 44 municipios en la provincia (fuente: ISTAT, véase este enlace).

En la provincia se encontraba el circuito de Mugello, uno de los más importantes de Italia.

Su escudo, (partido de gules y plata con una flor de lis lo uno en lo otro, timbrado con una corona cívica) llevaba la flor de lis, en recuerdo del emblema de la ciudad-estado de Florencia y de la profusión de plantas de color blanco que salen en primavera, llamadas flores de lis florentinas (giaggiolo).

El 1 de enero de 2015 fue reemplazada por la ciudad metropolitana de Florencia.
Neighbors 2: Sorority Rising
Neighbors 2: Sorority Rising (Buenos Vecinos 2 en Hispanoamérica y Malditos Vecinos 2 en España) es una comedia familiar de 2016, dirigida por Nicholas Stoller y escrita por Stoller, Andrew J. Cohen, Brendan O'Brien, Seth Rogen y Evan Goldberg. Es la secuela de la película de 2014 Neighbors.

Protagonizada por Rogen, Rose Byrne, Zac Efron y Chloe Grace Moretz. Se estrenó el 20 de mayo en Estados Unidos, y el 19 en los otros países.

El sitio Rotten Tomatoes, le dio un porcentaje de aprobación del 62%.

Evan Goldberg
Evan Goldberg (n. Vancouver, Columbia Británica, Canadá, 11 de mayo de 1982) es un director, productor y guionista cinematográfico canadiense.
Comenzó su carrera en el mundo del cine junto a su amigo de la infancia Seth Rogen, con el que ha producido y escrito numerosas películas y diversas series de televisión de gran prestigio internacional. Como director comenzó en 2013 con la película This Is the End.
Él y Rogen, han sido nominados en numerosos premios como los Premios Emmy, los Globo de Oro, Premios Independent Spirit, etc.
Distrito de Mahabo
Mahabo es un distrito de la región de Menabe, en la isla de Madagascar, con una población estimada en julio de 2014 de 145 375 habitantes.

Se encuentra ubicado al oeste de la isla, cerca del parque nacional de Kirindy Mitea y del río Mangoky.

Parque nacional de Kirindy Mitea
Parque nacional de Kirindy Mitea (en francés: Parc national de Kirindy Mitea) es un parque nacional del país africano de Madagascar. Está situado en la región de Menabe.

Este parque es el único lugar en la tierra donde el ratón (Microcebus berthae), el primate más pequeño del mundo, se puede encontrar.

El parque nacional de Kirindy Mitea es un reconocido centro de endemismo local y de diversidad, relacionada con la presencia de los hábitats de Madagascar occidental y sur. Tiene muchas atracciones, y posee muchos ecosistemas notables, cada uno con una flora y fauna que son particularmente ricos.

El parque fue creado 18 de diciembre de 1997 por Decreto N º 97 1453 y su gestión fue confiada a la ANGAP.
Campeonato Mundial de Patinaje de Velocidad sobre Hielo de 2008
El CII Campeonato Mundial de Patinaje de Velocidad sobre Hielo se celebró en Berlín (Alemania) del 9 al 10 de febrero de 2008 bajo la organización de la Unión Internacional de Patinaje sobre Hielo (ISU) y la Federación Alemana de Patinaje sobre Hielo.

Las competiciones se efectuaron en la pista de hielo del Sportforum de la capital alemana.

Patinaje de velocidad en pista corta es una forma de patinaje de velocidad sobre hielo competitivo. En las competiciones, varios patinadores (típicamente entre cuatro y seis) patinan en una pista de hielo ovalada con una longitud de 111,111 metros (364,54 pies). La pista en sí tiene 60 metros (196,85 pies) de largo por 30 metros (98,43 pies) de ancho, que es del mismo tamaño que una pista de patinaje artístico de tamaño olímpico y una pista de hockey sobre hielo de tamaño internacional. Los deportes relacionados incluyen el patinaje de velocidad en pista larga y el patinaje de velocidad en línea.

Campeonato Mundial de Patinaje de Velocidad sobre Hielo
El Campeonato Mundial de Patinaje de Velocidad sobre Hielo (nombre oficial, ISU World Allround Speed Skating Championships) es la máxima competición internacional de patinaje de velocidad sobre hielo. Es realizado anualmente desde 1893 por la Unión Internacional de Patinaje sobre Hielo (ISU). La participación femenina data de 1936.
Mark Baker (animador)
Mark Baker (nacido el 8 de abril de 1959, Londres) es un animador y productor inglés cuyos trabajos incluyen los cortometrajes nominados al Premio Óscar The Hill Farm (1988), The Village (1993) y Jolly Roger (1998).También es conocido por haber cocreado la serie infantil Peppa Pig (2004-presente) y Ben & Holly's Little Kingdom (2008-2013).

Animador
En las artes visuales, un animador o animadora es un artista que crea animaciones, es decir, secuencias visuales (o audiovisuales si se le añade sonido) de múltiples imágenes que al sucederse unas detrás de otras generan la ilusión de tener movimiento propio. Los animadores pueden trabajar en diversas áreas como el cine, la televisión, los videojuegos o internet. Generalmente, estos trabajos requieren de la colaboración de varios animadores. Los métodos para crear estas imágenes dependen del animador y estilo que quiera lograr.

Los animadores se pueden dividir en animadores de personajes (artistas que se especializan en los movimientos, diálogo y actuación de los personajes) y animadores de efectos especiales (que animan todo lo que no sea un personaje, por ejemplo vehículos, maquinaria o fenómenos naturales como agua, nieve, lluvia).
Li Haonan (patinador)
Li Haonan (en chino: 李蒿楠; Changchun, 1 de agostode 1981) es un deportista chino que compitió en patinaje de velocidad en pista corta.

Ganó seis medallas en el Campeonato Mundial de Patinaje de Velocidad en Pista Corta entre los años 2002 y 2006, y seis medallas en el Campeonato Mundial de Patinaje de Velocidad en Pista Corta por Equipos entre los años 2001 y 2006.

Campeonato Mundial de Patinaje de Velocidad en Pista Corta
El Campeonato Mundial de Patinaje de Velocidad en Pista Corta es la máxima competición internacional de patinaje de velocidad en pista corta. Es realizado anualmente desde 1976 por la Unión Internacional de Patinaje sobre Hielo (ISU).
Manuscritos de hoja de palma
Los manuscritos de hojas de palma son manuscritos hechos de hojas de palma secas. Las hojas de palma se utilizaron como material de escritura en el subcontinente indio y en el sudeste asiático desde el siglo V a. C.  y posiblemente mucho antes. Su uso comenzó en el sur de Asia y se extendió a otros lugares, como textos sobre hojas de palma secas, tratadas con humo de la especie Borassus (palma de Palmira) o la hoja Ola (hoja de Corypha umbraculifera o la palma de talipot).

Uno de los más antiguos manuscritos de hojas de palma que se conservan de un tratado completo es un texto sánscrito del shivaísmo del siglo IX, descubierto en Nepal, que actualmente se preserva en la Biblioteca de la Universidad de Cambridge. El Manuscrito de Spitzer es una colección de fragmentos de hojas de palma encontrados en las Cuevas de Kizil, China. Se han datado en torno al siglo II d. C. y son el manuscrito filosófico más antiguo conocido en sánscrito.

Betula
Betula es un género de árboles de la familia Betulaceae y del orden Fagales. El nombre común «abedul» designa a varios diferentes árboles caducifolios pertenecientes a este género; a veces también se designa con este nombre a los alisos (Alnus glutinosa), árboles pertenecientes a la misma familia. Su nombre procede del latín betūlla, que a su vez procedería de la palabra betu, que era como los celtas designaban al abedul.

El abedul sirve de alimento a un gran número de lepidópteros tales como Colotois pennaria, Campaea margaritata, Mimas tiliae, Drepana binaria, Geometra papilionaria, Hemithea aestivaria y el bucéfalo o pájaro luna Phalera bucephala.
Gaisi Takeuti
Gaisi Takeuti (竹内 外史 Takeuchi Gaishi, 25 de enero de 1926-10 de mayo de 2017) fue un matemático japonés conocido por su trabajo en la teoría de la demostración, que publicó al menos 47 trabajos en 263 publicaciones.

Después de graduarse en la Universidad de Tokio, fue a la Universidad de Princeton donde estudió bajo la supervisión de Kurt Gödel. Posteriormente, se convertiría en profesor de la Universidad de Illinois en Urbana - Champaign.

El profesor Tauketi fue presidente, entre los años 2003 al 2009, de la Sociedad Kurt Gödel; durante su presidencia en dicha institución trabajó en el reconocido libro Memorias de la teoría de la demostración: Gödel y otros lógicos.

Su principal meta académica fue probar la consistencia de los números reales para lo cual, el profesor Takeuti, especulaba que la formalización de una secuencia lógica de segundo orden se elimina. También fue conocido por su trabajo en los diagramas ordinales con Akiko Kino.

Teoría de la demostración
La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas lógicos. En este sentido, la teoría de la demostración se ocupa de la sintaxis, en contraste con la teoría de modelos, que trata con la semántica. Junto con la teoría de modelos, la teoría de conjuntos axiomática y la teoría de la computabilidad, la teoría de la demostración es uno de los «cuatro pilares» de los fundamentos de las matemáticas.[cita requerida]