hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
SOSEMANUK
SOSEMANUK è un cifrario a flusso realizzato da Come Berbain, Olivier Billet, Anne Canteaut, Nicolas Courtois, Henri Gilbert, Louis Goubin, Aline Gouget, Louis Granboulan, Cédric Lauradoux, Marine Minier, Thomas Pornin e Hervé Sibert nel 2003 e che ha partecipato come candidato al eSTREAM, dove è stato selezionato per l'inserimento nel portafoglio del progetto sezione Profilo 1 (implementazione software). La struttura dell'algoritmo è stata influenzata da due cifrari antecedenti il SOSEMANUK: gli autori hanno utilizzato una versione ridotta del cifrario a blocchi Serpent come funzione di inizializzazione del VI ed il registro LFSR del cifrario a flusso SNOW.

SNOW
Con il termine SNOW si indicano due cifrari a flusso sviluppati da Thomas Johansson e Patrik Ekdahl dell'università svedese di Lund denominati SNOW 1.0 e SNOW 2.0. La prima versione dell'algoritmo, originariamente solo SNOW, fu presentata nel 2000 come candidata per il NESSIE (New European Schemes for Signatures, Integrity and Encryption), un progetto europeo per la selezione di primitive crittografiche in essere dal 2000 al 2003. L'algoritmo fu scartato perché non ritenuto sicuro e gli autori rilasciarono una seconda versione nel 2002 riveduta e corretta delle debolezze riscontrate.
Carlo Freccero
Carlo Freccero (Savona, 5 agosto 1947) è un autore televisivo, dirigente d'azienda, critico televisivo e massmediologo italiano.

È stato consigliere d'amministrazione della Rai dal 2015 al 2019. È stato direttore di Rai 2 dal 1996 al 2002 e dal 2018 al 2019.

Fabio Fazio
Fabio Agostino Francesco Fazio (Savona, 30 novembre 1964) è un conduttore televisivo, autore televisivo, produttore televisivo e saggista italiano.
Negli anni ottanta ha esordito giovanissimo sulle reti RAI, diventandone uno degli autori e conduttori più rappresentativi e in cui ha lavorato in maniera quasi ininterrotta fino al 2023, anno in cui è passato in Warner Bros. Discovery.

Ha presentato il Festival di Sanremo per quattro edizioni: 1999, 2000, 2013 e 2014; delle ultime due è stato anche il direttore artistico. È noto per essere il conduttore e autore deI programma Che tempo che fa, in onda dal 2003.
Magdeburg Challenger 2001 - Singolare
Il singolare del torneo di tennis Magdeburg Challenger 2001, facente parte dell'ATP Challenger Series, ha avuto come vincitore Axel Pretzsch che ha battuto in finale Clemens Trimmel con il punteggio di 6–4, 6–4.

Magdeburg Challenger 2001
Il Magdeburg Challenger 2001 è stato un torneo di tennis facente parte della categoria ATP Challenger Series nell'ambito dell'ATP Challenger Series 2001. Il torneo si è giocato a Magdeburgo in Germania dal 12 al 18 marzo 2001 su campi in sintetico indoor.
16 Cygni
16 Cygni (16 Cyg) è un sistema stellare triplo che si trova a circa 70 anni luce dalla Terra nella costellazione del Cigno. È composto da due nane gialle simili al Sole e da una nana rossa.

Nel 1996 attorno a 16 Cygni B è stato scoperto un pianeta extrasolare con orbita molto eccentrica, che è stato denominato 16 Cygni Bb.

Nana gialla
In astronomia, una nana gialla (o stella G V) è una stella di sequenza principale, di tipo spettrale G e classe di luminosità V. A questa classe di stelle appartiene il Sole.

Il termine nana gialla tuttavia è ingannevole, poiché le stelle di classe spettrale G hanno una colorazione bianca per le stelle giovani o di esistenza intermedia e solo lievemente giallognola per quelle più vecchie. Il Sole infatti presenta una colorazione bianca candida. Il picco di emissione della sua luce visibile per la legge di Wien, nello spazio, è a 500 nanometri nel Ciano-verde. L'equivoco nasce dal fatto che il colore può apparire giallognolo per esempio in contrasto con l'azzurro del cielo e il colore rossiccio che la nostra stella assume all'orizzonte è dovuto alla diffusione ottica operata dall'atmosfera terrestre.
Walferdange
Walferdange (in lussemburghese: Walfer; in tedesco: Walferdingen) è un comune del Lussemburgo centrale. Fa parte del cantone di Lussemburgo, nel distretto omonimo. Si trova a nord della capitale.

Nel 2001 la città di Walferdange, che dà il nome al comune e si trova al centro del suo territorio, aveva una popolazione di 728 abitanti. Le altre località che fanno capo al comune sono Helmsange e Bereldange.

Il comune fu istituito il 1º gennaio 1851, quando fu scorporato dal territorio di Steinsel. La legge istitutiva fu approvata il 25 novembre 1850.

Steinsel
Steinsel (in lussemburghese: Steesel) è un comune del Lussemburgo centrale. Fa parte del cantone di Lussemburgo, nel distretto di Lussemburgo. Si trova a nord della capitale.

Nel 2005, la cittadina di Steinsel, capoluogo del comune che si trova nella parte occidentale del suo territorio, aveva una popolazione di 1 844 abitanti. Le altre località che fanno capo al comune sono Heisdorf e Mullendorf.
Cumulonimbus calvus
Il cumulonimbus calvus è una nube moderatamente alta e in grado di produrre precipitazioni, ma che non ha ancora raggiunto la tropopausa, cioè l'altezza di stabilità stratosferica a cui evolve in  cumulonimbus capillatus o cumulonimbus incus.
Si sviluppano a partire dal cumulus congestus; in condizioni opportune possono ulteriormente evolvere in  cumulonimbus incus.

Nuvola
In meteorologia una nuvola (nel linguaggio scientifico chiamata più comunemente nube) è un'idrometeora costituita da goccioline d'acqua e/o cristalli di ghiaccio, sospesi nell'atmosfera grazie a correnti ascensionali o in stato di galleggiamento e solitamente non a contatto con il suolo. Dalle nubi si originano le precipitazioni, una delle fasi del ciclo dell'acqua nell'idrosfera assieme alla condensazione del vapore acqueo.

La forma di alcuni tipi di nube è assimilabile ad un frattale con una tipica auto similarità, mentre il colore delle nubi è dovuto essenzialmente a fenomeni ottici di interazione radiazione-materia, ovvero luce-vapor d'acqua (principalmente riflessione, rifrazione e diffusione), funzione a sua volta della densità e spessore della nube. La branca della meteorologia che studia le nuvole e i fenomeni ad esse collegati è detta nefologia.
Şehzade Ahmed Kemaleddin
Şehzade Ahmed Kemaleddin Efendi (turco ottomano: شهزادہ احمد کمالالدین; Istanbul, 16 luglio 1848 – Istanbul, 25 luglio 1905) è stato un principe ottomano, figlio del sultano Abdülmecid I e della consorte Verdicenan Kadin.

Murad V
Murad V (مراد خامس in turco ottomano; Beşiktaş, 21 settembre 1840 – Palazzo di Çırağan, 29 agosto 1904) fu sultano dell'Impero ottomano dal 30 maggio 1876 al 31 agosto dello stesso anno. Figlio di Abdülmecid I, supportò la conversione del governo in una monarchia costituzionale. Suo zio, Abdülaziz, aveva ereditato il trono e aveva imposto suo figlio come erede al trono, costringendo così Murad a partecipare alla detronizzazione di suo zio. Tuttavia, la sua fragilità fisica e la malattia mentale resero il suo regno instabile e Murad V fu deposto in favore del suo fratellastro Abdül Hamid II dopo appena 93 giorni.
William Rehnquist
William Hubbs Rehnquist (Milwaukee, 1º ottobre 1924 – Arlington, 3 settembre 2005) è stato un giurista statunitense.

Fu giudice associato della Corte Suprema degli Stati Uniti dal 1972 e il suo 16º Giudice Capo dal 1986 fino alla sua morte. Durante i suoi 33 anni di servizio alla Corte Rehnquist ha contribuito a spostare le posizioni del massimo organo giudiziario statunitense verso un tranquillo conservatorismo, con attenzione ai tradizionali diritti degli stati in opposizione al governo federale.

A seguito della scomparsa di Rehnquist, il presidente Bush ha designato suo successore il giudice John G. Roberts che, dal 29 settembre 2005 a seguito del voto di conferma in Senato, è diventato a tutti gli effetti il nuovo Giudice Capo della Corte Suprema degli Stati Uniti.

Robert Houghwout Jackson
Robert Houghwout Jackson (Spring Creek, 13 febbraio 1892 – Washington, 9 ottobre 1954) è stato un giudice e politico statunitense.
Le sue arringhe al Processo di Norimberga sono considerate un capolavoro dell'arte oratoria.
Desemantizzazione
La desemantizzazione è un fenomeno linguistico studiato dalla semiotica per il quale un termine perde o altera il proprio significato originario ("semantico") o il collegamento simbolico con il proprio referente originario. In questo modo vengono tolti alcuni significati parziali di una parola per mettere in evidenza un significato più ampio (per esempio: "ammazzare il tempo").

Simbolo
Il simbolo è un elemento della comunicazione, che esprime contenuti di significato ideale dei quali esso diventa il significante. Tale elemento, sia esso un segno, gesto, oggetto o altra entità, è in grado di evocare alla mente dell'osservatore un concetto diverso da ciò che il simbolo è fisicamente, grazie a una convenzione prestabilita (ad es. la croce è il simbolo del Cristianesimo) o a un aspetto che lo caratterizza (ad es. il leone è il simbolo della forza).
Eastwoodia elegans
Eastwoodia elegans Brandegee, 1894 è una specie di piante angiosperme dicotiledoni della famiglia delle Asteracee, sottofamiglia Asteroideae,  tribù Astereae (North American lineage) e sottotribù Solidagininae.  Eastwoodia elegans è anche l'unica specie del genere Eastwoodia Brandegee, 1894.

Fiore delle angiosperme
Il fiore delle angiosperme è formato da pezzi fiorali con diversa struttura e funzione, derivanti dalla modificazione di foglie. L'elevata posizione filogenetica delle Angiosperme si manifesta con la grande variabilità delle strutture fiorali, che da Linneo in poi costituiscono il più importante carattere sistematico per la loro classificazione
Prva Liga 1976-1977
La Prva savezna liga SFRJ 1976-1977, conosciuta semplicemente come Prva liga 1976-1977, fu la 48ª edizione del campionato jugoslavo di calcio, la 31ª dopo la fine della seconda guerra mondiale. La vittoria finale fu appannaggio della Stella Rossa, al suo dodicesimo titolo, dopo un campionato dominato in lungo ed in largo (i 9 punti di vantaggio sulla seconda classificata costituivano il record a quei tempi).

Nel ranking UEFA 1976-77 la Prva liga si piazzò al 16º posto (9º nel quinquennale 1972-1977).

Prva Liga (Jugoslavia)
La Prva savezna liga Jugoslavije (it.: Prima lega federale di Jugoslavia) è stata il massimo livello calcistico nel Regno di Jugoslavia (1918-1941) e, dopo la seconda guerra mondiale, nella Jugoslavia socialista (1945-1992). Divenne completamente professionale nel 1967. La UEFA ha dichiarato la Prva liga SR Jugoslavije come successore del campionato.

Nelle varie lingue del Paese era chiamata anche: Прва савезна лига у фудбалу / Prva savezna liga u fudbalu (in serbo), Prva savezna liga u nogometu (in croato), Prva zvezna nogometna liga (in sloveno), Прва сојузна лига (in macedone) e Liga e parë federale (in albanese).
Seneca Village
Il Seneca Village era un insediamento del XIX secolo di proprietari terrieri, perlopiù afroamericani, a Manhattan, New York, nell'attuale Central Park. L'insediamento era esteso per 5 acri (2 ettari) vicino al quartiere dell'Upper West Side, delimitato approssimativamente da ottantaduesima e ottantanovesima strada e settimo e ottavo viale, se fossero stati costruiti.

New York Post
Il New York Post è un quotidiano statunitense fondato nel 1801. Dal 1993 appartiene al gruppo News Corp di Rupert Murdoch, ed è il sesto giornale USA per tiratura. Gestisce anche il nypost.com, il sito di gossip di celebrità PageSix.com e il sito di intrattenimento Decider.com.
EF Education-Oatly
La EF-Oatly-Cannondale è una squadra femminile statunitense di ciclismo su strada con licenza di UCI Women's Continental Team.

Fondata nel 2023 come controparte femminile del team maschile EF Education-EasyPost, ha acquisito parte dell'organico del WorldTeam californiano EF Education-Tibco-SVB, dismesso a fine 2023 per mancanza di sponsor, ed è attiva nei circuiti UCI da inizio 2024. Basata a Cambridge, in Massachusetts, è diretta dal manager svedese Johan Pettersson e sponsorizzata da EF Education First, Oatly e Cannondale.

EF Education-EasyPost
La EF Education-EasyPost, nota in passato come Slipstream, Garmin e Cannondale, è una squadra maschile statunitense di ciclismo su strada. Attiva tra gli Elite dal 2005, ha licenza di UCI WorldTeam.

La squadra è amministrata da Slipstream Sports LLC, società di gestione sportiva basata a Boulder, in Colorado, e diretta dall'ex ciclista professionista Jonathan Vaughters. Main sponsor è dal 2018 EF Education First, società internazionale di educazione, coadiuvata dal produttore statunitense di biciclette Cannondale.

Con la divisa del team, allora marchiata Garmin, il canadese Ryder Hesjedal si è aggiudicato il Giro d'Italia 2012, dando alla squadra la prima vittoria in un Grande giro. Il team ha inoltre vinto la Parigi-Roubaix 2011 con il belga Johan Vansummeren, la Liegi-Bastogne-Liegi 2013 e il Giro di Lombardia 2014 con l'irlandese Daniel Martin, il Giro delle Fiandre 2019 con Alberto Bettiol e diverse tappe nei Grandi giri.
Challenge des champions 1971
La Supercoppa di Francia 1971 (ufficialmente Challenge des champions 1971) è stata la quindicesima edizione della Supercoppa di Francia.

Si è svolta il 20 agosto 1971 allo Stade de l'Armoricaine di Brest tra l'Olympique Marsiglia, vincitore della Division 1 1970-1971, e il Rennes, vincitore della Coppa di Francia 1970-1971.

Il titolo è condiviso tra le due squadre partecipanti in quanto, dopo il pareggio per 2-2 nei tempi regolamentari, il pubblico ha invaso il campo non permettendo che venissero battuti i tiri di rigore per determinare la squadra vincitrice.

Coppa di Francia 1970-1971
La stagione 1970-71 della Coppa di Francia è stata la cinquantaquattresima edizione della coppa nazionale di calcio francese. Vide la vittoria finale dello Stade Rennais, che sconfisse in finale l'Olympique Lione.
Trattato anglo-olandese del 1824
Il trattato anglo-olandese del 1824 venne sottoscritto dalla Gran Bretagna e dal Regno Unito dei Paesi Bassi, a Londra il 17 marzo 1824 (è, infatti, noto anche come trattato di Londra del 1824). Esso registrò l'accettazione olandese della fondazione del nuovo porto libero di Singapore, risolvendo, al contempo, numerose questioni secondarie lasciate aperte dal precedente trattato anglo-olandese del 1814. Le delimitazioni territoriali che ne risultavano, costituiscono ancor oggi il confine fra Malaysia ed Indonesia.

George Canning
George Canning (Marylebone, 11 aprile 1770 – Chiswick, 8 agosto 1827) è stato un politico britannico.
Ha fatto parte del Partito Tory. È stato Primo Ministro del Regno Unito dal 10 aprile 1827 all'8 agosto 1827.
Munich WCT 1982 - Singolare
Il singolare del torneo di tennis Munich WCT 1982, facente parte della categoria World Championship Tennis, ha avuto come vincitore Ivan Lendl che ha battuto in finale Tomáš Šmíd con il punteggio di 3–6, 6–3, 6–1, 6–2.

Munich WCT 1982
Il Munich WCT 1982 è stato un torneo di tennis giocato sul sintetico indoor. È stata la 1ª edizione del torneo che fa parte del World Championship Tennis 1982. Si è giocato a Monaco di Baviera in Germania dall'8 al 14 marzo 1982.
962 Aslög
962 Aslög è un asteroide della fascia principale. Scoperto nel 1921, presenta un'orbita caratterizzata da un semiasse maggiore pari a 2,9044129 UA e da un'eccentricità di 0,1018348, inclinata di 2,60215° rispetto all'eclittica.

Stanti i suoi parametri orbitali, è considerato un membro della famiglia Coronide di asteroidi.

Il suo nome fa riferimento ad Aslög, figlia di Sigfrido secondo la mitologia norrena.

Famiglia Coronide
La famiglia di asteroidi Coronide è una famiglia di asteroidi della fascia principale del sistema solare caratterizzati da parametri orbitali simili; deve il suo nome all'oggetto principale che vi appartiene, l'asteroide Coronide, appunto. Si ritiene solitamente che i corpi appartenenti ad una medesima famiglia asteroidale condividano un'origine comune.
Zucchero, miele e peperoncino
Zucchero, miele e peperoncino è un film comico italiano del 1980, in tre episodi, diretto da Sergio Martino, con Lino Banfi, Edwige Fenech, Pippo Franco e Renato Pozzetto.

La pellicola ha avuto un ideale seguito con il film Ricchi, ricchissimi... praticamente in mutande, del 1982, sempre di Sergio Martino.

Ostia (Roma)
Ostia, ufficialmente Lido di Ostia e detta anche Ostia Nuova e Ostia Lido, è una frazione litoranea del comune di Roma suddivisa in: Lido di Ostia Ponente, Lido di Ostia Levante e Lido di Castel Fusano. Amministrativamente rientra nel territorio del Municipio Roma X, di cui ospita la sede presso il palazzo del Governatorato.

Si affaccia sul mar Tirreno nei pressi della foce del fiume Tevere, che ne delimita i confini col comune di Fiumicino.
Georgia Douglas Johnson
Georgia Blanche Douglas Camp Johnson, più nota come Georgia Douglas Johnson (Atlanta, 10 settembre 1880 – Washington, 15 maggio 1966), è stata una poetessa, drammaturga, commediografa, insegnante di musica e preside statunitense; è stata una delle prime donne drammaturghe afroamericane e una figura importante del Rinascimento di Harlem.

Angelina Grimké
Angelina Emily Grimké Weld (Charleston, 20 febbraio 1805 – Hyde Park, 26 ottobre 1879) è stata un'attivista statunitense difenditrice dei diritti delle donne e sostenitrice del movimento per il suffragio femminile.
Lei e sua sorella Sarah Grimké sono le uniche donne bianche del sud ad essere diventate abolizioniste.
1685 Toro
1685 Toro è un asteroide near-Earth appartenente al gruppo Apollo del diametro medio di circa 3,4 km. Scoperto nel 1948, presenta un'orbita caratterizzata da un semiasse maggiore pari a 1,3676048 au e da un'eccentricità di 0,4360652, inclinata di 9,38065° rispetto all'eclittica.

Il meteorite Sylacauga, schiantatosi nel 1954 in Alabama, si è probabilmente staccato da questo asteroide, come hanno fatto supporre le sue analisi orbitali.

L'asteroide, così come 1580 Betulia, è dedicato a Betulia Toro Herrick, moglie dell'astronomo statunitense Samuel Herrick.

Asteroide Apollo
Gli asteroidi Apollo sono un gruppo di asteroidi near-Earth caratterizzati da un'orbita con semiasse maggiore superiore ad una unità astronomica e un perielio (q) inferiore a 1,017 UA, che corrisponde all'afelio della Terra.Il nome del gruppo deriva da quello dell'asteroide Apollo, il primo oggetto di questo tipo ad essere scoperto; fu individuato il 24 aprile 1932 da Karl Reinmuth.

La classe di asteroidi comprende oggetti potenzialmente pericolosi per la Terra a causa della possibilità di un impatto catastrofico. La meteora di Čeljabinsk, che esplose sopra la città di Čeljabinsk nel 2013, era una asteroide Apollo che aveva il perielio all'interno dell'orbita terrestre e  l'afelio nella fascia principale.
Naval Aircraft Factory SBN
Il Naval Aircraft Factory SBN era un monomotore ad ala media destinato al ruolo di aereo da ricognizione ed aerosilurante sviluppato dall'azienda statunitense Brewster Aeronautical Corporation e prodotto su licenza dalla Naval Aircraft Factory (NAF) di Filadelfia, Pennsylvania.

Simile in alcuni particolari al successivo caccia Brewster F2A Buffalo, come il carrello d'atterraggio e l'ampia finestratura dell'abitacolo, l'SBN non possedeva ali pieghevoli e ipersostentatori forati; venne impiegato dalla United States Navy, la marina militare degli Stati Uniti d'America, in compiti di seconda linea.

Brewster F2A Buffalo
Il Brewster F2A Buffalo era un aereo da caccia, monoplano e monomotore, statunitense, sviluppato a metà degli anni trenta dalla Brewster Aeronautical Corporation.

Fu il primo caccia monoplano ed il primo interamente metallico della United States Navy. Venne esportato anche in Finlandia, Australia, Paesi Bassi, Nuova Zelanda e Regno Unito e trovò impiego nel corso della seconda guerra mondiale.
Serie A 1963-1964 (pallacanestro maschile)
Il campionato di Serie A pallacanestro maschile 1963-1964, secondo livello del 42º campionato italiano è il 9° dall'ultima riforma dei campionati. Le squadre sono divise in quattro gironi, nei quali si incontrano in partite di andata e ritorno; la vittoria vale due punti e la sconfitta uno. Le quattro vincitrici disputano un girone finale, sempre all'italiana, con partite di andata e ritorno e le prime due classificate vengono promosse in Prima Serie, le ultime due di ogni raggruppamento scendono in Serie B.

Campionato di Legadue
Il Campionato di Legadue, o più semplicemente Legadue, è stato il secondo campionato professionistico della pallacanestro maschile italiana, fino alla riforma dei campionati avvenuta al termine della stagione 2012-2013.

Il Campionato di Legadue ha avuto origine nel 2001, dopo la riorganizzazione dei campionati di Serie A. Dal 2001 infatti è nata la Serie A al posto della Serie A1 e appunto la Legadue al posto della Serie A2.

L'ente organizzatore era la Legadue su delega della Federazione Italiana Pallacanestro, così come analogamente la Serie A è organizzata dalla Lega Basket.
Croatizzazione
Croatizzazione (in croato kroatizacija o pohrvaćenje) è un termine utilizzato per indicare alternativamente:

il processo - volontario o forzato - di assimilazione culturale nel quale delle popolazioni o delle singole persone non croate o parzialmente croate divennero croate;

il fenomeno appropriativo di inserimento nella storia o nella cultura croata di opere o personaggi totalmente o parzialmente non croati o comunque di non chiara identificazione nazionale.

Arcidiocesi di Zagabria
L'arcidiocesi di Zagabria (in latino Archidioecesis Zagrebiensis) è una sede metropolitana della Chiesa cattolica in Croazia. Nel 2023 contava 980.000 battezzati su 1.172.506 abitanti. È retta dall'arcivescovo Dražen Kutleša.
Retroattività
La retroattività è la capacità di un atto, in genere di natura normativa, di estendere la sua efficacia anche al tempo precedente a quello della sua emanazione o della sua entrata in vigore.

In sociologia politica il fenomeno è stato indicato come uno dei sintomi dell'esistenza di un Potere esecutivo che, in virtù della sua preponderanza sul Parlamento, esercita un potere indebito sul processo legislativo, sconfinando nella dittatura della maggioranza.

Norma giuridica
Una norma giuridica, in diritto, indica una regola di condotta, il cui insieme concorre a disciplinare la vita organizzata. Dal punto di vista linguistico essa si costituisce di un precetto e di un testo, da non confondere l'uno con l'altro, avente la capacità di determinare, in maniera tendenzialmente stabile, l'ordinamento giuridico generale (ossia il diritto oggettivo).
Opacchiasella
Opacchiasella, già Oppacchiasella (in sloveno Opatje Selo; in friulano Pacjasele), è un paese della Slovenia, frazione del comune di Merna-Castagnevizza. È sede di una delle 8 comunità locali in cui si suddivide il comune.

Lotario I
Lotario I (795 – Prüm, 29 settembre 855) è stato un re franco, d'Italia dall'822 all'850, poi di Lotaringia e imperatore carolingio dall'840 alla sua morte.

Riconosciuto venerabile per la sua condotta a favore della Chiesa, gli fu iniziato un processo di beatificazione che non fu portato a termine.
Dimostrazione originale del teorema di completezza di Gödel
La dimostrazione del teorema di completezza di Gödel, fornita da Kurt Gödel nella sua tesi di dottorato del 1929 (e una versione più breve, pubblicata come articolo nel 1930, intitolata "La completezza degli assiomi del calcolo funzionale della logica" in tedesco) ad oggi non è facile da leggere: utilizza concetti e formalismi in disuso e terminologie spesso oscure. La versione fornita di seguito tenta di rappresentare fedelmente tutti i passaggi della dimostrazione e tutte le idee importanti, pur riformulandola nel linguaggio odierno della logica matematica. Questa traccia non deve essere considerata una prova rigorosa del teorema.

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.