hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Papa Pio XI
Pio XI (in latino: Pius PP. XI, nato Ambrogio Damiano Achille Ratti; Desio, 31 maggio 1857 – Città del Vaticano, 10 febbraio 1939) è stato il 259º vescovo di Roma e papa della Chiesa cattolica dal 1922 alla sua morte. Dal 7 giugno 1929 fu il 1° sovrano del nuovo Stato della Città del Vaticano.

Cristo Re
Cristo Re è uno degli appellativi di Gesù Cristo basato su diversi passaggi biblici, in uso in tutte le confessioni cristiane. I cattolici, gli anglicani, i presbiteriani e alcuni luterani, metodisti e ortodossi celebrano una festività in suo onore, la Solennità di Cristo Re.
San Fruttuoso (Genova)
San Fruttuoso (San Frutôzo /saŋ fryˈtuːzu/ in genovese) è un quartiere residenziale di 34.310 abitanti del comune di Genova, compreso nel Municipio III Bassa Valbisagno.

San Fruttuoso è stato un comune autonomo fino al 1873, quando insieme ai comuni di San Martino d'Albaro, San Francesco d'Albaro, Foce, Staglieno e Marassi fu accorpato a Genova. Dopo l'annessione alla città il piccolo borgo rurale appena fuori delle mura con l'espansione urbanistica del primo Novecento si è trasformato in un quartiere residenziale semi-centrale.

Il nome del quartiere deriva da quello dell'omonima chiesa, con annesso convento, oggi scomparsi, di cui si ha memoria dal 1130, ma fino al XVI secolo la zona era detta Terralba, toponimo oggi limitato all'area più bassa della valle del Rio Noce.

Apparizione (Genova)
Apparizione (Paiscion /pai̯ˈʃuŋ/ in ligure) è un quartiere residenziale di 2 398 abitanti del comune di Genova, compreso nel Municipio IX Levante. Un tempo comune autonomo, nel 1926 venne aggregato alla Grande Genova.

Nella ripartizione amministrativa del comune fu inglobata inizialmente nella circoscrizione Valle Sturla; nella nuova ripartizione in vigore dal 2005 è un'unità urbanistica del Municipio IX Levante, che oltre agli altri centri della ex circoscrizione Valle Sturla (Bavari, San Desiderio e Borgoratti), comprende i quartieri di Sturla, Quarto, Quinto e Nervi.

L'unità urbanistica di Apparizione si estende su un'area di 3,32 km², di cui solo 0,85 urbanizzati.
January Jones
January Kristen Jones (Sioux Falls, 5 gennaio 1978) è un'attrice e modella statunitense, nota per il ruolo di Betty Draper nella serie televisiva Mad Men, ruolo che le è valso numerose candidature, e per quello di Emma Frost in X-Men - L'inizio.

Nel 2002 si è classificata all'82º posto tra le Maxim Hot 100 Women, e nel 2010 si è posizionata al 17º posto tra le Most Beautiful Faces.

Robert Morse
Robert Alan Morse (Newton, 18 maggio 1931 – Los Angeles, 20 aprile 2022) è stato un attore e cantante statunitense.

Morse è molto noto per le sue apparizioni teatrali in musical e spettacoli di Broadway. Il suo ruolo più conosciuto è quello del giovane imprenditore J. Pierre-Point Finch nella commedia teatrale How to Succeed in Business Without Really Try, in scena a Broadway dal 1961 al 1965, e nell'omonima riduzione cinematografica, Come far carriera senza lavorare (1967). Assai impegnato anche sul piccolo schermo, ha interpretato il personaggio di Bertram Cooper, un anziano uomo d'affari, nella serie televisiva Mad Men.
Ferrovia Roma-Sulmona-Pescara
La ferrovia Roma-Sulmona-Pescara è una linea ferroviaria italiana che collega Roma e Pescara attraversando il subappennino laziale e l'appennino abruzzese attraverso la città metropolitana di Roma Capitale e le province dell'Aquila, Chieti e Pescara.

Ferrovia Firenze-Roma
La ferrovia Firenze-Roma è una linea ferroviaria italiana che collega il capoluogo toscano alla capitale d'Italia. La ferrovia è anche nota con l'aggiunta nel nome della specificazione di Linea Lenta (LL), per distinguerla dalla Direttissima (DD), con la cui denominazione si indica la linea Firenze-Roma dedicata ai treni ad alta velocità: le due ferrovie seguono un percorso molto simile e si intersecano tra di loro in più punti, costituendo un importante asse di collegamento ferroviario tra Italia settentrionale e centrale.
Scavi archeologici di Ercolano
Gli scavi archeologici di Ercolano hanno restituito i resti dell'antica città di Ercolano, seppellita sotto una coltre di ceneri, lapilli e fango durante l'eruzione del Vesuvio del 79, insieme a Pompei, Stabia e Oplonti.

Dopo un primo ritrovamento casuale a seguito degli scavi per la realizzazione di un pozzo nel 1709, le indagini archeologiche cominciarono nel 1738 per protrarsi fino al 1780; ripresero nel 1828, si interruppero nuovamente nel 1875, fino a uno scavo sistematico promosso da Amedeo Maiuri a partire dal 1927: la maggior parte dei reperti rinvenuti sono ospitati al Museo archeologico nazionale di Napoli, mentre è del 2008 la nascita del Museo archeologico virtuale che mostra la città prima dell'eruzione del Vesuvio.

Il sito di Ercolano, gestito dal Parco Archeologico di Ercolano, nel 1997, insieme alle rovine di Pompei e Oplonti, è entrato a far parte della lista dei patrimoni dell'umanità dell'UNESCO.

Nel 2023 gli scavi hanno fatto registrare 563 165 visitatori.

Reggia di Portici
La reggia di Portici è un palazzo monumentale, costruito nel 1738 per volere di Carlo di Borbone re di Napoli, e della moglie Maria Amalia di Sassonia. Dal 1935 è anche sede della Facoltà di Agraria dell'Università degli Studi di Napoli "Federico II".
Juan Velasco Alvarado
Juan Francisco Velasco Alvarado (Piura, 16 giugno 1910 – Lima, 24 dicembre 1977) è stato un generale e politico peruviano.

Guidò il Perù dal 3 ottobre 1968 al 30 agosto 1975 con il titolo di "Presidente del governo rivoluzionario delle Forze armate del Perù".

Fernando Belaúnde Terry
Fernando Belaúnde Terry (Lima, 7 ottobre 1912 – Lima, 4 giugno 2002) è stato un politico peruviano.

È stato Presidente del Perù dal 28 luglio 1963 al 3 ottobre 1968 e dal 28 luglio 1980 al 28 luglio 1985.
Periodo Predinastico (Egitto)
Il Periodo Predinastico (o Egitto predinastico) è la fase della storia dell'Antico Egitto che copre il IV millennio a.C. Generalmente si colloca dopo il periodo dell'Egitto preistorico e termina con il periodo protodinastico, che contiene al suo interno.

In questa fase si passa gradualmente da una struttura sociale composta al più da piccoli gruppi di villaggi all'aggregazione di questi in strutture politiche più grandi fino alla fusione di questi nei due regni dell'Alto Egitto e Basso Egitto.

Narmer
Narmer (... – 3125 a.C.) è stato un faraone egizio appartenente alla Dinastia I (Dinastia I).

Menes, semi-leggendario primo unificatore dell'Alto e del Basso Egitto, è quasi unanimemente identificato con Narmer.
Big Bill
Big Bill, pseudonimo di William Morrissey (Queens, 16 agosto 1986), è un wrestler statunitense sotto contratto con All Elite Wrestling.

È principalmente ricordato per i suoi trascorsi tra il 2013 e il 2018 nella WWE, dove si esibiva con il ring name Big Cass.

Great Balls of Fire (WWE)
Great Balls of Fire è stato un evento in pay-per-view di wrestling organizzato dalla WWE. L'evento, esclusivo del roster di Raw, si è svolto il 9 luglio 2017 all'American Airlines Center di Dallas (Texas).
Lettonia
La Lettonia (in lettone Latvija), ufficialmente Repubblica di Lettonia (in lettone Latvijas Republika), è uno Stato membro dell'Unione europea. Situata nell'Europa nord-orientale, confina a nord con l'Estonia (267 km), a est con la Russia (217 km), a sud-est con la Bielorussia (141 km) e a sud con la Lituania (453 km), ed è bagnata a ovest dal Mar Baltico.

La Lettonia è una repubblica parlamentare; la carica di primo ministro è attualmente ricoperta da Evika Siliņa, dal 15 settembre 2023, mentre l'attuale presidente è Edgars Rinkēvičs, dall'8 luglio 2023. La lingua ufficiale è il lettone e la capitale è Riga.

Il 1º gennaio 2014 la nazione baltica ha adottato l'euro, divenendo il diciottesimo Stato della zona euro. L'euro ha sostituito il lats, precedente valuta ufficiale dello Stato.

Lettoni
I lettoni (in lettone latvieši) sono il gruppo etnico di maggioranza della Lettonia con 1 320 600 individui. I Lettoni spesso si autodefiniscono con il nome di Latvji, che si può ricondurre alla parola Latve, il nome di un fiume che scorreva nella Lettonia dell'est.

Una piccola tribù di lingua finlandese conosciuta con il nome di Livi si stanziò nei territori dei Lettoni e cambiò il nome di questi in "Latvis", che divenne, con i coloni germanici, "Lette". I Lettoni, insieme ai Lituani, sono l'unico popolo di origine baltica sopravvissuto fino ad oggi.

La cultura lettone ha subito influenze culturali e religiose, nel corso dei secoli, da parte dei coloni germanici e scandinavi. Alcune zone della Lettonia orientale, invece, sono state influenzate maggiormente dai Russi e dai Polacchi. Molti Lettoni sono fedeli alla Chiesa evangelica luterana di Lettonia, mentre una piccola minoranza segue la Chiesa ortodossa lettone. Il cattolicesimo è diffuso unicamente in piccole zone ad est.
Fédération Internationale de Volleyball
La Fédération Internationale de Volleyball, nota con la sigla FIVB, è la federazione internazionale che governa lo sport della pallavolo e del beach volley. Fondata nel 1947 a Parigi, dal 1984 ha sede a Losanna, Svizzera.

La FIVB è un'associazione di federazioni nazionali, con 222 affiliati nel 2020. È l'organizzatrice ufficiale di varie competizioni internazionali, tra cui i mondiali maschili e femminili.

Federazione Italiana Pallavolo
La Federazione Italiana Pallavolo, nota anche con la sigla FIPAV o come Federvolley, è un organismo sportivo affiliato al CONI e ha il compito di promuovere la pratica della pallavolo, del beach volley e del sitting volley e dello snow volley, e coordinarne le attività dilettantistiche e agonistiche.
Veda
I Veda (in alfabeto devanāgarī वेद, sanscrito vedico Vedá) sono un'antichissima raccolta in sanscrito vedico di testi sacri dei popoli arii che invasero intorno al XX secolo a.C. l'India settentrionale, costituenti la civiltà religiosa vedica, divenendo, a partire dalla nostra era, opere di primaria importanza presso quel differenziato insieme di dottrine e credenze religiose che va sotto il nome di Induismo.

Scivaismo
Lo scivaismo o shivaismo, o anche sivaismo, è una delle tre principali correnti devozionali (bhakti) dell'induismo moderno, insieme al visnuismo e allo śaktismo, che riconosce Siva come dio supremo.

I seguaci dello scivaismo sono definiti scivaiti.

Gli scivaiti identificano Siva con Īśvara, l'aspetto personale di Dio, pensando cioè che incarni in sé il triplice principio dell'intera trimurti ed artisticamente ciò viene reso mostrando Siva in preminenza e Visnù e Brahmā che escono rispettivamente dal suo fianco sinistro e destro.

Lo scivaismo riconosce negli Āgama le fonti della sua dottrina.
Alleanza Ribelle
L'Alleanza Ribelle (Rebel Alliance), formalmente Alleanza per la Restaurazione della Repubblica (Alliance to Restore the Republic), è una forza di resistenza politica immaginaria dell'universo fantascientifico di Guerre stellari. Compare nella trilogia originale e in numerose altre opere.

All'interno della narrazione, l'Alleanza è formata in diretta opposizione militare verso l'Impero Galattico da un gruppo di ribelli che desiderano preservare gli ideali della Repubblica Galattica. In seguito alla vittoria nella battaglia di Endor dà vita alla Nuova Repubblica.

Calendario Galattico Standard
Il Calendario Galattico Standard è il calendario utilizzato nell'universo espanso di Guerre stellari per determinare la durata del tempo nella Galassia. L'anno di partenza coincide con la Battaglia di Yavin. In genere si utilizza la sigla BBY per indicare "prima della battaglia di Yavin" (Before the Battle of Yavin) e ABY per indicare "dopo la battaglia di Yavin" (After the Battle of Yavin).
Dhṛtarāṣṭra
Dhṛtarāṣṭra (in sanscrito धृतराष्ट्र), con grafia inglese Dhritarashtra, è un personaggio descritto nel poema epico Indiano del Mahābhārata; è il padre dei Kaurava, figlio della prima moglie di Vichitravirya, Ambika, rimasta vedova, e del saggio Vyāsa; nacque cieco e per questo dovette rinunciare al trono.

Pandu
Secondo la mitologia induista Pandu fu il re di Hastinapur figlio della principessa Ambalika. Noto per essere il padre adottivo dei cinque Pāṇḍava, che sono i personaggi centrali del poema epico Mahabharata.

Il nome Pandu significa pallido.
Flotta del Nord
La Flotta del Nord (in russo Северный флот?, Severnyj flot), spesso tradotta erroneamente come Flotta Settentrionale, è la componente della Marina Militare Russa che si occupa della difesa delle acque del nord ovest della Federazione, specificatamente della zona intorno alla Penisola di Kola. Costituita nel 1933 come Flotta Militare del Nord, assunse l'attuale denominazione nel 1937. Si tratta della più giovane tra le flotte russe.

La Flotta del Nord è una delle principali flotte russe (le altre sono la Flotta del Pacifico, la Flotta del Baltico e la Flotta del Mar Nero), ed è composta da circa 240 navi, comprese quelle da appoggio ed ausiliarie.

Il quartier generale è a Severomorsk, e la maggior parte delle sue basi è sita nella Penisola di Kola.

Flottiglia del Caspio
La Flottiglia del Caspio (cirillico: Каспийская флотилия, ovvero Kaspijskaja Flotilija) è la componente della Marina Russa che opera nel Mar Caspio. Un tempo rivestita solo di un ruolo secondario, ha assunto importanza dopo il crollo dell'URSS, a causa delle tensioni internazionali con l'Iran e del ruolo fondamentale che ha il Caspio nel commercio internazionale di petrolio. Nel 2008 tale flottiglia è in fase di riequipaggiamento. Il quartier generale è ad Astrachan'.
Braun Strowman
Adam Scherr, meglio conosciuto con il ring name Braun Strowman (Sherrills Ford, 6 settembre 1983), è un wrestler e strongman statunitense.

In carriera ha detenuto una volta lo Universal Championship, una volta l'Intercontinental Championship e due volte il Raw Tag Team Championship. Ha inoltre vinto l'edizione 2018 del Money in the Bank e l'André the Giant Memorial Battle Royal nel 2019.

Survivor Series 2019
Survivor Series 2019 è stata la trentatreesima edizione dell'omonimo evento in pay-per-view di wrestling organizzato dalla WWE. L'evento si è svolto il 24 novembre 2019 al Allstate Arena di Rosemont (Illinois).

Per la prima volta nella storia, il roster di NXT ha preso parte ad un pay-per-view del main  roster.
René Duprée
René Duprée, pseudonimo di René Emile Goguen (Moncton, 15 dicembre 1983), è un wrestler e culturista canadese di origini francesi, sotto contratto con la Pro Wrestling Noah.

Duprée è noto per i suoi trascorsi nella World Wrestling Entertainment tra il 2003 e il 2007, dove ha detenuto una volta il World Tag Team Championship (con Sylvain Grenier) e il WWE Tag Team Championship (con Kenzo Suzuki).

Lance Cade
Lance Kurtis McNaught (Omaha, 2 marzo 1981 – San Antonio, 13 agosto 2010) è stato un wrestler statunitense.

McNaught è noto principalmente per i suoi trascorsi nella World Wrestling Entertainment, dove lottava con i ringname Garrison Cade prima e Lance Cade in seguito. Qui, Cade ha vinto per tre volte il World Tag Team Championship assieme a Trevor Murdoch.
Digital Equipment Corporation
La Digital Equipment Corporation è stata un'azienda pionieristica del settore informatico negli Stati Uniti d'America. Generalmente veniva utilizzato l'acronimo DEC, utilizzato una volta anche dalla DEC stessa, ma subito accantonato e sostituito da "Digital" per evitare una disputa sul marchio con la Dairy Equipment Company di Madison, Wisconsin.

In seguito l'azienda è stata acquistata da Compaq, che a sua volta è stata inglobata da Hewlett-Packard. Dal 2004 la relativa linea di prodotti viene commercializzata con il marchio HP.

Reduced instruction set computer
Reduced instruction set computer (RISC), nell'elettronica digitale, indica un'architettura per microprocessori che predilige lo sviluppo di un'architettura semplice e lineare. Questa semplicità di progettazione permette di realizzare microprocessori in grado di eseguire il set di istruzioni in tempi minori rispetto a una architettura CISC.

I più comuni processori RISC sono AVR, PIC, ARM, DEC Alpha, PA-RISC, SPARC, MIPS, RISC-V, POWER e PowerPC.
Oldfeltia polyphlebia
Oldfeltia polyphlebia (Griseb.) B.Nord. & Lundin, 2002 è una specie di pianta angiosperma dicotiledone della famiglia delle Asteracee (sottofamiglia Asteroideae). Oldfeltia polyphlebia è anche l'unica specie del genere Oldfeltia B.Nord. & Lundin, 2002.

Mattfeldia triplinervis
Mattfeldia triplinervis  Urb., 1931 è una specie di pianta angiosperma dicotiledone della famiglia delle Asteracee (sottofamiglia Asteroideae). Mattfeldia triplinervis è anche l'unica specie del genere Mattfeldia  Urb., 1931.
Hubert Hurkacz
Hubert Hurkacz (Breslavia, 11 febbraio 1997) è un tennista polacco.

I suoi migliori ranking ATP sono il 6º posto in singolare raggiunto nell'agosto 2024 e il 30º in doppio nel giugno 2022. In singolare ha vinto otto titoli ATP, tra cui i Masters 1000 di Miami nel 2021 e di Shanghai nel 2023. Nelle prove del Grande Slam è stato semifinalista nell'edizione 2021 del torneo di Wimbledon.

In doppio vanta quattro titoli di cui due Masters 1000: Parigi 2020 con Félix Auger-Aliassime, e Miami 2022 con John Isner. Ha esordito nella squadra polacca di Coppa Davis nel 2016.

Arthur Rinderknech
Arthur Rinderknech (Gassin, 23 luglio 1995) è un tennista francese.

In singolare ha raggiunto due finali nel circuito maggiore, uscendone sempre sconfitto, mentre vanta sei successi nel circuito Challenger. Nei tornei del Grande Slam ha come migliori risultati un quarto turno nel singolare agli US Open 2025 e un quarto di finale nel doppio agli Australian Open sempre nello stesso anno.

Nel ranking mondiale, in singolare ha raggiunto la 26ª posizione, mentre in doppio la 124ª.
Numero complesso
Un numero complesso è definito come un numero della forma , con  e  numeri reali e  una soluzione dell'equazione  detta unità immaginaria. I numeri complessi sono usati in tutti i campi della matematica, in molti campi della fisica (notoriamente in meccanica quantistica), nonché in ingegneria (specialmente in elettronica, telecomunicazioni ed elettrotecnica) per la loro utilità nel rappresentare onde elettromagnetiche e correnti elettriche ad andamento temporale sinusoidale.

In matematica i numeri complessi formano un campo (nonché un'algebra reale bidimensionale) e sono generalmente visualizzati come punti di un piano, detto piano complesso. La proprietà più importante dei numeri complessi è basata sul teorema fondamentale dell'algebra, secondo il quale qualunque equazione polinomiale di grado  ha  soluzioni complesse, non necessariamente distinte.

Spazio metrico completo
In matematica, uno spazio metrico completo è uno spazio metrico in cui tutte le successioni di Cauchy sono convergenti ad un elemento dello spazio. Si tratta di un importante caso particolare di spazio uniforme completo.

Uno spazio metrico non completo è sempre contenuto in uno spazio completo più grande, che può essere costruito a partire dal primo tramite un'operazione di completamento. Ad esempio, l'insieme dei numeri razionali è contenuto nell'insieme dei numeri reali, che si può ottenere dai numeri razionali grazie ad un'operazione di completamento (numeri irrazionali).
Penisola balcanica
La penisola balcanica, nota anche come Balcani (dai monti Balcani, sistema montuoso tra Bulgaria e Serbia; dal turco balkan, "monte") è una penisola dell'Europa sud-orientale; è delimitata a ovest dal mare Adriatico, a sud-ovest dal mar Ionio, a est dal mar Nero, a sud-est dal mar di Marmara, e a sud dal mar Egeo.

Monti Rodopi
I Monti Ròdopi (in bulgaro Родопи?, Rodopi, di solito accompagnati da un articolo definito posposto: Родопите - Rodopite -, a volte chiamati Родопа - Rodopa - o Родопа планина - Rodopa planina -; Ροδόπη, "aspetto rosso") sono una catena montuosa nell'Europa meridionale, compresa per più dell'83% nell'area della Bulgaria meridionale e per il resto in Grecia (vedi Parco nazionale dei Monti Rodopi).

La cima più alta della catena, il Goljam Perelik (Голям Перелик - 2.191 m s.l.m.), è la settima vetta più alta della Bulgaria. La regione è particolarmente importante e nota per le aree carsiche presenti, con le loro profonde gole solcate da torrenti, ampie caverne e particolari forme di scultura naturale, come quelle della gola di Trigrad. I Monti Rodopi sono altresì noti per la scoperta di una nuova pianta, (in Bulgaria), da parte del botanico Carl Constantin Christian Haberle.
Henri de La Tour d'Auvergne, visconte di Turenne
Henri de La Tour d'Auvergne, visconte di Turenne, noto anche con il soprannome di Grand Turenne (Sedan, 11 settembre 1611 – Salzbach, 27 luglio 1675), è stato un generale francese, Maresciallo di Francia sotto Luigi XIII e Luigi XIV.

Casato di La Tour d'Auvergne
La Tour d'Auvergne era una famiglia nobile francese. Il ramo maggiore, estinto nel 1501, detenne il titolo di Conti d'Alvernia e Conti di Boulogne per circa mezzo secolo. Il ramo minore, estinto nel 1802, detenne il titolo di Duca di Bouillon dal 1594 ed i titoli di Duca d'Albret e Duca di Château-Thierry dal 1651. Il nome fu anche adottato dal famoso soldato Théophile Malo Corret de la Tour d'Auvergne, che discende da un ramo illegittimo della famiglia.
Scooby-Doo! e WWE - La corsa dei mitici Wrestlers
Scooby-Doo e WWE - La corsa dei mitici Wrestlers (Scooby-Doo! and WWE: Curse of the Speed Demon) è un film del 2016 diretto da Tim Divar, basato sui personaggi di Scooby-Doo e sulle superstar della WWE.

Prodotto dalla Warner Home Video, è stato pubblicato negli Stati Uniti d'America il 26 luglio 2016 in digitale e il 9 agosto seguente in DVD e Blu-ray Disc, mentre in Italia è andato in onda in prima TV su Boomerang il 15 ottobre 2016 e in seguito su Boing. Il film è il secondo crossover tra Scooby-Doo e la WWE, sequel di Scooby-Doo! e il mistero del wrestling uscito nel 2014.

Il film è stato dedicato in memoria di Dusty Rhodes, morto il 10 giugno 2015.

Scooby-Doo! e la maledizione del tredicesimo fantasma
Scooby-Doo e la maledizione del Tredicesimo Fantasma (Scooby-Doo! and the Curse of the 13th Ghost) è un film del 2019 diretto da Cecilia Aranovich Hamilton. Il film è stato realizzato in versione digitale e in DVD il 5 febbraio 2019. In Italia è stato trasmesso su Boomerang il 13 settembre 2019.

Il film è la continuazione della serie animata I 13 fantasmi di Scooby-Doo (The 13 Ghosts of Scooby-Doo) del 1985, progettato per fornire una conclusione alla trama incompiuta dello show.
Pensiero
Il pensiero è l'attività della mente, un processo che si esplica nella formazione delle idee, dei concetti, della coscienza, dell'immaginazione, dei desideri, della critica, del giudizio, e di ogni raffigurazione del mondo; può essere sia conscio che inconscio.

Principio di non contraddizione
Nella logica classica, il principio di non-contraddizione afferma la falsità di ogni proposizione implicante che una certa proposizione A e la sua negazione, cioè la proposizione non-A, siano entrambe vere allo stesso tempo e nello stesso modo. Secondo le parole di Aristotele:

Più semplicemente, la proposizione "A e anche non-A" è falsa.  In simboli, ciò è espresso come segue:

Dimostrazione:

Si tratta quindi di una tautologia (sempre vera, a prescindere dal valore di verità della variabile), o in altri termini di una legge logica universale.