OpenLLM-France/wikimedia huggingface dataset:
# Elladio

Elladio è un nome proprio di persona italiano maschile.

## Varianti

* Femminili: Elladia

### Varianti in altre lingue

* Basco: Eladi
* Catalano: El·ladi, Eladi, Helladi, Heladi
* Galiziano: Eladio
* Greco bizantino: Ἑλλάδιος (Helladios)
* Latino: Helladius
* Polacco: Heladiusz, Eladiusz
* Spagnolo: Eladio, Heladio

## Origine e diffusione

Continua il nome tardo greco Ἑλλάδιος (Hellàdios), che vuol dire "proveniente dall'Ellade" (ossia la Grecia), quindi "greco"; significato analogo ha il nome Greca.

## Onomastico

L'onomastico si può festeggiare in memoria di vari santi, alle date seguenti:
* 8 gennaio, sant'Elladio, martire con san Teofilo in Libia
* 18 febbraio, sant'Eladio, vescovo di Toledo
* 8 maggio, sant'Elladio, vescovo di Auxerre
* 28 maggio, sant'Elladio, martire a Roma

## Persone
### Variante Eladio

* Eladio di Toledo, vescovo e santo visigoto
* Eladio Dieste, ingegnere e architetto uruguaiano
* Eladio Jiménez, ciclista su strada spagnolo
* Eladio Reyes, calciatore peruviano
* Eladio Rojas, calciatore cileno
* Eladio Silvestre, calciatore spagnolo
* Eladio Vaschetto, calciatore e allenatore di calcio argentino
# Orfeo Bellesini

Orfeo Bellesini (Villafranca di Verona, 25 gennaio 1920 – Villafranca di Verona, 15 giugno 2004) è stato un calciatore italiano, di ruolo terzino.

## Carriera

Nasce calcisticamente nella sua Villafranca Veronese ed a 16 anni si mette in luce nell'amichevole giocata contro il Verona del mister ungherese Vanicech che lo fa acquistare. A 18 anni il debutto in serie B con gli scaligeri, dove rimane fino alla stagione 1945-46, quando viene trasferito e gioca in Serie A con il Venezia. Nel 1951-52 gioca in Promozione con il Cerea contribuendo alla promozione della squadra in IV Serie. Calcisticamente chiude nella Libertas Caldiero prima nella doppia veste di allenatore-giocatore e successivamente solo come allenatore all'inizio degli anni '60.
# Nokere Koerse 1991

La Nokere Koerse 1991, quarantaseiesima edizione della corsa, si svolse il 20 marzo per un percorso con partenza ed arrivo a Nokere. Fu vinta dal belga Koen Van Rooy della squadra La William-Saltos-Duvel davanti al connazionale Johan Capiot e all'olandese Martien Kokkelkoren.

## Ordine d'arrivo (Top 10)

| Pos. | Corridore | Squadra | Tempo |
| 1 | Koen Van Rooy | La William-Saltos-Duvel | 4h33'00" |
| 2 | Johan Capiot | TVM-Sanyo | a 15" |
| 3 | Martien Kokkelkoren | Buckler | a 20" |
| 4 | Johan Remels | Tulip Computers | s.t. |
| 5 | Gino Van Hooydonck | Buckler | s.t. |
| 6 | Fabrice Naessens | Lotto-Super Club-MBK | s.t. |
| 7 | Frank Hoste | La William | s.t. |
| 8 | Peter Huyghe | La William | s.t. |
| 9 | Corne Van Rijen | Elro Snacks-Hisfa | s.t. |
| 10 | Adrie Kools | Tulip Computers | s.t. |
# Antonio Paravia

Antonio Paravia (Gragnano, 8 luglio 1951) è un politico italiano.

## Biografia

Assieme ad Angelo Maria Cicolani è stato il relatore di un emendamento al disegno di legge 999 (cd. «decreto Alitalia») dell'agosto 2008 che modifica l'articolo 7bis della legge 243/2004 (cd. «legge Marzano») in misura tale da rendere non più personalmente perseguibili i reati di bancarotta a meno del definitivo fallimento dell'azienda coinvolta. L'emendamento è stato fortemente criticato da alcuni organi di informazione (Report, La Repubblica) in quanto "cancellerebbe" i reati legati a grandi dissesti finanziari come quello di Parmalat, Cirio e Capitalia e ha provocato la minaccia di dimissioni del ministro dell'economia Giulio Tremonti in caso di approvazione.
Il 20 dicembre 2012 lascia il PdL insieme a Maria Alessandra Gallone, Pierfrancesco Gamba, Alessio Butti, Filippo Berselli, Achille Totaro, Fabrizio Di Stefano, Alfredo Mantica, Giuseppe Milone per dare vita al Senato al nuovo gruppo del partito del Centrodestra Nazionale formazione di cui è vicecapogruppo che raccoglie gli ex AN fondata dal Coordinatore nazionale del PdL ed ex Reggente di AN Ignazio La Russa.
Ricandidato alle elezioni politiche del 2013 con Fratelli d'Italia, nella circoscrizione Campania 2, risulta il primo dei non eletti.
# Curing a Jealous Husband

Curing a Jealous Husband è un cortometraggio muto del 1909. Il nome del regista non viene riportato nei credit del film.

## Trama

Per curare la dissennata gelosia di suo marito, una mogliettina - dietro consiglio di un'amica - piazza nell'armadio della camera da letto un manichino a grandezza naturale. Quando il marito lo scopre, lotta ferocemente con lui, finché il pupazzo non va a pezzi, rendendo talmente ridicolo il suo assalitore che l'uomo promette di guarire dalla sua ossessione.

## Produzione

Il film fu prodotto dalla Lubin Manufacturing Company.

## Distribuzione

Distribuito dalla Lubin Manufacturing Company, il film - un cortometraggio della lunghezza di 184 metri - uscì nelle sale cinematografiche statunitensi il 17 giugno 1909. Nelle proiezioni, veniva programmato con il sistema dello split reel, accorpato in un'unica bobina con un altro cortometraggio prodotto dalla Lubin, Flossie's New Peach-Basket Hat.
# Metro (Indonesia)

Metro è una città dell'Indonesia, situata nella provincia di Lampung.
# União do Oeste

União do Oeste è un comune del Brasile nello Stato di Santa Catarina, parte della mesoregione dell'Oeste Catarinense e della microregione di Chapecó.
# Elladio di Auxerre

Elladio (... – Auxerre, 8 maggio IV secolo) è stato vescovo di Auxerre nella seconda metà del IV secolo. È venerato come santo dalla Chiesa cattolica.
La diocesi di Auxerre conserva un antico testo, le Gesta pontificum Autissiodorensium, databile alla fine del IX secolo e composto sullo stile del Liber pontificalis della Chiesa di Roma, nel quale Elladio compare al 5º posto nella lista dei vescovi di questa antica diocesi, tra i vescovi Valeriano e Amatore.
Non si conoscono documenti coevi del suo episcopato, il quale, secondo il racconto delle Gesta, durò 23 anni, ossia dal 365 al 388 circa. Elladio è menzionato anche nella Vita di sant'Amatore, suo successore, datata al VII secolo: consacrò sacerdote Amatore e aiutò Marta, sua sposa, ad abbracciare la vita religiosa. Secondo le Gesta, morì l'8 maggio e fu sepolto nel cimitero del Mons Autricus (Montartre), oggi Place de l'Arquebuse a Auxerre.
Il martirologio geronimiano commemora il santo l'8 maggio, stesso giorno in cui il Baronio lo inserisce nel Martirologio Romano. L'odierno martirologio, riformato a norma dei decreti del concilio Vaticano II, fa memoria del santo vescovo con queste parole:
«Ad Auxerre nella Gallia lugdunense, in Francia, sant'Elladio, vescovo.»
# Osinskij rajon (Oblast' di Irkutsk)

L'Osinskij rajon (in russo Осинский район) è un rajon dell'Oblast' di Irkutsk, nella Russia asiatica; il capoluogo è Osa. Istituito nel 1975, ricopre una superficie di 4.400 chilometri quadrati e consta di una popolazione di circa 21.000 abitanti.
# North Attleborough

North Attleborough è un comune degli Stati Uniti d'America facente parte della contea di Bristol nello stato del Massachusetts.
# Prefettura di Agou

La prefettura di Agou è una prefettura del Togo situato nella regione degli Altopiani con 84.890 abitanti al censimento 2010. Il capoluogo è la città di Agou Gadzepé.
# Mia Toretto

Mia Toretto~O'Conner è un personaggio della saga cinematografica Fast and Furious, sorella di Dominic Toretto e moglie di Brian O'Conner.

## Biografia del personaggio

Mia è la sorella minore di Dominic "Dom" e Jakob Toretto. Nel primo film lavora nel piccolo bar di proprietà di Dom. In quel posto fa il suo primo incontro con Brian Spilner (allora infiltrato del LAPD). La notte segue Dom nelle sue gare clandestine, gare alle quali non partecipa pur avendo una buona abilità di guida. Fra Mia e Brian nasce una storia d'amore, che in futuro porterà loro un bambino, Jack (datogli in memoria del padre di Mia). Annuncerà poi all'inizio del settimo film di essere di nuovo incinta di una femmina. Per questo chiederà al marito di chiudere con le macchine e di vivere una vita tranquilla per amore della famiglia.

## Caratterizzazione
### Famiglia

* Dominic "Dom" Toretto (fratello maggiore)
* Jakob Toretto †? (fratello maggiore)
* Jack O'Conner (figlio, avuto da Brian)
* Figlia innominata
* Brian Marcos "Piccolo B." Toretto (nipote, figlio di Dom)
* Jack Toretto † (padre)
* Madre innominata †
* Brian O'Conner (compagno)
* Fernando Toretto (cugino)
* Antonio "Tony" Toretto (cugino)

### Auto

| Film | Auto |
| Fast and Furious | Honda Integra |
| Fast and Furious | Toyota Supra |
| Fast & Furious - Solo parti originali | Honda NSX (JDM NSX Type R Conversion) |
| Fast & Furious 5 | Honda NSX (JDM NSX Type R Conversion) |
| Fast & Furious 5 | Ford GT40 |
| Fast & Furious 6 | Alfa Romeo Giulietta QV del 2012 |
# Elezioni federali in Jugoslavia del 2000

Le elezioni federali in Jugoslavia del 2000 per l'Assemblea Federale della Repubblica Federale di Jugoslavia si sono tenute il 24 settembre.
Nonostante il governo montenegrino le boicottò, le elezioni decretarono la sconfitta di Slobodan Milošević con la conseguente vittoria dell'Opposizione Democratica Serba che formò il governo federale col Partito Popolare Socialista del Montenegro.

## Risultati
### Camera dei cittadini

| Liste | Voti | % | Seggi |
| Opposizione Democratica di Serbia | 2.040.646 | 41,77 | 58 |
| Coalizione Partito Socialista di Serbia - Sinistra Jugoslava | 1.532.841 | 31,38 | 44 |
| Partito Popolare Socialista del Montenegro | 104.198 | 2,13 | 28 |
| Partito Radicale Serbo | 406.196 | 8,31 | 5 |
| Partito Popolare Serbo | 8.048 | 0,16 | 2 |
| Alleanza degli Ungheresi di Voivodina | 46.768 | 0,96 | 1 |
| Altri | 508.489 | 10,41 | 0 |
| Non validi | 228.151 | | |
| Totale | 4.885.337 | | 138 |

### Camera delle Repubbliche

| Liste | Voti | % | Seggi |
| Partito Popolare Socialista del Montenegro | 103.425 | 2,12 | 19 |
| Opposizione Democratica di Serbia | 2.092.799 | 42,84 | 10 |
| Coalizione Partito Socialista di Serbia - Sinistra Jugoslava | 1.479.583 | 30,29 | 7 |
| Partito Radicale Serbo | 472.820 | 9,68 | 2 |
| Partito Popolare Serbo | 9.494 | 0,20 | 1 |
| Movimento del Rinnovamento Serbo | 281.153 | 5,76 | 1 |
| Altri | 226.929 | 4,65 | 0 |
| Non validi | 228.151 | | |
| Totale | 4.885.337 | | 40 |
# Osing

* Osing – abitanti di Os (Hordaland)
* Osing – abitanti di Os (Innlandet)
* Osing – abitanti di Osen
* Osing – Popolo dell'Indonesia
* Osing – Lingua dell'omonimo popolo dell'Indonesia
# Nonsense (disambigua)

* Nonsense – nonsenso
* Nonsense – album di Giorgio Faletti del 2000
* Nonsense – singolo di Comethazine del 2019
* Nonsense – singolo di Sabrina Carpenter del 2023
# Potere dello Stato

Nel diritto costituzionale si definisce potere dello Stato un solo organo ovvero anche un complesso di organi funzionalmente collegati, a cui è stata riferita dalla Costituzione una sfera di attribuzioni. Si definisce funzione, invece, un'attività complessivamente preordinata al compimento di atti del potere.
Nella visione liberale le tre funzioni fondamentali (legislativa, esecutiva, giudiziale) devono essere esercitate separatamente in base al principio della separazione dei poteri.
Si definiscono organi costituzionali quelli posti in posizione di indipendenza e reciprocità tra loro, che secondo taluni autori possono esprimere anche parzialmente la funzione di indirizzo politico, comunque dotati di necessarietà o indefettibilità (Parlamento, Governo, corpo elettorale, Presidente della Repubblica e Corte Costituzionale).
Sono detti, più semplicemente, organi di rilievo costituzionale gli organi che non hanno le caratteristiche di cui sopra, ma che sono comunque previsti dalla Costituzione; essi sono posti in rapporto di strumentalità (attività di controllo, attività consultiva, etc) rispetto agli organi costituzionali in senso stretto.
Nel sistema costituzionale italiano la Corte Costituzionale è chiamata a risolvere i conflitti di attribuzioni tra poteri, a condizione che gli organi che vengono in conflitto siano competenti a dichiarare in modo definitivo la volontà del potere cui appartengono (ad es. le Camere, il Presidente della Repubblica, il CSM, la Corte dei Conti, i singoli giudici, il Consiglio dei ministri, il Presidente del Consiglio, il Ministro della Giustizia, etc). Possono esserci 3 tipi di potere: legislativo, giudiziario, esecutivo.
# Michał Daszek

Michał Daszek (Tczew, 27 giugno 1992) è un pallamanista polacco,.

## Carriera

In Nazionale segna 9 reti al campionato mondiale del 2017.
# Varini (disambigua)

* Varini – cognome italiano
* Varini – tribù germanica
* Alessandro Varini – calciatore italiano
* Armando Varini – calciatore italiano
* Carlo Varini – direttore della fotografia svizzero
* Edo Varini – pilota automobilistico italiano
* Massimo Varini – chitarrista, arrangiatore, insegnante e produttore artistico italiano
# Cuassesi

* Cuassesi – abitanti di Cuasso al Monte
* Cuassesi – abitanti di Cuasso al Piano
# Niono

Niono è un comune rurale del Mali, capoluogo del circondario omonimo, nella regione di Ségou.
Il comune è composto da 21 nuclei abitati:
* Colonie
* Foabougou
* Kala Nampala
* Kolodougou Coro
* Kolodougou Coura
* Koué Bamanan
* Kouyan Coura
* Kouyan Péguéna
* Kouyan N'Golobala
* Mouroudjah
* Mouroudjah Coura
* Moussa-Wèrè
* N'Djicorobougou
* N'Dolla
* N'Galamadjiancoro
* Nango N3 Sahel
* Niégué
* Niono-Socoura
* Nioumanké
* Seriwala
* Siguinè
# Preber

Il Preber (2.740 m s.l.m.) è una montagna dei Tauri di Schladming e di Murau nelle Alpi dei Tauri orientali. Si trova in Austria tra la Stiria ed il Salisburghese.
# Antonio Veschetti

Antonio Veschetti (Caselle Lurani, 2 febbraio 1945) è un ex calciatore italiano, di ruolo stopper.

## Carriera

Bandiera del Novara, ha disputato con i piemontesi dal 1969 al 1982 dodici campionati, di cui sette in Serie B (per complessive 213 presenze e 4 reti), quattro in Serie C e uno in Serie C2.
Anche le altre due squadre per le quali Veschetti ha militato durante la sua carriera, ovvero il Borgomanero e l'Arona, avevano sede in provincia di Novara.

## Palmarès

* Serie C: 1
    Novara: 1969-1970
# Messa in do maggiore K 66

La Messa in do maggiore K 66, detta Dominicus-Messe, è una composizione sacra scritta da Wolfgang Amadeus Mozart nell'ottobre 1769 in occasione della prima messa celebrata da Kajetan Rupert Hagenauer, figlio del padrone di casa dei Mozart, entrato nel monastero benedettino di San Pietro in Salisburgo col nome di "pater Dominicus". La celebrazione avvenne il 15 ottobre nella chiesa conventuale. Per l'occasione, Wolfgang inserì tra il Gloria ed il Credo un offertorio nella stessa tonalità, il Benedictus sit Deus K 66a (117), scritto negli ultimi giorni del soggiorno viennese. La prima viennese avvenne l'8 agosto 1773 diretta da Leopold Mozart.

## Stile

In questa messa, Mozart si allontana dallo stile chiesiastico salisburghese, dettato principalmente da Johann Ernst Eberlin, massima autorità locale in materia nonché maestro di Leopold, per avvicinarsi ad uno stile internazionale, più marcatamente italiano. Da questo stile Wolfgang desume, oltre all'andamento formale e melodico dei brani solistici (la famosa "arietta da chiesa", sonatistica e bipartita), anche alcuni procedimenti in modo da conferire unità a taluni episodi, quelli più vasti, che solitamente la tradizione evitava di dividere in numeri, come ad esempio, nel "Credo", la parte compresa tra l'inizio ed il "Et incarnatus est - Crucifixus", parte che ha messo a dura prova il talento dei compositori per quasi due secoli. Così come avvenne nella Waisenhausmesse, l'orchestra è bilanciata tra interventi di mero supporto ai cantanti ed altri di pura vivacità sinfonica (questi ultimi destinati soprattutto a ravvivare i brani solistici o a sottolineare la drammaticità di episodi quali il "Qui tollis" ed il "Crucifixus"). I valori strumentali emergono in tutto il loro splendore nel "Sanctus" e soprattutto nel "Benedictus", ove il rigore contrappuntistico non esclude affatto un raffinato trattamento orchestrale, dominato da una luminosa figurazione in biscrome.
L'Offertorio K 66a (117) merita un cenno particolare, ritenuto da alcuni scritto durante il successivo periodo milanese, quanto la sua tripartizione metasinfonica presenta delle analogie col famoso Exsultate, jubilate K 158a (165) (ma simile solo in questo). Qui ci viene presentata un'aria incorniciata da due cori, il secondo dei quali presenta la salmodia in ottavo tono "Psalmum dicite nomini eius" (ripetuto dalle singole parti corali), mentre il tutti ripete "Jubilate!". Questi due elementi appaiono inseriti come parti contrastanti in un assetto formale di concezione sonatistica.

## Struttura
### Gloria

* Gloria in excelsis Deo
* Laudamus te
* Gratias agimus tibi
* Domine Deus
* Qui tollis
* Quoniam tu solus sanctus
* Cum Sancto Spiritu

### Credo

* Credo in unun Deum
* Et incarnatus est
* Crucifixus
* Et resurrexit
* Et in Spiritum Sanctum
* Et unam sanctam catholicam
* Et vitam venturi saeculi
# Cuaspud

Cuaspud è un comune della Colombia facente parte del dipartimento di Nariño; l'abitato principale è Carlosama.
Il centro abitato venne fondato da Sebastián García Carlosama nel 1600, mentre l'istituzione del comune è del 1911.
# Elezioni parlamentari in Malaysia del 2013

Le elezioni parlamentari in Malaysia del 2013 si tennero il 5 maggio per il rinnovo del Dewan Rakyat (Assemblea del popolo).

## Risultati

| Liste | Voti | % | Seggi |
| Organizzazione Nazionale della Malaysia Unita | 3 252 484 | 29,42 | 88 |
| Associazione Cinese Malese | 867 851 | 7,85 | 7 |
| Congresso Indiano Malese | 286 629 | 2,59 | 4 |
| Partito Bumiputra Tradizionale Unito | 232 390 | 2,10 | 14 |
| Partito del Movimento del Popolo della Malaysia | 191 019 | 1,73 | 1 |
| Partito del Popolo Unito Sarawak | 133 603 | 1,21 | 1 |
| Altri <1% | 273 723 | 2,48 | 18 |
| Totale | 5 237 699 | 47,38 | 133 |
| Partito della Giustizia del Popolo | 2 254 328 | 20,39 | 30 |
| Partito d'Azione Democratica | 1 736 267 | 15,71 | 38 |
| Partito Islamico Panmalese | 1 633 389 | 14,78 | 21 |
| Totale | 5 623 984 | 50,87 | 89 |
| Altri <0,50% | 105 959 | 0,96 | – |
| Indipendenti | 86 935 | 0,79 | – |
| Totale | 11 054 577 | 100 | 222 |
# Otra

Il fiume Otra è un fiume della Norvegia meridionale, che scorre nella contea di Agder.

## Geografia

Con i suoi 245 km, l'Otra è il corso d'acqua più lungo dell'intero Sørlandet e l'ottavo della Norvegia. Lungo il proprio corso l'Otra forma diversi laghi tra cui l'Åraksfjorden, il Byglandsfjorden, lo Hartevatnet e il Kilefjorden.
Inoltre l'Otra è famoso per la pesca al salmone, grazie alla bassa acidità conferita dalle rocce calcaree caratteristiche della valle dello Setesdal. Comuni sono anche la trota, la sanguinerola e il "Bleke", una varietà di salmone endemica dell'Otra.

### Corso del fiume

Il fiume nasce sui monti Setesdalsheiene come emissario del lago Breidvatnet, nel comune di Bykle. Successivamente l'Otra scorre verso sud attraversando i comuni di Valle, Bygland, Evje og Hornnes, Iveland, Vennesla e Kristiansand. Il fiume sfocia nello Skagerrak nel centro di Kristiansand, nell'estremo sud della Norvegia, dove è chiamato anche Torridalselven.
Vi sono 12 centrali idroelettriche lungo il corso dell'Otra che producono la maggior parte dell'energia idroelettrica utilizzata nella Norvegia meridionale.
# Niolamia

Niolamia è un genere di tartaruga gigante cornuta dell'Eocene, ritrovata nella formazione Gran Barranca, Argentina.
Niolamia argentina appartiene a uno straordinario gruppo di tartarughe cornute estinte conosciute come meiolanidi i cui resti fossili provengono prevalentemente dall'Australia e dalle isole circostanti. Questo suggerisce che gli antenati di Niolamia, come quelli del monotremo Monotrematum, raggiunsero il Sud America dall'Australia attraversando un'Antartica libera dai ghiacci durante il periodo Cretaceo. I Meiolanidi sono sopravvissuti fino a 3,000 anni fa in luoghi come la Nuova Caledonia, ma Niolamia è il membro sudamericano geologicamente più giovane di questo gruppo. I suoi resti sono stati ritrovati in siti vicini a Gran Barranca che sono dello stesso periodo.

## Informazioni base

Dimensioni: Niolamia era delle dimensioni di una testuggine gigante. Lunghezza del carapace: circa 4 ft (1.2 m).
Caratteristiche ecologiche: terrestre ed erbivora.
Relazioni evolutive: Meiolaniformes, un ramo dell'albero evolutivo delle tartarughe separato dai due gruppi principali delle tartarughe moderne.
Significato del nome: Niolamia è un anagramma di Meiolania (tranne la "e"), un'altra tartaruga estinta; il suo epiteto specifico si riferisce al paese dell'Argentina.
# Principio di identità degli indiscernibili

Il principio di identità degli indiscernibili (o anche principio degli indiscernibili o principio di indiscernibilità degli identici) è un principio ontologico che afferma che se non c'è modo di distinguere due enti, allora sono in verità un solo e identico ente. Cioè vale a dire che le entità "x" e "y" sono identiche se e solo se ogni predicato valido per "x" è pure valido per "y".
Il principio è conosciuto anche come "Legge di Leibniz", visto che la formulazione meglio conosciuta proviene dal filosofo tedesco Gottfried Wilhelm Leibniz: Eadem sunt, quorum unum potest substitui alteri salva veritate: le cose delle quali l'una può essere sostituita dall'altra mantenendone intatta la verità, sono le stesse.
Questo principio postula l'idea che in natura non esistano due enti differenti solo numero, in quanto, se così fosse, non ci sarebbe una ragione sufficiente tale da giustificarne l'esistenza. Come esempio, Leibniz citava le foglie, di cui non ne esistono di identiche sul medesimo albero. Un altro esempio potrebbe essere quello delle impronte digitali.
Per questo possiamo vedere il principio degli indiscernibili come un corollario del principio di ragion sufficiente che così recita: nihil est sine ratione sufficiente, cur potius sit quam non sit (nulla è senza ragione sufficiente perché sia piuttosto che non sia).
Nel suo trattato Progressione Dyadica pubblicato nel 1679, Leibniz fu il primo pensatore occidentale a enunciare i fondamenti matematici e le principali applicazioni del moderno sistema numerico binario, alla base dell'informatica. L'opera, ignorata dai contemporanei, fu ripresa soltanto nell'Ottocento da George Boole. Leibniz, che fra l'altro era un bibliotecario, entrò in corrispondenza con un gesuita missionario in Cina, padre Joachim Bouvet, e tramite essi venne a conoscere la tavola binaria dello yin e yang diffusa da tremila anni.

## Definizione formale

Nella logica formale l'identità degli indiscernibili può essere formulata così:
    $\forall x,\forall y:(\forall P(Px\leftrightarrow Py)\rightarrow x=y)$
    Mentre l'indiscernibilità degli identici può essere così formulata:
    $\forall x,\forall y:(x=y\rightarrow \forall P(Px\leftrightarrow Py))$
    Da questi due principi deriva la seguente formula:
    $\forall x,\forall y:(x=y\leftrightarrow \forall P(Px\leftrightarrow Py))$
Si noti che queste sono espressioni della logica di second'ordine, giacché si quantifica su predicati. È impossibile esprimere questo principio nella logica di primo ordine senza ricorrere a uno schema (nello stesso modo in cui, per esempio, nella teoria ingenua degli insiemi al primo ordine si esprime l'assioma di comprensione).
# Antonio Vettore

Antonio Vettore (Padova, 15 febbraio 1960) è un allenatore di calcio ed ex calciatore italiano, di ruolo portiere.

## Carriera
### Giocatore

Conta due stagioni in Serie A, una col Milan e l'altra col Brescia, senza riuscire a esordire in massima serie.
Ha totalizzato 120 presenze in Serie B difendendo i pali di Milan (2 presenze nella stagione 1980-1981), Sambenedettese, Ancona e Brescia, vincendo due campionati, col Milan nell'annata 1980-1981 e col Brescia nell'annata 1991-1992.

### Allenatore

Nella stagione 1996-1997 ha allenato il Cremapergo nel campionato di Serie C2, venendo esonerato a stagione in corso in favore di Maurizio Lucchetti.

## Palmarès
### Giocatore
#### Competizioni nazionali

* Campionato italiano di Serie B: 2
    Milan: 1980-1981
    Brescia: 1991-1992
* Campionato italiano Serie C1: 1
    Ancona: 1987-1988 (girone A)

#### Competizioni internazionali

* Coppa Anglo-Italiana: 1
    Brescia: 1993-1994