hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Alexis Bidal d'Asfeld
Alexis Bidal d'Asfeld (1654 – Aquisgrana, ottobre 1689) era un ufficiale dei dragoni che si distinse nella Guerra d'Olanda, nella Guerra delle riunioni e nella Guerra della Grande Alleanza, nella quale fu ucciso. Il titolo di barone di Asfeld passò ai suoi due fratelli.

Guerra delle riunioni
La guerra delle riunioni (1683–1684) fu un conflitto militare tra Francia e Spagna e i suoi alleati.

Essa venne scatenata dal desiderio di Luigi XIV di acquisire nuove terre, soprattutto i Paesi Bassi spagnoli che affiancavano il confine francese a nord ed a est. La guerra fu, per certi versi, una continuazione della Guerra di devoluzione e della Guerra franco-olandese.
Tour de Normandie femminile 2023
Il Tour de Normandie femminile 2023, prima edizione della corsa e valevole come prova del Calendario internazionale femminile UCI 2023 categoria 2.1, si svolse in tre tappe dal 17 al 19 marzo 2023 su un percorso di 356 km, con partenza da Argentan e arrivo a Caen, in Francia. La vittoria fu appannaggio della francese Cédrine Kerbaol, che completò il percorso in 9h08'33", alla media di 39,008 km/h, precedendo la connazionale Gladys Verhulst e l'italiana Martina Alzini.

Sul traguardo di Caen 95 corritrici, su 129 partite da Argentan, portarono a termine la competizione.

19 marzo
Il 19 marzo è il 78º giorno del calendario gregoriano (il 79º negli anni bisestili). Mancano 287 giorni alla fine dell'anno.

A partire dal 2044, specialmente negli anni bisestili, cadrà in questo giorno l'equinozio di primavera.
Ivolginskij rajon
L'Ivolginskij rajon (in russo Иволгинский район?) è un rajon (distretto) della Repubblica autonoma di Buriazia, nella Siberia meridionale.

Istituito nel 1939, occupa una superficie di 2.663 chilometri quadrati, ospita una popolazione di circa 38.239 abitanti ed ha come capoluogo Ivolginsk.

Distretto municipale (Russia)
Il distretto municipale (in russo муниципальный район?, municipal'nyj rajon) è una tipologia di comune della Russia, che riunisce in unico territorio insediamenti urbani, rurali e territorio extraurbano.
Highway to Hell (singolo)
Highway to Hell è un brano degli australiani AC/DC pubblicato nell'omonimo album del 1979 ed estratto due giorni prima, il 27 luglio, come singolo. È stato scritta dai fratelli Angus e Malcolm Young, chitarristi e fondatori del gruppo, e dall'allora cantante Bon Scott.
L'idea per la canzone nacque dopo un'intervista ad Angus Young durante il loro tour americano nel 1977, quando ad una domanda sulla vita da palcoscenico rispose "It's a fuckin' highway to hell" (ovvero, è una fottuta autostrada per l'inferno).

La canzone è stata classificata al 248º posto nella Lista delle 500 migliori canzoni secondo Rolling Stone.

I 500 migliori brani musicali secondo Rolling Stone
La lista dei 500 migliori brani musicali secondo Rolling Stone è un elenco pubblicato dalla rivista specializzata statunitense Rolling Stone.

Pubblicata l'11 dicembre 2003 e successivamente aggiornata più volte nel corso degli anni di pari passo con l'uscita di nuovi brani ritenuti meritevoli di farne parte, fu redatta da una giuria scelta dalla redazione composta da 172 musicisti, critici musicali ed esperti dell'industria discografica statunitense, per determinare le 500 migliori canzoni di tutti i tempi. La lista è simile alle altre redatte dalla stessa rivista dei 500 migliori album e dei 100 migliori chitarristi.

Gli aggiornamenti di cui sopra sono stati apportati alla lista rispettivamente nel 2010, nel 2021 e nel 2024, anno a cui risale l'ultima versione.
Staurozoa
Staurozoa  (dal greco σταυρός, "croce") è una classe di celenterati del phylum Cnidaria. Di fatto,  le Staurozoa rappresentano la classe accettata più recente fra gli cnidari, creato per sistemare le stauromeduse che per morfologia o analisi filogenetica non potevano essere attribuite agli scifozoi assieme al vicino ordine di meduse Conulatae, ormai estinto.  In termini di specie viventi, le meduse della classe Staurozoa sono in tutto e per tutto equivalenti alle stauromeduse.

La fase adulta medusoide è simile a quella polipoide: vivono ancorate al substrato sommerso (alga o fondo marino). Le stauromeduse sono sovente incontrate in acque relativamente fredde e vicino alla costa. La maggior parte delle stauromeduse non misura più di 5 cm di lungo.

Polipo (zoologia)
I polipi (dal greco πολύς, polýs, "molto" e  πούς, poùs, "piede", quindi "dai molti piedi") sono animali acquatici di diversa taglia appartenenti al phylum degli Cnidaria.

I polipi possono essere solitari, come le anemoni di mare, o coloniali, come le madrepore (i coralli costruttori delle barriere coralline).

Spesso il termine polipo è usato erroneamente per riferirsi al polpo, che appartiene invece al phylum dei Mollusca.
Chironectes minimus
Lo yapok (Chironectes minimus (Zimmermann, 1780)), conosciuto anche come opossum acquatico o sariga d'acqua, è un marsupiale appartenente alla famiglia Didelphidae.

Si tratta dell'unico marsupiale acquatico.

Metatheria
I metateri (Metatheria) sono un clado dei mammiferi di cui i marsupiali (Marsupialia) sono gli unici rappresentanti viventi, diffusi specialmente in Australia e in America del Sud. Nella femmina è quasi sempre presente una tasca addominale, detta marsupio, dove i piccoli, che nascono immaturi a causa della scarsa funzionalità della placenta, vengono allattati e protetti fino al termine dello sviluppo.
Barbara Rudnik
Barbara Rudnik (Wehbach, 27 luglio 1958 – Wolfratshausen, 23 maggio 2009) è stata un'attrice tedesca.

Tra cinema e televisione, partecipò ad oltre un centinaio di differenti produzioni, a partire dall'inizio degli anni ottanta.

Wolfratshausen
Wolfratshausen è una città tedesca, situata nel land della Baviera, che fa parte del circondario di Bad Tölz-Wolfratshausen. È ubicata a circa 35 km a sud di Monaco di Baviera e ad una decina di chilometri a est del lago di Starnberg.

La città si suddivide in cinque quartieri: Altstadt ("città vecchia"), Weidach, Nantwein, Farchet e Waldram.

Il 31 dicembre 2015 gli abitanti erano 18 237.
Harem imperiale ottomano
Per Harem imperiale ottomano (lingua turca ottomana  حرم همايون, Harem-i Hümâyûn) s'intende l'harem del sultano ottomano, ubicato all'interno della residenza imperiale turca di Istanbul, il Palazzo di Topkapı, composto dalle sue concubine/mogli, dai suoi eunuchi e da tutti i suoi parenti di sesso femminile. Si trattava di una vera e propria istituzione che giocò un ruolo principe nella corte dell'impero ottomano, specialmente durante il periodo noto come Sultanato delle donne. Questo microcosmo era retto da due principali autorità: la Valide Sultan, madre del sultano e quindi sovrana di tutte le donne dell'harem (tutte, compresa la Valide, delle schiave), ed il Kizlar Agha, il capo degli eunuchi nilotici impiegati nell'harem.

Eunuco
Un eunuco è un uomo sottoposto in età prepuberale o puberale a interventi più o meno estesi di mutilazione dell'apparato genitale, tale da condurlo a sterilità o a una più radicale impotenza. Gli eunuchi furono comuni a molte corti sovrane soprattutto orientali, da quelle musulmane come quella dell'Impero ottomano a quella del Celeste impero cinese.
Kuliarchar
Kuliarchar è un sottodistretto (upazila) del Bangladesh situato nel distretto di Kishoreganj, divisione di Dacca. Si estende su una superficie di 104,01 km² e conta una popolazione di 182 236 abitanti (censimento 2011).

Divisione di Dacca
La Divisione di Dacca è una delle divisioni amministrative del Bangladesh, che ha come capoluogo la città di Dacca. Con circa 31.000 km² è la seconda divisione per superficie del Bangladesh; grazie alla presenza della capitale Dacca, è inoltre la prima divisione per popolazione e densità di popolazione del Paese.
Vègre
La Vègre /vεgʁ/ è un fiume francese che scorre nel dipartimento della Sarthe, nella regione dei Paesi della Loira. Non deve essere confuso con l'omonimo fiume Vesgre, che scorre nei dipartimenti di Yvelines, nella regione dell'Île-de-France, e dell'Eure-et-Loir, nella regione del Centro-Valle della Loira.

Yvelines
Yvelines /ivˈlin/ è un dipartimento francese della regione dell'Île-de-France. Il nome del dipartimento deriva dalla foresta di Yveline, di cui si è salvata dalla deforestazione solo la parte del massiccio di Rambouillet.
Godina
Drago Karel Godina – politico sloveno

Elena Godina – ex pallavolista russa

John Godina – ex atleta statunitense

Marco Godina (1962) – matematico italiano

Marko Godina (1943-1986) – chirurgo plastico sloveno

Tania Godina – ex nuotatrice slovena

John Godina
John Carl Godina (Fort Sill, 31 maggio 1972) è un ex pesista e discobolo statunitense, vincitore di 3 titoli mondiali nel getto del peso (1995, 1997, 2001) e un titolo mondiale indoor nel 2001 sempre nel peso.

Ha un primato personale di 22,20 nel getto del peso, risultato che lo piazza al 13º posto nella graduatoria mondiale di tutti i tempi, e di 69,91 nel disco, risultato che lo colloca al 23º posto sempre nelle graduatorie mondiali all-time.
Vratislao II di Boemia
Vratislao II (in lingua ceca Vratislav II.; 1032/1035 – 14 gennaio 1092) fu il primo re di Boemia, a partire dal 15 giugno 1085; il titolo reale fu, comunque, una concessione di Enrico IV, imperatore dei Romani, e non era ereditario. Prima di essere elevato al rango di re egli governò la Boemia in qualità di duca sin dal 1061: fu uno dei più grandi governatori boemi medievali.

Imperatore del Sacro Romano Impero
L'imperatore del Sacro Romano Impero, formalmente Imperatore dei Romani (in latino Imperator Romanorum), fu, con alcune variazioni, il titolo portato dal sovrano del Sacro Romano Impero, durante tutta la sua esistenza, dall'800, quando Carlo Magno divenne imperatore d'Occidente, sino al 1806 con il trattato di Presburgo e la fine definitiva dell'Impero.

L'Imperatore, detentore formalmente di poteri assoluti, fungeva da primus inter pares sia tra i sovrani degli Stati dell'Impero che tra i capi di stato del mondo cattolico, ed era il feudatario di alcune zone dell'Impero, definite maestà imperiali, ovvero territori che non avevano altra autorità se non quella dell'imperatore.
Tiro ai Giochi della XXXI Olimpiade - Carabina 10 metri aria compressa femminile
La gara di carabina 10 metri aria compressa femminile dei Giochi della XXXI Olimpiade si è svolta il 6 agosto 2016; hanno partecipato 51 atlete di 37 nazioni. La gara è stata vinta dalla statunitense Virginia Thrasher.

Giochi della XXXI Olimpiade
I Giochi della XXXI Olimpiade (in portoghese Jogos da XXXI Olimpíada), noti anche come Rio 2016, si tennero a Rio de Janeiro, in Brasile, dal 5 al 21 agosto 2016.
Prima volta di un'Olimpiade in Sudamerica, si tratta anche della terza edizione dei Giochi estivi nell'Emisfero Sud dopo le due esperienze australiane di Melbourne 1956 e Sydney 2000.

I giochi del 2016 videro la partecipazione di 11000 atleti da 205 Paesi, tra cui gli esordienti Kosovo, Sudan del Sud e Atleti Olimpici Rifugiati.
Cintura del Mozambico
La cintura del Mozambico è una porzione della crosta terrestre che si estende dall'Antartide Orientale, attraversa l'Africa orientale e continua fino allo scudo arabo-nubiano. Si è formata come sutura geologica tra le placche nel corso dell'orogenesi Pan-Africana, quando si formò la Gondwana.

La cintura del Mozambico include componenti creatisi durante l'apertura dell'antico oceano Mozambico, mentre altri componenti risalgono invece alla sua successiva richiusura.

Mozambico
Il Mozambico (AFI: /mod͡zd͡zamˈbiko/), ufficialmente Repubblica del Mozambico (in portoghese República de Moçambique), è uno Stato sovrano dell'Africa orientale. Ha una popolazione pari a 27 909 798 abitanti secondo il censimento del 2017 e una superficie di 801590 km². La capitale è Maputo. Il Mozambico è un'ex-colonia portoghese, indipendente dal 1975.

Confina a nord con la Tanzania, il Malawi e lo Zambia, ad est con il canale del Mozambico (che lo divide dal Madagascar), a sud con il Sudafrica ed ad ovest con lo Zimbabwe e lo eSwatini. Il Mozambico è un Paese in via di sviluppo e circa la metà della popolazione vive in povertà estrema.
El Menzah
El Menzah è un insieme di quartieri della zona settentrionale di Tunisi, capitale della Tunisia.

Destinato alle classi medie e superiori, il quartiere comprende residenze con predominanza di ville ed edifici di pregio. Queste suddivisioni sono numerate da I a X in ordine di sviluppo: la prima (El Menzah, poi diventa El Menzah I) risale al 1953, l'ultima agli anni 1990 e primi 2000 (El Menzah IX e X, che prende il nome di Ennasr).

Il complesso residenziale è amministrativamente collegato ai governatorati di Tunisi (circoscrizione di El Menzah) e di Ariana (circoscrizione di Ariana Ville). Una parte del quartiere (El Menzah I e IV, poi dalla zona VII alla IX) costituisce uno dei sedici distretti del municipio di Tunisi, per un totale di 43 320 abitanti, mentre un'altra parte (El Menzah V e VI), avente rispettivamente 8 110 e 6 629 abitanti, fa parte del comune di Ariana.

Ariana (Tunisia)
Ariana (in arabo أريانة‎?) è una città della Tunisia, posta in una vasta piana circondata dalla spiagge di Raoued e di Gammarth, dalla città di Cartagine e dalla collina di Sidi Bou Saïd.

Il nome della città non è un vocabolo arabo, ma sembra risalire al periodo del regno Vandalo in Africa: i Vandali, infatti, erano di fede ariana.

Le origini della città risalgono agli Ziriti. Il sultano hafside Muhammad I al-Mustansir ne fece la residenza dell'aristocrazia ebraica sefardita e musulmana andalusa rifugiatasi in Tunisia nel XIII secolo.
Xavier Montsalvatge
Xavier Montsalvatge i Bassols (Gerona, 11 marzo 1912 – Barcellona, 7 maggio 2002) è stato un compositore e critico musicale spagnolo.

Professore al conservatorio di Barcellona, è stato autore di opere liriche, balletti, lavori sinfonici, corali e da camera, molti dei quali si ispirano al folklore catalano, oltre a numerosi lavori per il cinema e la televisione.

Professore
Professore o professoressa (abbreviato prof. o al femminile prof.ssa) è un titolo che designa i docenti o gli eruditi esperti in un settore o in una disciplina e che esercitano attività di insegnamento, soprattutto nel campo dell'istruzione superiore o accademica.
Colombia Open 1994 - Doppio
Il doppio del torneo di tennis Colombia Open 1994, facente parte dell'ATP Tour, ha avuto come vincitori Mark Knowles e Daniel Nestor che hanno battuto in finale Luke Jensen e Murphy Jensen con il punteggio di 6–4, 7–6.

Mark Knowles
Mark Knowles (Nassau, 4 settembre 1971) è un allenatore di tennis ed ex tennista bahamense, ex numero 1 della classifica mondiale di doppio maschile di tennis. In singolare ha raggiunto la 96ª posizione.
Madan
Madan – sottodistretto (upazila) del Bangladesh

Madan – comune della Bulgaria

Madan – singolo di Martin Solveig

Maddan – leggendario re britannico

Ali Madan – calciatore bahreinita

Henry George Madan – chimico britannico

Jamshedji Framji Madan – produttore cinematografico e produttore teatrale indiano

Maddan
Maddan è un leggendario re britannico ricordato da Goffredo di Monmouth. Era figlio di re Locrino e della regina Gwendolen.

Appena nato, il padre lo mandò presso il nonno materno, Corineo di Cornovaglia. Dopo la morte di quest'ultimo, Locrino ripudiò la moglie, che, tornata in Cornovaglia, mise insieme un esercito, con il quale sconfisse in battaglia Locrino. La donna regnò per 15 anni, dopodiché abdicò in favore di Maddan. Costui si sposò e divenne padre di Mempricio e Malin. Regnò pacificamente per 40 anni. Dopo la sua morte, però, tra i figli scoppiò la guerra civile.

Goffredo sincronizza il regno di Maddan con quello di Enea Silvio, e con le vite di Samuele e Omero.
Cedar Walton
Cedar Walton (Dallas, 17 gennaio 1934 – New York, 19 agosto 2013) è stato un pianista e compositore statunitense di musica jazz.

È noto per aver registrato assieme a tanti jazzisti – come leader e come sideman – sposando le sue origini blues e bop con innovative ispirazioni che ne modernizzano le radici.

A Cedar Walton si devono inoltre composizioni che sono divenute ormai degli standard. Fra le più note sono ricordate Ugetsu (conosciuta anche come Polar C o Fantasy in D), Mosaic e Bolivia.

Standard (musica)
In ambito musicale, uno standard è una composizione di consolidata popolarità, considerata parte del repertorio comune di uno o più generi musicali. Sebbene non esistano elenchi ufficiali di standard, tali composizioni possono essere identificate quando eseguite o registrate da una varietà di artisti, anche con arrangiamenti diversi. Gli standard rivestono particolare importanza nella musica jazz quali veicolo per l'improvvisazione.
Palazzo Mocenigo Gambara
Palazzo Mocenigo Gambara è un palazzo di Venezia, situato nel sestiere di Dorsoduro e affacciato sul Canal Grande, tra i Palazzi Contarini degli Scrigni e Corfù e Palazzo Querini alla Carità, poco distante dalle Gallerie dell'Accademia e di fronte a Palazzo Giustinian Lolin.

Sestiere (Venezia)
Il sestiere (in veneto sestièr) è una delle sei zone in cui è diviso il centro storico di Venezia. Corrispondono ai quartieri delle altre città, che idealmente rappresentavano la quarta parte dell'accampamento romano, schema ideale della costruzione di un gran numero di centri abitati d'Europa.
Dubai Tennis Championships 2024 - Doppio maschile
Il doppio maschile del torneo di tennis professionistico Dubai Tennis Championships 2024, facente parte della categoria ATP Tour 500 nell'ambito dell'ATP Tour 2024, si è giocato al The Aviation Club Tennis Centre di Dubai, negli Emirati Arabi Uniti, dal 26 febbraio al 2 marzo 2024. Tra i partecipanti erano assenti Maxime Cressy e Fabrice Martin, i detentori del titolo.

In finale Tallon Griekspoor e Jan-Lennard Struff hanno sconfitto Ivan Dodig e Austin Krajicek con il punteggio di 6-4, 4-6, [10-6].

Andreas Mies
Andreas Mies (Colonia, 21 agosto 1990) è un tennista tedesco.
Specialista del doppio, ha conquistato due edizioni del Roland Garros (2019 e 2020) in doppio con Kevin Krawietz ed ha raggiunto l'ottava posizione del ranking ATP nel novembre del 2019.
Ha inoltre raggiunto le semifinali agli US Open 2019 con Krawietz e al Roland Garros 2023 con Matwé Middelkoop.
Lough Derg (Donegal)
Il Lough Derg (in gaelico irlandese Loch Dearg) è un piccolo lago della contea di Donegal, Repubblica d'Irlanda. Si trova a circa 7 km a nord del villaggio di confine con l'Irlanda del Nord di Pettigoe. È famoso per la presenza del St Patrick's Purgatory, un luogo di pellegrinaggio ascetico nel monastero dei canonici regolari situato su un'isola del lago: la Station Island.

Il lago ha una superficie di 890 ettari, 8,9 km quadrati, ma è poco profondo, il che lo rende pericoloso durante il maltempo.
Nonostante le piccole dimensioni è abbastanza apprezzato dai pescatori, che possono pescarvi buone quantità di lucci, trote e pesce persico.

Lingua irlandese
L'irlandese, detto talvolta anche gaelico irlandese (nome nativo Gaeilge, in inglese Irish), è una lingua indoeuropea appartenente al ceppo delle lingue celtiche insulari, parlata in Irlanda.

È la lingua nazionale della Repubblica d'Irlanda, dove è co-ufficiale assieme alla lingua inglese (seconda lingua nazionale).
Edward Calvin Kendall
Edward Calvin Kendall (South Norwalk, 8 marzo 1886 – Princeton, 4 maggio 1972) è stato un chimico e biochimico statunitense, premio Nobel per la medicina nel 1950.

Vinse il Premio Nobel insieme a Tadeusz Reichstein e Philip Showalter Hench per la scoperta del cortisolo, un ormone rilasciato dalle ghiandole surrenali in situazioni di stress.

Premio Nobel
Il premio Nobel (pronuncia italianizzata "Nòbel" o "Nobèl"; pronuncia svedese: /nʊˈbɛl/) è un'onorificenza di valore mondiale attribuita annualmente a personalità viventi che si sono distinte nei diversi campi dello scibile umano, apportando «i maggiori benefici all'umanità» per le loro ricerche, scoperte e invenzioni, per le opere letterarie, per l'impegno in favore della pace mondiale.
Port-de-Paix
Port-de-Paix, in creolo haitiano Pòdpè, è un comune di Haiti, capoluogo dell'arrondissement omonimo e del dipartimento del Nord-Ovest.

È stato il maggior centro di esportazione di banane e caffè.

Alla zona intorno alla città fu dato il nome di "Valparaíso" da Cristoforo Colombo dopo che vi approdò il 6 dicembre 1492, ed ancora presenta vari luoghi e spiagge che possono costituire un'attrattiva. Un traghetto la collega all'isola di Tortuga.

La città fu fondata nel 1665 da filibustieri francesi, spinti via dall'isola di Tortuga dagli occupanti inglesi. Nel 1679 la città vide la prima rivolta di schiavi neri. La zona visse un periodo florido durante il XIX secolo, ma nel 1902 la città fu quasi interamente distrutta da un incendio e non ritornò più allo stato originale.

Port-de-Paix è anche il capoluogo dell'Arrondissement di Port-de-Paix, che comprende quattro comuni: Port-de-Paix, Bassin-Bleu, Chansolme e l'Isola di Tortuga.

È sede vescovile cattolica.

Caffè
Il caffè è una bevanda ottenuta dalla macinazione dei semi di alcuni alberi tropicali appartenenti al genere Coffea, parte della famiglia delle Rubiacee. Questa famiglia di angiosperme comprende oltre 600 generi e 13 500 specie. Sebbene siano state identificate e descritte più di 100 specie all'interno del genere Coffea, sul mercato le diverse specie vengono comunemente presentate come varietà di caffè. Le due varietà più diffuse sono l'arabica e la robusta.

Attualmente il caffè rappresenta la bevanda più consumata al mondo. Dal punto di vista economico, costituisce la merce più scambiata a livello globale dopo i prodotti petroliferi.
Álvaro Obregón (Messico)
Álvaro Obregón è una municipalità dello stato di Michoacán, nel Messico centrale, il cui capoluogo è la località omonima.

La municipalità conta 20.913 abitanti (2010) e ha un'estensione di 159,44 km².

La località è dedicata a Álvaro Obregón, generale della rivoluzione.

Michoacán
Michoacán (o più precisamente Michoacán de Ocampo) è uno dei 31 stati del Messico. Situato nella parte centrale del paese si affaccia sull'Oceano Pacifico. Confina con gli Stati di Colima e Jalisco a ovest e con gli Stati di Guanajuato e Querétaro a nord, con lo Stato del Messico ad est, con Guerrero a sud-est, ed è bagnato dall'Oceano Pacifico a sud-ovest. Si estende su un'area di 59 864 km² e risulta popolato (2003) da 4 047 500 persone. La capitale è Morelia.
Aritmetica di Robinson
L'aritmetica di Robinson, denotata solitamente con Q in logica matematica, è una teoria del primo ordine, definita per la prima volta da Raphael M. Robinson nel 1950 che ha come assiomi propri una versione ridotta degli assiomi di Peano in cui è assente il principio di induzione e c'è l'aggiunta di un assioma che afferma che ogni numero naturale diverso da zero è successore di qualche altro numero (cosa che nell'aritmetica di Peano è dimostrabile per induzione). L'interesse dell'aritmetica di Robinson per la logica risiede nel fatto che è la teoria più debole in cui è possibile rappresentare tutte le funzioni ricorsive primitive e di conseguenza è anche la teoria più debole a cui sia applicabile il primo dei teoremi di incompletezza di Gödel.

Assiomi di Peano
Gli assiomi di Peano sono un gruppo di assiomi ideati dal matematico Giuseppe Peano al fine di definire assiomaticamente l'insieme dei numeri naturali. Un modo informale di descrivere gli assiomi può essere il seguente:

Si prende 0 o 1 a seconda del modello dei numeri naturali voluto. Oltre a questi assiomi, Peano sottintende anche gli assiomi logici che gli permettono di operare con la logica simbolica.