hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Gaio Giulio Quadrato Basso
Gaio Giulio Quadrato Basso (latino: Gaius Iulius Quadratus Bassus; Pergamo, 60 circa – Dacia, 117/118) è stato un politico e militare romano, senatore e console suffetto nel 105 durante il principato di Traiano, dove divenne uno dei principali consiglieri militari.

Daci
I Daci furono una popolazione indoeuropea storicamente stanziata nell'area a nord del basso corso del Danubio che da loro ha preso il nome (Dacia, corrispondente grossomodo alle odierne Romania e Moldavia).

Le diverse tribù che formavano il popolo furono riunite in un regno centralizzato e organizzato soltanto con re Burebista, nel I secolo a.C. Lo Stato dei Daci, con capitale Sarmizegetusa Regia, si scontrò più volte con i Romani, che riuscirono a sottometterli completamente con la vittoria dell'imperatore Traiano su re Decebalo (106). Entrati a far parte dell'Impero romano, i Daci furono prima assorbiti da Roma, mescolandosi con i suoi coloni, successivamente con le nuove genti che invasero i suoi territori a partire dalla metà del III secolo, come Sarmati, Germani, Magiari e Slavi.
Betty Burbridge
Betty Burbridge, nata Elizabeth Burbridge (San Diego, 7 dicembre 1895 – Tarzana, 19 settembre 1987), è stata una sceneggiatrice e attrice statunitense che iniziò a lavorare all'epoca del cinema muto.

Era la pronipote di Stephen G. Burbridge, un controverso generale della Guerra di Secessione, soprannominato Butcher (macellaio).

Raymond B. West
Raymond B. West (Chicago, 11 febbraio 1886 – Los Angeles, 11 settembre 1923) è stato un regista statunitense dell'epoca del muto. Lavorò per la New York Motion Picture Company. Dal 1913 al 1919, anno in cui si ritirò dalla professione a causa di gravi problemi legati all'esaurimento nervoso di cui soffriva, girò una settantina di film.
Stadio Francis Le Blé
Lo stadio Francis Le Blé (in francese Stade Francis-Le Blé è uno stadio di calcio situato a Brest. Questo impianto, inaugurato nel 1922 sotto il nome di Stadio Armoricano, conta attualmente 15.220 posti a sedere. Il club di casa è lo Stade Brestois 29, comunemente noto come Brest.

Stade Brestois 29
Lo Stade Brestois 29, comunemente noto come Brest, è una società calcistica francese con sede nella città di Brest. Milita nella Ligue 1, la massima serie del campionato francese di calcio.

Fondato nel 1903, esordì in massima serie nel 1979. Dal 1981 al 1991 conobbe il proprio apogeo, militando in massima divisione per nove stagioni su dieci, sotto la presidenza di François Yvinec. Retrocesso nel 1991, fallì qualche mese dopo; ritrovò la seconda serie solo nel 2004 e la Ligue 1, la massima serie, nel 2010. Nel 2024 la squadra ha centrato per la prima volta la qualificazione alla UEFA Champions League.
De-Mail
De-Mail è un progetto informatico del governo tedesco che ha fornito a cittadini e imprese una casella di posta elettronica idonea allo scambio certificato e legalmente valido di documenti fra cittadini, imprese e agenzie governative attraverso Internet.

Il progetto di e-government, chiamato Bürgerportal in tedesco, è il risultato di una collaborazione pubblico-privato tesa a ridurre i costi di comunicazione per l'amministrazione e le società private.

Bürgerportal fu presentato nel 2008 e ottenne l'approvazione dei due rami del Parlamento tedesco agli inizi del 2011. La relativa legge istitutiva del servizio entrò in vigore il 2 maggio 2011.

Crittografia asimmetrica
La crittografia asimmetrica, conosciuta anche come crittografia a chiave pubblica, è un tipo di crittografia nel quale ad ogni attore coinvolto nella comunicazione è associata una coppia di chiavi:

La chiave pubblica, che deve essere distribuita;

La chiave privata, appunto personale e segreta.
Rio Valdurna
Il Rio Valdurna (Durnholzer Bach in tedesco) è un fiume dell'Alto Adige che scorre interamente nel comune di Sarentino: nasce dal lago di Valdurna, attraversa la valle omonima e sfocia nel Talvera, a 1 010 m s.l.m., nei pressi della frazione di Campolasta.

È lungo circa 12 km.

Talvera
Il torrente Talvera (Talfer in tedesco) nasce a 2781 m s.l.m. nei pressi del Passo di Pennes nelle Alpi Sarentine in Alto Adige. Attraversa l'intero comune di Sarentino, costituisce il confine tra i comuni di San Genesio Atesino (ad ovest) e di Renon (ad est), per poi entrare nel comune di Bolzano dove sfocia nel fiume Isarco, di cui è il secondo maggiore affluente.
Frédérick Lemaître
Frédérick Lemaître, nome d'arte di Antoine-Louis Prosper Lemaître (Le Havre, 21 luglio 1800 – Parigi, 26 gennaio 1876), è stato un attore teatrale francese.

Fu personaggio dominante delle scene parigine fra il 1830 e il 1870 e uno dei protagonisti per eccellenza del Boulevard du Crime. Ottenne il successo creando una figura inedita del bandito Robert Macaire nel dramma L'auberge des Adrets di Saint-Amand, Antier e Polyanthe, allestito per la prima volta il 12 luglio 1823.

Arte drammatica
L'arte drammatica è l'arte del recitare. Diffusa in tutto il mondo, è riconducibile alla cultura e al costume dei diversi popoli e delle differenti etnie. L'arte della recitazione si perde nella notte dei tempi.
Tro-Bro Léon 2025
Il Tro-Bro Léon 2025, quarantaduesima edizione della corsa, valida come ventiduesima prova dell'UCI ProSeries 2025 categoria 1.Pro e come dodicesimo evento della Coppa di Francia 2025, si svolse l'11 maggio 2025 su un percorso di 203,8 km, con partenza e arrivo a Lannilis, in Francia. La vittoria fu appannaggio del francese Bastien Tronchon, il quale completò il percorso in 4h43'14", alla media di 43,173 km/h, precedendo i connazionali Pierre Gautherat e Valentin Madouas.

Sul traguardo di Lannilis 87 ciclisti, dei 152 partiti dalla medesima località, portarono a termine la competizione.

UCI ProSeries 2025
L'UCI ProSeries 2025 è stata la sesta edizione dell'UCI ProSeries. Il suo calendario è composto da 57 corse, che si sono svolte dal 5 febbraio al 19 ottobre 2025 in Europa, America e Asia.

Durante tutta la stagione i punti vengono assegnati ai corridori in base ai piazzamenti nelle classifiche finali di ciascuna prova e al tipo della stessa; in caso di corse a tappe, si attribuiscono punti anche per i piazzamenti di ogni tappa e per i giorni in maglia di leader.

La classificazione UCI è la seguente:

corse di un giorno: 1.Pro;

corse a tappe: 2.Pro.
Legge Maccanico
La legge 31 luglio 1997, n. 249 (nota anche come legge Maccanico, dal nome del suo proponente, Antonio Maccanico) è una legge della Repubblica Italiana che istituì l'autorità per le garanzie nelle comunicazioni.

Fu oggetto di una parziale pronuncia di illegittimità costituzionale ai sensi della sentenza n. 466/2002 della Corte Costituzionale.

Rete 4
Rete 4 (in passato Retequattro) è un canale televisivo italiano privato a diffusione nazionale fondato il 4 gennaio 1982 dalla Arnoldo Mondadori Editore, acquisito nel 1984 dalla Fininvest e poi gestito da Mediaset.

La rete è di tipo generalista orientata principalmente a un pubblico di adulti, offrendo soprattutto cinema, telefilm, soap opera, informazione, intrattenimento e sport, nonché programmi di attualità e politica.
Scuola Refah
La Scuola Refah era una scuola elementare femminile della capitale iraniana, Teheran.

Divenne nota in particolare dopo la rivoluzione islamica, quando gli uomini dell'Ayatollah Khomeyni occuparono la struttura. 
Qui si occuparono di giudicare i controrivoluzionari, attraverso l'istituzione di una Corte Rivoluzionaria Islamica.
Nella scuola vennero fucilati, tra gli altri, il direttore della SAVAK Nematollah Nassiri, Manouchehr Khosrodad, Nader Jahanbani, Amir-Abbas Hoveyda, Mehdi Rahimi, Reza Naji.
Fu qui che Khomeyni inaugurò il nuovo governo provvisorio.

Oggi è un centro culturale islamico.

Rivoluzione iraniana
La Rivoluzione iraniana (in persiano انقلاب ایران‎, Enqelâb-e Irân), conosciuta anche come Rivoluzione islamica (in persiano انقلاب اسلامی‎, Enqelâb-e Eslâmī) o Rivoluzione khomeinista , fu una serie di sconvolgimenti politici e sociali, avvenuti nel periodo 1978-1979 in Iran, che trasformò la monarchia del Paese in una repubblica islamica sciita, la cui costituzione si ispira alla legge coranica (shari'a).
Stradario di Belluno
Questa lista è suscettibile di variazioni e potrebbe essere incompleta o non aggiornata.

Questa voce raccoglie un elenco completo, con breve descrizione, delle strade e delle piazze della città di Belluno, nell'omonima provincia.

Strada statale 203 Agordina
La ex strada statale 203 Agordina (SS 203), ora strada regionale 203 Agordina (SR 203), è una strada regionale italiana, unica arteria di collegamento fra la Valbelluna e i 16 comuni dell'Agordino, se si esclude il vecchio e stretto tracciato della strada che percorre la Valle del Mis, usata quasi esclusivamente in caso di emergenza.
Diocesi di Chimbote
La diocesi di Chimbote (in latino Dioecesis Cimbotiensis) è una sede della Chiesa cattolica in Perù suffraganea dell'arcidiocesi di Trujillo. Nel 2023 contava 649.000 battezzati su 739.000 abitanti. È retta dal vescovo Ángel Ernesto Zapata Bances, O.C.D.

Arcidiocesi di Trujillo
L'arcidiocesi di Trujillo (in latino Archidioecesis Truxillensis) è una sede metropolitana della Chiesa cattolica in Perù. Nel 2023 contava 1.150.354 battezzati su 1.645.062 abitanti. È retta dall'arcivescovo Gilberto Alfredo Vizcarra Mori, S.I.
Alfio Vandi
Alfio Vandi (Santarcangelo di Romagna, 7 dicembre 1955) è un dirigente sportivo ed ex ciclista su strada italiano con caratteristiche di passista-scalatore. Professionista dal 1976 al 1988, fu il primo corridore ad aggiudicarsi la classifica giovani al Giro d'Italia, nell'edizione 1976.

Campionati del mondo di ciclismo su strada 1981
I Campionati del mondo di ciclismo su strada 1981 si disputarono a Praga, in Cecoslovacchia, il 30 agosto 1981.

Si disputarono quattro prove, per l'assegnazione di altrettanti titoli:

Prova in linea femminile, gara di 53 km

Prova in linea maschile Dilettanti, gara di 187,6 km

Cronometro a squadre maschile Dilettanti, gara di 100 km

Prova in linea maschile Professionisti, gara di 281,4 km
ASB Classic 1999 - Singolare
Il singolare dell'ASB Classic 1999 è stato un torneo di tennis facente parte del WTA Tour 1999.

Dominique Van Roost era la detentrice del titolo, ma ha perso in finale contro 6–4, 6–1 Julie Halard-Decugis.

ASB Classic 1999
L'ASB Classic 1999 è stato un torneo di tennis giocato sul cemento.  È stata la 14ª edizione del ASB Classic, che fa parte della categoria Tier IVb nell'ambito del WTA Tour 1999. Si è giocato al ASB Tennis Centre di Auckland in Nuova Zelanda, dal 4 gennaio al 9 gennaio 1999.
Škoda 24 cm K97
Lo Škoda 24 cm K97 era un cannone navale austro-ungarico che equipaggiava  navi da battaglia e incrociatori corazzati della k.u.k. Kriegsmarine negli anni precedenti la prima guerra mondiale. Il calibro reale della bocca da fuoco era 23,8 cm, ma il sistema di classificazione dell'artiglieria arrotondava al centimetro immediatamente superiore.

Artiglieria navale
L'artiglieria navale è una tipologia di artiglieria montata a bordo di una nave da guerra.

Originariamente l'artiglieria navale venne utilizzata esclusivamente per la guerra navale, ma in seguito venne adoperata anche in alcune casi nei conflitti terrestri, ad esempio nel caso di fuoco navale di supporto e fuoco navale antiaereo Generalmente, all'interno di tale tipologia si riferisce a proiettili lanciati da cannoni tubolari, ma non comprende i proiettili sparati da semoventi come siluri, razzi e missili e quelli semplicemente gettati in mare come cariche di profondità e mine navali.
Locomotiva FS E.666
La locomotiva elettrica gruppo E.666 è un progetto sviluppato dal Servizio Materiale e Trazione delle Ferrovie dello Stato intorno alla fine degli anni sessanta nell'ambito dei piani di rinnovamento e modernizzazione del tempo. Il progetto arrivò solo allo stadio di realizzazione presso le OGR di Foligno del simulacro per le prove in linea, ma venne abbandonato dopo un certo tempo e non ebbe più seguito, anche per i mutati orientamenti direzionali e successivamente a causa dello sviluppo di nuove tecnologie di trazione con le locomotive E.633.

Carrello (ferrovia)
Il carrello è quella parte di un veicolo ferroviario che comprende il rodiggio e la struttura portante ad esso connessa. Può anche essere munito di motori di trazione nel qual caso viene spesso indicato come "carrello motore".

I carrelli dei veicoli ferroviari sono comunemente a due assi ma, nel caso dei carri per trasporto di merci speciali o di massa elevata, possono essere a 3 o più assi.
Le diverse caratteristiche del sistema-carrello vengono indicate con una sigla composta da lettere e numeri secondo la classificazione del rodiggio stabilita dalla Union internationale des chemins de fer. 
Solitamente una carrozza ferroviaria è dotata di due carrelli, mentre una locomotiva può averne anche tre o quattro. A volte, nel caso di composizioni bloccate due veicoli contigui vengono poggiati su un unico carrello realizzando un complesso articolato.
Internationaux de Nouvelle-Calédonie 2015 - Doppio
Il doppio  degli Internationaux de Nouvelle-Calédonie 2015 è stato un torneo di tennis facente parte dell'ATP Challenger Tour 2015.

Austin Krajicek e Tennys Sandgren erano i detentori del titolo, e hanno confermato la vittoria del torneo sconfiggendo in finale Jarmere Jenkins e Bradley Klahn con il punteggio di 7–6(2) 6(5)–7 [10–5].

Internationaux de Nouvelle-Calédonie 2015
Gli Internationaux de Nouvelle-Calédonie 2015, noti anche come Challenger BNP Paribas Noumea per motivi di sponsorizzazione, sono stati un torneo professionistico di tennis maschile giocato sul cemento. È stata la 12ª edizione del torneo che fa parte dell'ATP Challenger Tour nell'ambito dell'ATP Challenger Tour 2015. Si è giocato a Nouméa in Nuova Caledonia dal 5 al 10 gennaio 2015.
Nazionale femminile di hockey su pista del Portogallo
La nazionale di hockey su pista femminile del Portogallo è la selezione femminile di hockey su pista che rappresenta il Portogallo in ambito internazionale.
Attiva dal 1992, opera sotto la giurisdizione della Federazione di pattinaggio del Portogallo.

World Skate
World Skate è l'organismo riconosciuto dal Comitato Olimpico Internazionale per la regolamentazione e il governo degli sport a rotelle nel mondo; regola i rapporti tra le federazioni nazionali e organizza i principali tornei di valore mondiale.

Nata come "Bureau de la Fédération Internationale de Patinage a Roulettes" l'istituzione venne fondata il 21 aprile 1924 durante un torneo di hockey su pista a Montreux in Svizzera.

Nel 2021 conta 141 federazioni membri titolari e 5 associazioni continentali.
Ordine di accensione
L'ordine di accensione è la sequenza con cui si innesca la combustione, nei cilindri di un motore alternativo a combustione interna. In un motore ad accensione comandata l'innesco della fiamma viene affidato a una candela, che riceve l'impulso elettrico tramite il rispettivo cavo. In un motore ad accensione per compressione (diesel) tale sequenza si riferisce all'ordine di funzionamento degli iniettori di combustibile. Per ogni architettura di motore si consiglia una certa sequenza di accensione, al fine di ottenere una coppia regolare e, possibilmente, evitare la formazione di vibrazioni.

Motore ad accensione comandata
Un motore ad accensione comandata è un convertitore da energia chimica a energia meccanica, il quale viene alimentato da un impianto d'alimentazione e scarica i prodotti esauriti (gas di scarico) tramite un impianto di scarico aperto da una valvola.
Française de Mécanique
La Française de Mécanique (spesso abbreviata anche in FM) è stata una joint-venture industriale stretta nel 1969 tra le due Case automobilistiche francesi Peugeot e Renault. Il nome identifica anche il vasto stabilimento costruito a Douvrin proprio per realizzare gli obiettivi di tale joint-venture, e cioè la fabbricazione in comune di motori per automobili. Tale collaborazione durò fino alla fine del 2013, quando la fabbrica di Douvrin passò interamente nelle mani del gruppo PSA.

Groupe PSA
Peugeot S.A., comunemente nota con l'acronimo PSA o Groupe PSA (in passato PSA Peugeot Citroën e PSA Peugeot Talbot Citroën), è stata un'azienda automobilistica e gruppo industriale francese attivo nella produzione di autoveicoli e motoveicoli a cui appartenevano i marchi automobilistici Peugeot, Citroën, DS Automobiles, Opel e Vauxhall Motors.

Fondato nel 1976, è membro dell'Istituto europeo per le norme di telecomunicazione (ETSI).

Nel 2021 avviene la fusione con Fiat Chrysler Automobiles (FCA) in Stellantis.
Collegio Tornacense
Il Collegio Tornacense, conosciuto in passato anche come Collegio Campion, è un collegio costruito nel 1363 per ospitare studenti di diritto canonico dell’Università di Padova. Il nome ufficiale del collegio era Collegio di Santa Maria di Tournai.

Dopo l’aggregazione dei suoi studenti al Seminario Vescovile nel 1822, la struttura è tornata alla sua funzione di collegio universitario nel 1952 ad opera di quella che diventerà l’organizzazione umanitaria Medici con l’Africa Cuamm che ancora vi ha sede. Per questo motivo, essa è nota oggi anche come Collegio CUAMM. Attualmente il collegio ospita circa sessanta studenti e studentesse iscritti all'Ateneo patavino.

Convento di San Francesco Grande (Padova)
Il convento di San Francesco Grande o più semplicemente convento di San Francesco è un complesso religioso che si affaccia su via San Francesco a Padova. Titolato a San Francesco d'Assisi, sorse a partire dal 1414 per il volere di Baldo de' Bonafarii e Sibilla de Cetto, insieme all'omonima chiesa e all'Ospedale di San Francesco Grande, al fine di ospitare una comunità di Frati Minori.

I frati hanno occupato il convento fino al 1810 e dal 1914 al 2020. Oggi parte del complesso ospita, insieme all'antistante Palazzo Marcello, un collegio universitario avviato dai frati nel 1979 in continuità con il ruolo di importante studium che il convento ha svolto nel corso dei secoli.
Questi barbari inglesi
Questi barbari inglesi (The British Barbarians) è un romanzo di Grant Allen, a metà strada tra la fantascienza e il pamphlet sociale. Pubblicato originariamente nel 1895, è stato tradotto in italiano solo nel 2014.

Pamphlet
Un pamphlet (francesismo, pronuncia /pɑ̃ˈflɛ/) o libello è una breve pubblicazione, scritta con intento polemico o satirico, in cui l'autore prende posizione contro un altro autore, o contro un potente, o contro l'intera società (civile o letteraria), su temi o avvenimenti di stretta attualità.

Apparso nel XVIII secolo in Francia, è diventato un vero e proprio genere letterario.
Geminio Ognio
Geminio Ognio (Recco, 13 dicembre 1917 – Roma, 28 ottobre 1990) è stato un pallanuotista e nuotatore italiano, vincitore di una medaglia d'oro all'olimpiade di Londra 1948 ed una di bronzo a Helsinki 1952. Inizia la carriera con la Pro Recco, continua alla RN Camogli, per poi diventare una bandiera della Lazio, con la quale conquisterà lo scudetto nel 1945 (titolo che sarà riconosciuto dalla Federazione Italiana Nuoto solo nel 2021. Nel 1953 è allenatore della Roma, guidandola al primo titolo di campione d'Italia della sua storia.

Pallanuoto ai Giochi della XV Olimpiade
Quello disputato nel corso delle Olimpiadi di Helsinki fu l'undicesimo torneo olimpico di pallanuoto. La manifestazione ebbe luogo tra il 25 luglio e il 2 agosto 1952; inizialmente le gare si sarebbero dovute disputare in mare, presso i bagni di Uunisaari e Humallahti, ma vennero poi destinate allo Stadio del nuoto.

Ci furono ben 21 partecipanti (il più alto numero di sempre), che dovettero disputare una fase preliminare - strutturata in due turni ad eliminazione diretta in cui le squadre si scontrarono sulla base di un sorteggio integrale che mandò direttamente alla fase principale l'Argentina - per accedere poi alle successive fasi a gironi.

Nel girone finale ebbe la meglio l'Ungheria, che conquistò, così, il terzo oro olimpico della sua storia.
Reuss-Lobenstein
Reuss-Lobenstein è stata una signoria, innalzata poi a contea e infine a principato, retta dalla linea nobiliare di Reuss, nel sud-est dell'odierno Stato libero di Turingia, al confine con la Sassonia e la Baviera, con al centro la capitale Lobenstein. Per semplicità, in alcuni luoghi vengono chiamati così anche i sovrani di questo territorio, i signori, i conti e i principi Reuss zu Lobenstein della linea cadetta di Reuss.

Saalburg-Ebersdorf
Saalburg-Ebersdorf è una città di 3.750 abitanti della Turingia, in Germania.

Appartiene al circondario (Landkreis) del Saale-Orla-Kreis (targa SOK) ed è indipendente delle comunità amministrative (Verwaltungsgemeinschaft).
Eachléim
Eachléim è un villaggio della contea di Mayo, nella Repubblica d'Irlanda. Ha una superficie totale di 2,96 km². Il nome deriva dall'irlandese Each (cavallo) e Léim (salto), dal fatto che una tradizione locale tramanda la storia di un cavallo che abbia a suo tempo fatto un salto da una parte all'altra di un pezzo di terra, demarcando i confini del villaggio.

È situato quasi sulla punta della penisola di Mullet, nella Gaeltacht di Erris. È anche sede dello Ionad Deirbhile, o Eachléim Heritage Centre.

In quanto Gaeltacht, l'unica lingua ufficiale del villaggio è l'irlandese. Di conseguenza, il vecchio nome anglicizzato di Aughleam o Aghleam non ha più alcuna valenza ufficiale.

Gaeltacht
Una Gaeltacht (/'ge:lˠtˠəxtˠ/, sostantivo femminile; pl. Gaeltachtaí /'ge:lˠtˠəxtˠi:/) è un'area in Irlanda in cui la lingua irlandese è, o era in tempi recenti, la lingua primaria parlata dalla maggior parte della comunità.

Le Gaeltacht furono riconosciute ufficialmente negli anni 1920 come parte della politica governativa dello Stato Libero d'Irlanda per ripristinare l'uso della lingua irlandese.

Attualmente tale utilizzo è in forte declino. Una ricerca pubblicata nel 2015 ha mostrato che soltanto in 21 delle 155 Gaeltacht, la lingua irlandese è parlata quotidianamente da almeno due terzi della popolazione. Il valore di due terzi dei parlanti è considerato un livello critico per la sopravvivenza della lingua.
Ernst Schröder
Friedrich Wilhelm Karl Ernst Schröder (Mannheim, 25 novembre 1841 – Karlsruhe, 16 giugno 1902) è stato un matematico tedesco, principalmente conosciuto per i suoi studi sulla logica algebrica.

Figura di spicco nell'ambito della logica matematica (termine da lui inventato), sviluppò i lavori di George Boole, Augustus De Morgan, Hugh MacColl e Charles Peirce. La sua opera più nota è Vorlesungen über die Algebra der Logik (Lezioni sull'algebra della logica), in tre volumi, i quali aprirono, all'inizio del ventesimo secolo, la strada agli studi sulla logica come branca a sé stante della Matematica. In questa opera Schröder sistematizzò i diversi tentativi di trasformare la logica classica in logica matematica.

Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione.