hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Large Binocular Telescope
Il Large Binocular Telescope (abbreviato in LBT, in italiano "Grande Telescopio Binoculare"), è un telescopio a doppia pupilla a montatura altazimutale in configurazione gregoriana, ottimizzato per l'interferometria e l'osservazione a grande campo.
È collocato sul monte Graham, nel sud-est dell'Arizona, a circa 3200 metri di altezza, nel complesso delle montagne Pinaleño.

L'LBT, che fa parte dell'Osservatorio internazionale del monte Graham, è un progetto a partecipazione italiana di priorità nazionale. Il telescopio, infatti, vede la partecipazione degli Stati Uniti tramite enti governativi e diverse università (50%), della Germania (25%), e  dell'Italia (25%) tramite l'Istituto Nazionale di Astrofisica (INAF).

La progettazione è stata affidata ad un gruppo di aziende italiane mentre la costruzione e l'assemblaggio sono stati eseguiti da Ansaldo nei cantieri di Milano. Il trasporto eccezionale transoceanico è stato effettuato dalla Fagioli di Sant'Ilario d'Enza.

Interferometria
In fisica l'interferometria (metrologia dell'interferenza) è un metodo di misura che sfrutta le interferenze fra più onde coerenti fra loro, utilizzando degli strumenti detti interferometri, che permettono di eseguire misurazioni di lunghezze d'onda, di distanze e di spostamenti dello stesso ordine di grandezza della lunghezza d'onda utilizzata; con essa vengono misurate anche le velocità di propagazione della luce in vari mezzi e per vari indici di rifrazione.

L'interferometria è un'importante tecnica diagnostica e/o investigativa utilizzata in diversi campi come astronomia, fibre ottiche, metrologia ingegneristica, metrologia ottica, oceanografia, sismologia, meccanica dei quanti, fisica del plasma, rilevamento a distanza, analisi forensi.
Silvio Moretti
Silvio Moretti (Comero, 1772 – Brno, 1832) è stato un patriota italiano.

Presbitero, rinunciò all'abito talare e si arruolò nelle milizie francofile di Brescia. Divenuto colonnello del Regno Italico, nel 1814 organizzò un tentativo di scacciare gli Austro-Ungarici dal Norditalia e fondarvi uno stato indipendente a carattere monarchico.

Catturato per delazione, fu costretto in carcere sino al 1818. Uscito di galera entrò in sette simili alla Carboneria e fu nuovamente arrestato (1822).

Il tribunale lo condannò alla detenzione nella celebre fortezza dello Spielberg fino al 1837, ma Moretti vi spirò nel 1832.

Patriottismo
Il patriottismo è l'impegno profuso in nome della patria, in genere uno Stato-nazione, ma anche una regione o una città. Si esprime ad esempio attraverso l'orgoglio per i progressi conseguiti o per la cultura sviluppata in patria ma anche col desiderio di conservarne il carattere e i costumi, l'identificazione con altri membri della nazione.

Il patriottismo ha anche una connotazione etica poiché implica che la madrepatria, comunque sia essa definita, sia uno standard o un valore morale in sé, come esprimono formule quali per la Patria, nel bene e nel male. Ai patrioti si richiede, inoltre, di anteporre gli interessi della patria anche ai propri e a quelli dello stesso gruppo di appartenenza il che, in tempo di guerra, può anche significare mettere a rischio o donare la propria vita. Anche per questo la morte non voluta in battaglia per la madrepatria è l'archetipo estremo del patriottismo.
Pompa eolica
Una pompa eolica è una struttura costruita per sfruttare l'energia del vento (energia eolica) e attraverso l'utilizzo di pale per trasformarla in energia meccanica (ovvero energia cinetica) utilizzandola per la movimentazione dell'acqua. Non va confusa con il mulino a vento, che spesso presenta una struttura esterna simile a quella di una pompa eolica ma ha come funzione quella di macinare cereali o altri materiali.

Energia cinetica
L'energia cinetica è l'energia che un corpo possiede a causa del proprio moto. Per il teorema dell'energia cinetica, l'energia cinetica di un corpo equivale al lavoro necessario ad accelerare il corpo da una velocità nulla alla sua velocità ed è pari al lavoro necessario a rallentare il corpo dalla stessa velocità ad una velocità nulla.

La formula generica dell'energia cinetica è la seguente: , dove  sta per la massa del corpo, espressa in chilogrammi, e  per la sua velocità, espressa in m/s (metri al secondo). L'unità di misura dell'energia cinetica nel sistema internazionale è il joule.
Canoas Sport Club
Il Canoas Sport Club, noto anche semplicemente come Canoas, è una società polisportiva brasiliana con sede nella città di Canoas, nello stato del Rio Grande do Sul. Oltre al calcio a 11 e al calcio a 5, il Canoas ha anche altre sezioni sportive, come la pallavolo, il judo, la pallacanestro, il tennis, il track and field e il trampolino elastico.

Judo
Il judo (柔道?, jūdō, via della cedevolezza) adattato come giudo o giudò}, è un'arte marziale,  uno sport da combattimento, un metodo di difesa personale e una filosofia giapponese formalmente nato in Giappone con la fondazione del Kōdōkan da parte del professor Jigorō Kanō, nel 1882. I praticanti di tale disciplina sono denominati judoisti e judoka (柔道家?, jūdōka).

Il judo è diventato ufficialmente disciplina olimpica ai Giochi di Tokyo 1964 e ha rappresentato, ai Giochi di Atene 2004, il secondo sport più universale, con atleti da 98 diversi Paesi. A Londra 2012, invece, hanno partecipato 387 atleti da 135 Paesi diversi.
Chianti (regione)
Il Chianti è una regione storico-geografica della Toscana, nel centro Italia. 
Essa comprende la zona di alta e media collina fra il bacino del fiume Arno, a sud di Firenze, e il bacino dell'Ombrone, a nord di Siena.

In passato nel Chianti vi erano grandi aree boscose e pascolative ma oggi il Chianti deve la fama ai prodotti vinicoli: il vino ha due denominazioni DOCG create a sua tutela:  Chianti DOCG e Chianti Classico DOCG. Vi è anche un olio d'oliva Chianti Classico che ha riconoscimento di DOP.

Chianti Classico (olio di oliva)
Il Chianti Classico è un olio extravergine di oliva a Denominazione di origine protetta che viene prodotto in Toscana, nel territorio del Chianti Classico.

Si tratta di un olio extravergine dal sentore lievemente piccante, ben bilanciato e con un leggero gusto amarognolo. Per la produzione del Chianti Classico vengono utilizzate olive di piante iscritte all'Albo, per almeno tre quarti di varietà Frantoio, Moraiolo, Correggiolo, e Leccino, in proporzioni diverse a seconda del prodotto finale che si vuole ottenere, e per la rimanente parte da altri oliveti del territorio toscano. Il metodo seguito per la produzione è rimasto invariato nel tempo, la raccolta delle olive è infatti tuttora effettuata a mano, e la lavorazione nei frantoi -  i quali si trovano nello stesso territorio di produzione delle olive - deve avere inizio non oltre tre giorni dalla raccolta, per poter garantire l'alta qualità che contraddistingue il prodotto.
Linea Gunchū
La linea Gunchū (郡中線?, Gunchū-sen) è una linea ferroviaria della compagnia Iyotetsu situata nella prefettura di Ehime in Giappone. Collega la stazione della città di Matsuyama con la stazione del porto di Gunchū a Iyo. Negli ultimi anni il numero dei passeggeri è aumentato in linea con la crescita dell'area lungo la linea.

Prefettura di Ehime
Ehime (愛媛県?, Ehime-ken) è una prefettura del Giappone, che conta circa 1,35 milioni di abitanti e ha come capoluogo Matsuyama.

Fino alla restaurazione Meiji, la prefettura di Ehime era nota come provincia di Iyo.
Stretto di Vitiaz
Lo  stretto di Vitiaz è un braccio di mare compreso tra la Nuova  Britannia e la  penisola di Huon, nella parte settentrionale della Nuova Guinea. Mette in comunicazione il Mare di Bismarck, a nord, con il Mare delle Salomone, a sud, entrambi facenti parte dell'oceano Pacifico.

Penisola di Huon
La penisola di Huon è una grande penisola frastagliata della Nuova Guinea, posta entro i confini della Provincia di Morobe, nella Papua Nuova Guinea orientale. Deve il nome all'esploratore francese Jean-Michel Huon de Kermadec. La penisola è dominata dai monti Saruwaged, Finisterre e Cromwell.

La città più grande della regione è Lae, capitale della Provincia di Morobe, a sud, mentre lungo la costa settentrionale sorgono l'antica cittadina di Finschhafen, risalente all'epoca coloniale tedesca, e i centri di Wasu, Malalamai e Saidor, dove è presente un aeroporto risalente alla seconda guerra mondiale.

Durante la seconda guerra mondiale l'area fu teatro della cosiddetta «campagna della penisola di Huon» (1943-44), nel corso della quale le truppe australiane misero in fuga quelle giapponesi, che da Lae, attraverso i monti Finisterre, furono spinte a Madang, sulla costa settentrionale della penisola.
Elezioni parlamentari in Grecia del 2009
Le elezioni parlamentari in Grecia del 2009 si tennero il 4 ottobre per il rinnovo del Parlamento ellenico. Esse videro la vittoria del Movimento Socialista Panellenico di Giōrgos Papandreou, che divenne Primo ministro.

Primi ministri della Grecia
Questo è l'elenco dei capi di governo della Grecia moderna, dalla sua istituzione durante la Rivoluzione Greca a oggi. Anche se sono state utilizzate diverse denominazioni ufficiali e semiufficiali durante i primi decenni dello Stato indipendente, il titolo di Primo Ministro è divenuta la designazione ufficiale dell'incarico almeno dal 1843. La numerazione nell'elenco è arbitraria e non ha valore ufficiale.
Serie A1 1986-1987
Serie A1 1986-1987 – stagione del campionato italiano di hockey su pista

Serie A1 1986-1987 – stagione del campionato italiano di hockey su prato maschile

Serie A1 1986-1987 – stagione del campionato italiano di pallacanestro femminile

Serie A1 1986-1987 – stagione del campionato italiano di pallacanestro maschile

Serie A1 1986-1987 – stagione del campionato italiano di pallamano maschile

Serie A1 1986-1987 – stagione del campionato italiano femminile di pallanuoto

Serie A1 1986-1987 – stagione del campionato italiano maschile di pallanuoto

Serie A1 1986-1987 – stagione del campionato italiano di pallavolo femminile

Serie A1 1986-1987 – stagione del campionato italiano di pallavolo maschile

Serie A1 1986-1987 – 57º campionato nazionale italiano di rugby a 15 di prima divisione

Campionato italiano di hockey su prato
Il  campionato italiano di hockey su prato è un insieme di tornei nazionali istituiti dalla Federazione Italiana Hockey (FIH). I campionati sono suddivisi e organizzati in quattro livelli: i primi tre si disputano a livello nazionale, mentre il restante a livello regionale. La Federazione Italiana Hockey organizza e dirige la Serie A Élite, la Serie A1, la Serie A2 e la Serie B. L'organico complessivo delle due leghe superiori consta di un totale di 20 società.

Ogni squadra affronta tutte le altre compagini del raggruppamento di appartenenza due volte, una presso il proprio campo (partita in casa), una presso il campo avverso (partita in trasferta) con uno svolgimento che è detto Girone all'italiana. Si assegnano tre punti alla squadra che vince una partita, un punto a ciascuna squadra in caso di pareggio e zero alla squadra sconfitta.
Black and Yellow
Black and Yellow è un brano musicale del rapper statunitense Wiz Khalifa, estratto come primo singolo dall'album Rolling Papers. È stato pubblicato il 14 settembre 2010 in anticipo di diversi mesi rispetto all'uscita dell'album. Il brano è stato scritto da Wiz Khalifa e Stargate, e prodotta da questi ultimi. Il titolo del brano è un riferimento ai colori della bandiera di Pittsburgh, la città dove Wiz si trasferì in tenera età. Il brano è diventato particolarmente famoso per aver generato un numero di remix e rifacimenti. Il singolo è arrivato sino alla prima posizione della Billboard Hot 100.

Pittsburgh
Pittsburgh (Pittsbarig in tedesco della Pennsylvania) è una città degli Stati Uniti d'America, capoluogo della contea di Allegheny nella Pennsylvania. Ha una popolazione di 302 971 abitanti (dato reso noto dal Censimento del 2020) mentre la sua area metropolitana raggiunge i 2 milioni e mezzo di abitanti. Nel 2015 Pittsburgh è stata elencata tra le "undici città più vivibili del mondo".
Artifact
Artifact – film del 2012 diretto da Jared Leto

Artifact – album degli The Electric Prunes del 2001

Artiifact – album di Anatii del 2016

Artifact – balletto di William Forsythe del 1984

Il manufatto (Artifact) – romanzo di Gregory Benford del 1985

The Artefact – rivista di archeologia

Artifact – videogioco di Valve Corporation del 2018.

Artifact (film)
Artifact è un film del 2012 diretto da Jared Leto sotto lo pseudonimo di Bartholomew Cubbins, un personaggio ricorrente nel mondo dello scrittore noto come Dr. Seuss. Il film è un documentario sulla produzione dell'album This Is War e la battaglia legale dei Thirty Seconds to Mars con l'etichetta discografica EMI. Artifact presenta numerosi interviste a diverse personalità, tra i quali il neuroscienziato Daniel Levitin.

Artifact ha avuto la sua anteprima mondiale al Toronto International Film Festival del 2012, durante il quale ha ricevuto il premio del pubblico al miglior documentario.

Il film è stato pubblicato il 3 dicembre 2013.
Tommy, the Canvasser
Tommy, the Canvasser (o Commy, the Canvasser) è un cortometraggio muto del 1911 prodotto dalla Essanay di Chicago. Il nome del regista non viene riportato nei credit del film che segna il debutto sullo schermo di John Steppling, un attore di origine tedesca che, nella sua carriera durata fino al 1932, avrebbe interpretato oltre duecento e cinquanta pellicole.

Industria cinematografica di Chicago
L'industria cinematografica di Chicago è stata il più grande centro di produzione e di distribuzione cinematografica, prima che Hollywood assumesse il suo ruolo indiscusso di capitale del cinema statunitense.

Nei primi anni del Novecento, Chicago vantava il maggior numero di case di produzione e di registi. All'epoca, i film erano brevi cortometraggi in genere di un solo rullo e venivano sfornati a ritmi impressionanti per rifornire il mercato dei nickelodeon. Le case di produzione come la Essanay procuravano anche i mezzi per la proiezioni, diventando di fatto case di distribuzione.
Continental-Hochhaus
Il Continental-Hochhaus (letteralmente: "grattacielo Continental") è un complesso edilizio per uffici nella città di Hannover. Quando fu inaugurato nel 1953, era il grattacielo più alto della Germania occidentale e la sede della Continental AG.

Ufficio (locale)
Un ufficio è una stanza in cui delle persone svolgono degli impieghi. Si tratta di un fenomeno architetturale e sociale. Ci sono uffici per solo una o due persone, ma anche uffici dove lavorano molte persone come i call center. Nell'accezione moderna è legato al mondo impiegatizio.
Cagayancillo
Cagayancillo è una municipalità di sesta classe delle Filippine, situata nella Provincia di Palawan, nella regione di Visayas Occidentale. Occupa il territorio delle isole Cagayancillo, nel mar di Sulu a circa 220 km a est di Palawan.

Cagayancillo è formata da 12 baranggay:

Bantayan (Pob.)

Calsada (Pob.)

Convento (Pob.)

Lipot North (Pob.)

Lipot South (Pob.)

Magsaysay

Mampio

Nusa

Santa Cruz

Tacas (Pob.)

Talaga

Wahig (Pob.)

Provincia di Palawan
La provincia di Palawan è un arcipelago e una provincia delle Filippine. Il capoluogo della provincia è la città di Puerto Princesa. La maggior parte del territorio provinciale ricade sull'omonima isola. È la più grande provincia filippina e si estende da nord-est a sud-ovest tra Mindoro e il Borneo compresa tra il Mar Cinese Meridionale a nord e il Mare di Sulu a sud. È un coacervo di differenti gruppi culturali ed etnici (ne sono stati censiti 87) ed ha un immenso patrimonio naturalistico che è anche la base della sua sussistenza, sempre più legata al turismo.
Alexandre Ribot
Alexandre Félix Joseph Ribot (Saint-Omer, 7 febbraio 1842 – Parigi, 13 gennaio 1923) è stato un politico francese.

È stato il Presidente del Consiglio della Francia per cinque volte: la prima dal 6 dicembre 1892 all'11 gennaio 1893, la seconda dall'11 gennaio al 4 aprile 1893, la terza dal 26 gennaio al 1º novembre 1895, la quarta dal 9 giugno al 14 giugno 1914 e la quinta dal 20 marzo al 12 settembre 1917. Fu uno dei maggiori fautori dell'alleanza franco-russa.

Académie française
L'Académie française /akadeˈmi fʁɑ̃ˈsεz/, o Accademia francese, fondata nel 1635 sotto re Luigi XIII dal cardinale Richelieu, è una delle più antiche istituzioni di Francia ed è composta di quaranta membri eletti dai loro pari.
Beach 25th Street
Beach 25th Street, conosciuta anche con il nome di Beach 25h Street-Wavecrest, è una fermata della metropolitana di New York, situata sulla linea IND Rockaway. Nel 2014 è stata utilizzata da 519 843 passeggeri.

È servita dalla linea A Eighth Avenue Express, sempre attiva.

Linea IND Rockaway
La linea IND Rockaway (in inglese IND Rockaway Line IPA: [ˈaɪˈenˈdiː ˈrɑkəˌweɪ ˈlaɪn]) è una linea della metropolitana di New York situata nel borough del Queens che serve principalmente la penisola di Rockaway. Al 2017, è utilizzata dalla linea A e della navetta Rockaway Park per espletare il loro servizio metropolitano.

La linea, aperta il 28 giugno 1956, venne costruita sfruttando parte del sedime della ferrovia Rockaway Beach Branch della Long Island Rail Road chiusa nel 1950 e acquistata dalla città di New York nel 1952 per 8,5 milioni di dollari.
Mingun
Mingun (in birmano မင်းကွန်းမြို့, mɪ́ɰ̃ɡʊ́ɰ̃ mjo̰) è un villaggio nelle vicinanze della città di Sagaing, nell'omonima regione della Birmania.

Mingun è divenuto una nota meta turistica principalmente grazie al Pahtodawgyi, un grande stupa incompleto, la grande campana, costruita per far parte di esso e la pagoda Hsinbyume.

Stupa
Uno stupa (dal sanscrito stūpa) è un monumento buddista, originario del subcontinente indiano, la cui funzione principale è quella di conservare reliquie. Il termine deriva dal sanscrito (chörten in tibetano) che letteralmente significa "fondamento dell'offerta". È il simbolo della mente illuminata (la mente risvegliata, divinità universale) e del percorso per il suo raggiungimento. Se si usano soltanto due parole, la migliore definizione di stupa è "monumento spirituale". A livello simbolico, lo stupa rappresenta il corpo di Buddha, la sua parola e la sua mente che mostrano il sentiero dell'illuminazione.
Chorion
Il Chorion è quello che viene definito come casale o villaggio durante l'impero bizantino. La biblioteca Marciana lo definisce come un villaggio dove le persone vivono insieme e dove le abitazioni sono situate in prossimità l'una con l'altra. Altri testi dell'epoca aggiungono inoltre che il chorion è circondato da terra coltivabile, terra incoltra e boschi.
Veniva considerata una entità giuridica e il livello base con in sui si raggruppano le entrate fiscali.
La sua comunità stabilisce i beni comuni a disposizione dei membri.
Di solito la popolazione del chorion è composta da contadini, piccoli proprietari terrieri, braccianti, schiavi e talvolta di stratioti.

L'agridion è invece un insediamento dipendente anche fiscalmente dal chorion e sito su terre incolte.

Casale (architettura)
Un casale è (o era in origine) un gruppo di poche case rurali, in aperta campagna, senza mura a difesa e privo di autonomia amministrativa. Sovente però (soprattutto nel caso dei casali pugliesi) le dimensioni raggiunte nel corso del tempo potevano essere anche ragguardevoli, tanto che svariati moderni comuni hanno tratto origine da antichi casali.
Mastodonte di Mombercelli
Il mastodonte di Mombercelli è lo scheletro fossilizzato di un proboscidato appartenente alla specie Anancus arvernensis, vissuto nel Pliocene, circa quattro milioni di anni fa. Il reperto fu rinvenuto nella frazione Roeto del comune di Mombercelli, in provincia di Asti.

Provincia di Asti
La provincia di Asti è una provincia italiana del Piemonte di 207 162 abitanti, con capoluogo Asti.

Confina a nord-ovest con la città metropolitana di Torino, a est con la provincia di Alessandria, a sud con la Liguria (provincia di Savona) per soli 3 km nel comune di Serole e a ovest con la provincia di Cuneo.
Villa Fabbricotti (Firenze)
Villa Fabbricotti, o Arcipressi, si trova in via Vittorio Emanuele II 64, zona Montughi, a Firenze. Il parco è accessibile anche attraversando l'adiacente Giardino Tosco Laziale, con ingresso da via Stibbert 24.

Aesculus hippocastanum
L'ippocastano o castagno d'India (Aesculus hippocastanum L., 1753) è un albero appartenente alla famiglia Sapindaceae, diffuso in Europa orientale.

È molto usato come ornamentale nei viali o come pianta isolata. Crea una zona d'ombra molto grande e fitta.
Rosti
Carlo Fortunato Rosti (1885-1974) – pittore italiano

Pál Rosty (1830-1874) – fotografo e geografo ungherese

Stephan Rosti (1891-1964) – attore e regista egiziano

Vicky Rosti (1958) – cantante finlandese

Carlo Fortunato Rosti
Carlo Fortunato Rosti (Milano, 1885 – Vimodrone, 15 giugno 1974) è stato un pittore e avvocato italiano.
Laureato in Giurisprudenza all'Università di Bologna, avvocato socio di Delio Tessa e pittore autodidatta, nel 1919 apre un atelier a Milano con Elisabetta Keller.

Riposa al Cimitero Monumentale di Milano, nell'edicola di famiglia.
Kat
Kat  – nome comune della pianta Catha edulis

KAT  – codice aeroportuale IATA dell'aeroporto civile di Kaitaia (Nuova Zelanda)

kat  – codice ISO 639-2 alpha-3 per la lingua georgiana

Kat  – gruppo musicale thrash metal polacco

Kat  – variante del nome proprio femminile Kate

KAT – stazione della linea 1 della metropolitana di Atene

KickassTorrents – sito web

Kuzul an Traezehnn – società di consulenza francese nell'ambito del digitale e cybersecurity

KickassTorrents
KickassTorrents (comunemente abbreviato in KAT) è stato un sito web, fondato nel 2008, che ospitava file torrent e magnet link per facilitare il file sharing peer-to-peer con il protocollo BitTorrent. All'agosto 2015, secondo Alexa, KAT è l'indice di file torrent più visitato al mondo e si stima riceva ogni mese più di 319 milioni di accessi. Il 20 luglio 2016 il sito è stato sequestrato dal governo degli Stati Uniti, successivamente chiuso e l'autore del sito è stato arrestato.
Davana Medina
Davana Medina (Ponce, 28 gennaio 1974) è una culturista portoricana, specializzata nella disciplina del figure.

Ha vinto per tre volte consecutive (2003, 2004 e 2005) l'edizione del Figure Olympia. Nel 2006 e 2007 non ha partecipato.

Ponce (Porto Rico)
Ponce (IPA: /ˈponse/, ) è la terza città più grande di Porto Rico sia per estensione territoriale sia per numero di abitanti dopo Arecibo e la zona metropolitana di San Juan. Situata sulla costa meridionale dell'isola, l'area comunale confina a nord con Adjuntas, Utuado e Jayuya, a est con Juana Díaz e a ovest con Peñuelas. È bagnata a sud dalle acque del Mar dei Caraibi. Il comune, che fu fondato nel 1692, secondo l'ultimo censimento del 2020, conta una popolazione di 137 491 abitanti ed è suddiviso in 19 circoscrizioni (barrios).
Lemma di Gauss (teoria dei numeri)
In teoria dei numeri, il lemma di Gauss, che ha preso il nome da Carl Friedrich Gauss, è un teorema utilizzato in alcune dimostrazioni della reciprocità quadratica.

Per ogni primo dispari , sia  un intero coprimo con . Si considerino gli interi:

e i loro residui modulo  ridotti nell'intervallo . Sia  il numero di questi residui che sono negativi. Allora:

dove  è il simbolo di Legendre. Da un punto di vista piuttosto sofisticato, ciò rappresenta un caso di trasferimento.

Dimostrazione matematica
Una dimostrazione matematica è un processo di deduzione che, partendo da premesse assunte come valide (ipotesi) o da proposizioni dimostrate in virtù di queste premesse, determina la necessaria validità di una nuova proposizione in virtù della (sola) correttezza formale del ragionamento.