hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Paiva Couceiro
Henrique Mitchell de Paiva Cabral Couceiro (Lisbona, 30 dicembre 1861 – Lisbona, 11 febbraio 1944) è stato un militare e politico portoghese. Fu il principale protagonista dei tentativi di restaurazione monarchica durante la Prima Repubblica portoghese come la controrivoluzione nota come Monarchia del Nord. Per la sua incrollabile fedeltà alla causa fu soprannominato dai suoi sostenitori O Paladino.

Prima Repubblica (Portogallo)
"Prima Repubblica" è la denominazione coniata per designare la República Portuguesa, ossia l'entità politica costituitasi nel 1910, con la fine della monarchia costituzionale in seguito alla Rivoluzione del 5 ottobre 1910, e dissoltasi nel 1926, a seguito del colpo di Stato militare che condusse prima alla Ditadura Nacional e poi al regime dell'Estado Novo di António de Oliveira Salazar. Copre dunque un periodo di 16 anni della storia del Portogallo.

La prima repubblica portoghese fu segnata da una forte instabilità politica, in un periodo di sedici anni (1910-1926) il Portogallo ebbe 8 Presidenti della Repubblica, 1 Governo provvisorio, 38 Primi ministri e una Junta Costituzionale.
Margraviato di Meißen
La marca o margraviato di Misnia o di Meißen /ˈmaɪ̯ˌsən/ fu un margraviato medioevale, marca del Sacro Romano Impero, nell'area dell'attuale Sassonia.

La marca di Meißen viene talvolta denominata anche marca Turingia o marca di Turingia. Solitamente, ad ogni modo, questo termine era usato per indicare le terre ad est dell'Elba e della Saale, regione abitata da popoli slavi.

Marca (circoscrizione)
La marca era un'ampia circoscrizione pubblica di età carolingia e del Sacro Romano Impero, creata nelle zone di confine o in aree che necessitavano di un coordinamento politico e militare particolarmente efficace.
Coop Eridana
Coop Eridana è stata una delle 8 medie cooperative di consumatori del sistema Coop, e come tale ha aderito all'ANCC
della Lega Nazionale delle Cooperative e Mutue e al consorzio cooperativo Coop Italia.

Insieme alla più grande cooperativa italiana ed europea Coop Alleanza 3.0 e alle medie cooperative Coop Casarsa e Coop Reno (nonché ad alcune piccole Coop in Emilia-Romagna, Triveneto, Marche ed Abruzzo) ha aderito al Distretto Adriatico.

Cooperativa di consumo
Una cooperativa di consumo è una società cooperativa tra consumatori per ottenere prodotti di consumo a prezzi migliori di quelli di mercato. Le persone (consumatori) che si uniscono per formare una cooperativa di consumatori vengono chiamati soci perché sono a tutti gli effetti i veri proprietari della cooperativa. Per iscriversi all'Albo nazionale degli enti cooperativi e godere delle agevolazioni esistenti devono avere almeno 50 soci.
Under the Mat
Under the Mat: Inside Wrestling's Greatest Family è un libro del 2001 co-scritto da Diana Hart (figlia di Stu e Helen Hart, ex-moglie di Davey Boy Smith e madre di Harry Smith) insieme alla giornalista Kirstie McLellan. Il sottotitolo, Inside Wrestling's Greatest Family, si riferisce alla famiglia Hart, storica dinastia canadese del mondo del wrestling che include lottatori professionisti quali Smith Hart, Bruce Hart, Keith Hart, Dean Hart, Bret Hart, Ross Hart, Owen Hart, Teddy Hart, David Hart Smith e Natalya Neidhart, tra gli altri. Il libro si rivelò molto controverso e fu ritirato dai negozi dopo che Martha Hart, vedova di Owen Hart e cognata di Diana Hart, intentò una causa legale.

Bruce Hart
Bruce Edward Hart (Alberta, 13 gennaio 1950) è un ex wrestler canadese.

Membro della Famiglia Hart, in quanto figlio di Stu Hart, Bruce è il fratello maggiore di Bret e Owen Hart, riuscì a conquistare fra i titoli maggiori lo Stampede Wrestling International Tag Team Championship insieme a Davey Boy Smith ed entrò nella hall of fame della federazione Stampede Wrestling.
Roman Bondarenko
Roman Dmytrovyč Bondarenko (in ucraino Роман Дмитрович Бондаренко?; 14 agosto 1966) è un ex calciatore ucraino naturalizzato turkmeno, di ruolo attaccante.

Ha un cugino, Oleksandr, che è stato anch'egli calciatore e con cui giocò assieme nel 1992 nel Torpedo Zaporižžja.

Turkmenistan
Il Turkmenistan, ufficialmente Repubblica del Turkmenistan (in turkmeno: Türkmenistan Respublikasy), è una repubblica presidenziale situata nell'Asia centrale. Ha una popolazione di 5,6 milioni di abitanti, la capitale è Aşgabat, che è anche città più popolosa. Confina con l'Iran e l'Afghanistan a sud e con l'Uzbekistan e il Kazakistan a nord e si affaccia sul Mar Caspio. È la seconda potenza economica dell'Asia centrale (dopo il Kazakistan) grazie ai suoi giacimenti ricchi di gas naturale e alla coltivazione del cotone.
Lucasfilm
Lucasfilm Ltd. LLC è una casa di produzione cinematografica e televisiva statunitense, attiva anche nel campo dell'animazione, degli effetti speciali e sonori, con sede principale nel Letterman Digital Arts Center a Presidio di San Francisco, California.

Fondata da George Lucas il 10 dicembre 1971 a San Rafael, California, la Lucasfilm è famosa per aver prodotto saghe come Star Wars e Indiana Jones.

Dal 2005 la maggior parte delle attività dell'azienda è stata trasferita a San Francisco.

Dal 2012 è sussidiaria dei Walt Disney Studios, a loro volta divisione commerciale della The Walt Disney Company, ed è attualmente sotto la direzione di Dave Filoni.

Sonoro cinematografico
Il sonoro cinematografico, o semplicemente sonoro (se è chiaro il contesto cinematografico), è il suono del film considerato negli aspetti tecnici. Il suono del film considerato come contenuti è invece la colonna sonora. Il primo film proiettato con sonoro fu Il cantante di jazz nel 1927.
Torre Testa del Gallico
Torre Testa del Gallico o Jaddico o ancora Capogallo, conosciuta a Brindisi come torre di "Giancola" (nome del canale di raccolta acque reflue e piovane che sfocia in mare al suo fianco) è una torre costiera in rovina del Salento della terra d'Otranto, a 7 km lungo la litoranea nord da Brindisi (Italia).

Torre costiera
Le torri costiere sono strutture fortificate situate lungo i litorali. Nei secoli passati, svolgevano funzioni di avvistamento, difesa ed offesa, al fine di prevenire e contrastare possibili invasioni dal mare, molte delle quali venivano condotte dai Saraceni.
Campionati italiani assoluti di scherma del 1966
I Campionati italiani assoluti di scherma del 1966 sono stati organizzati dalla Federazione Italiana Scherma.

Nel fioretto, si sono aggiudicati i titoli dei campionati italiani Nicola Granieri, che ha bissato il titolo del 1964, e Giulia Lorenzoni, alla sua prima affermazione.

Il titolo della spada è andato a Giovanni Battista Breda, che ha bissato il titolo dell'anno precedente.

Nella sciabola Cesare Salvadori, che ha vinto il suo secondo titolo dopo quello del 1964.

Nei campionati italiani a squadre maschili il C.N. Posillipo ha vinto per la prima volta nel fioretto, mentre la Società del Giardino Milano ha conquistato il settimo titolo nella spada; nella sciabola c'è stato il sesto successo del Club Scherma Torino.

Il campionato italiano di fioretto a squadre femminile è andato per la sesta volta al Club Scherma Torino.

Campionati italiani assoluti di scherma del 1964
I Campionati italiani assoluti di scherma del 1964 sono stati organizzati dalla Federazione Italiana Scherma.

Nel fioretto, si sono aggiudicati i titoli dei campionati italiani Nicola Granieri, alla sua prima affermazione, e Antonella Ragno, campionessa italiana per la quarta volta.

Il titolo della spada è andato a Gianfranco Paolucci, mentre nella sciabola a Cesare Salvadori, entrambi alla loro prima affermazione.

Nei campionati italiani a squadre maschili il Circolo Scherma Fides ha vinto il quarto titolo nel fioretto, mentre la Società del Giardino di Milano ha vinto per la sesta volta nella spada; nella sciabola c'è stato il quarto successo del Club Scherma Torino.

Il campionato italiano di fioretto a squadre femminile è andato per la quarta volta al Club Scherma Torino.
Umberto Vattani
Umberto Vattani (Skopje, 5 dicembre 1938) è un diplomatico italiano, l'unico nella storia della Repubblica Italiana ad aver rivestito per due volte la carica di Segretario generale del Ministero degli affari esteri.

Inoltre è stato l'ultimo presidente dell'Istituto nazionale per il Commercio Estero fino alla sua trasformazione in Agenzia ICE nel 2011.

Segretario generale del Ministero degli affari esteri
Il segretario generale del Ministero degli affari esteri e della cooperazione internazionale è la carica apicale della diplomazia italiana. Essa viene conferita a un ambasciatore di grado con decreto del presidente della Repubblica, previa deliberazione del Consiglio dei ministri, su proposta del ministro degli affari esteri.
Pallavolo ai III Giochi del Mediterraneo
La pallavolo ai III Giochi del Mediterraneo si è giocata durante la III edizione dei Giochi del Mediterraneo, che si è svolta a Beirut, in Libano, nel 1959: in questa edizione si è svolto esclusivamente il torneo maschile, vinto dalla nazionale di pallavolo maschile dell'Italia.

III Giochi del Mediterraneo
I III Giochi del Mediterraneo si sono svolti a Beirut, Libano, dall'11 al 23 ottobre 1959.

All'edizione parteciparono 11 nazioni i cui 792 atleti gareggiarono in 106 eventi di 17 diverse discipline sportive.
Stazione di Fukiage (Saitama)
La stazione di Fukiage (吹上駅?, Fukiage-eki) è una stazione ferroviaria situata nella città di Kōnosu, nella prefettura di Saitama in Giappone, ed è servita dalle linee Shōnan-Shinjuku e Takasaki della JR East.

Linea Shōnan-Shinjuku
La linea Shōnan-Shinjuku (湘南新宿ライン?, Shōnan-Shinjuku Rain) è un servizio ferroviario giapponese che percorre le linee Ryōmō, Takasaki, Utsunomiya, Yamanote, Yokosuka e Tōkaidō nell'area della Grande Tokyo e unisce la stazione di Ōfuna con quelle di Takasaki, Ōmiya e Utsunomiya passando per la stazione di Shinjuku al centro di Tokyo. La relazione è gestita da JR East.
Sacrifice (TNA)
Sacrifice è stato uno degli eventi in pay per view (PPV) della federazione di wrestling Total Nonstop Action (TNA) realizzato nel mese di maggio fino al 2012 e che nel 2014 fu anticipato ad aprile. Tutte le edizioni sono state realizzate nella Impact Zone di Orlando in Florida. 
Tutti gli eventi dal 2005 al 2012 furono trasmessi in PPV mentre l'evento del 2016 fu trasmesso dall'emittente Pop Tv.

Total Nonstop Action Wrestling
Total Nonstop Action Wrestling è una federazione di wrestling statunitense con sede nella città di Nashville (Tennessee), fondata il 19 giugno 2002 da Jerry e Jeff Jarrett.

Nota inizialmente come NWA: Total Nonstop Action Wrestling, grazie ad un accordo con la National Wrestling Alliance e, dal 2007, semplicemente come Total Nonstop Action Wrestling. A partire dal 2017 la federazione è di proprietà dell'imprenditore Ed Nordholm, fondatore dell'Anthem Sports & Entertainment e, a seguito di un rebranding, diviene Impact Wrestling.

Il 21 ottobre 2023, la federazione annunciò che a partire dal 2024 avrebbe ripreso la denominazione Total Nonstop Action Wrestling.
Saab 21R
Il Saab 21R fu un aereo militare a reazione, monomotore turbogetto, monoposto e monoplano ad ala bassa, sviluppato dalla divisione aeronautica dell'azienda svedese Saab nei tardi anni quaranta.

Progettato inizialmente come aereo da caccia, nel corso della sua vita operativa fu riconvertito per compiti di attacco al suolo. Il Saab 21R fu il primo caccia a reazione realizzato dalla Saab.

Aereo da attacco al suolo
Un aereo da attacco (al suolo), in inglese ground-attack aircraft (in italiano anche assaltatore), è un aereo militare progettato per attaccare obiettivi a terra. Viene spesso impiegato per il supporto aereo ravvicinato o appoggio tattico (in inglese: Close Air Support – CAS) alle proprie forze di terra.

Esistono diversi aerei da attacco leggeri, spesso questi sono basati su, o sono derivati da, o sono il risultato  di modifiche di aerei da addestramento, come ad esempio l'Alpha Jet.
Stazione di Tatekoshi
La stazione di Tatekoshi (館腰駅?, Tatekoshi-eki) è una stazione ferroviaria situata nella città di Natori, nella prefettura di Miyagi, ed è servita dalla linea principale Tōhoku (compresi i servizi della linea Jōban) della JR East.

East Japan Railway Company
East Japan Railway Company (東日本旅客鉄道株式会社?, Higashi-Nihon Ryokaku Tetsudō Kabushiki-gaisha) è una compagnia ferroviaria giapponese. È la più grande compagnia del mondo per numero di passeggeri trasportati e fa parte del Japan Railways Group. La sede centrale si trova a Yoyogi, nel quartiere di Shibuya a Tokyo.
Samsung Galaxy A9 (2016)
Il Samsung Galaxy A9, chiamato A9 (2016) per distinguerlo dall'omonimo modello uscito nel 2018, è uno smartphone (per le dimensioni a volte definito phablet) di fascia medio-alta prodotto da Samsung, facente parte della serie Samsung Galaxy A.

Samsung Galaxy A
La serie Samsung Galaxy A (Alpha) è una linea di smartphone e tablet Android, originariamente di sola fascia medio-alta, prodotta da Samsung Electronics.

La serie Galaxy A inizialmente era simile alla serie Galaxy S in termini di qualità costruttiva ma inferiore per quanto riguarda prezzi, prestazioni e determinate componenti hardware. Il primo modello della serie, il Galaxy Alpha, è stato introdotto il 13 agosto 2014. Dal 2019 la serie di dispositivi è stata interamente ristrutturata e il numero di modelli disponibili è significativamente aumentato, spaziando ora dalla fascia più bassa (entry-level) a quella alta, appena dietro i top di gamma.

Dopo l'annuncio della serie 2017, Samsung ha annunciato che avrebbe venduto fino a 20 milioni di smartphone della serie Galaxy A, e che il targeting dei consumatori erano l'Europa, l'Africa, l'Asia, il Medio Oriente e l'America Latina. Nel 2018 Samsung ha annunciato di voler inglobare la serie Galaxy J con Galaxy A.
Pepe
Il pepe è una spezia che si ricava dalle piante del genere Piper, che appartengono alla famiglia delle Piperacee. La specie più importante, il Piper nigrum, è quella da cui si ricavano diverse varietà di pepe, fra cui il pepe nero e quello bianco, e tutte dal sapore piccante e dalle presunte proprietà afrodisiache. Il termine "pepe" identifica inoltre il "pepe lungo" (Piper longum), meno apprezzato a causa del suo sapore bruciante.

Piper nigrum
Il pepe (Piper nigrum L.) è una pianta della famiglia delle Piperacee, coltivata per i suoi frutti, che vengono poi fatti essiccare per essere usati come spezie. Lo stesso frutto, attraverso procedimenti di lavorazione diversi, è utilizzato per produrre il pepe bianco, il pepe nero e il pepe verde.

La pianta è nativa dell'India del sud ed è coltivata in modo estensivo sia in India che nei paesi tropicali. Il frutto maturo si presenta come una bacca color rosso scuro, ha un diametro di circa cinque millimetri e contiene un solo seme.

Il pepe è una delle spezie più comuni nella cucina europea e i suoi derivati sono conosciuti e apprezzati sin dall'antichità sia per il loro sapore che per il loro impiego nella medicina ayurvedica. Il suo gusto piccante è dato dalla piperina.
TEE Le Mistral
Il treno TEE Le Mistral, in italiano "Il Maestrale" dal nome del vento che soffia nella valle del Rodano e sulla costa mediterranea, ebbe origine da una relazione rapida di prima e seconda classe (divenuta quasi subito di sola prima classe) istituita nel 1950 dalla Società Nazionale delle Ferrovie Francesi (SNCF) per collegare Parigi con Marsiglia e prolungata a Nizza nel 1952.

Pur essendo una relazione interna SNCF, nel 1965 il Mistral fu ammesso a far parte del Raggruppamento Trans Europ Express assieme agli analoghi treni di prestigio Rheinpfeil e Blauer Enzian che prestavano servizio esclusivamente sulla rete della Ferrovia Federale Tedesca (DB).

Perse la classificazione Trans Europ Express nel 1981 divenendo un treno di prima e seconda classe.

Trans Europ Express
I Trans Europ Express, in sigla TEE, sono stati una rete di treni rapidi internazionali europei di lusso, nata nel 1957 da un'idea lanciata il 30 ottobre 1953 in una conferenza stampa da Franciscus Querien den Hollander, allora presidente e direttore delle Ferrovie Olandesi. I TEE sono stati gradualmente eliminati nel corso degli anni 1980, fino alla soppressione dell'ultimo servizio il 1º giugno 1991.
Gradiscutta (Varmo)
Gradiscutta (Gridiscjute in friulano) è una frazione del comune italiano di Varmo in provincia di Udine.

La località si trova a nord-ovest del comune di Varmo ed è attraversata dal fiume Varmo, a 20 metri s.l.m.

Lingua friulana
Il friulano (furlan , lenghe furlane; marilenghe, "lingua madre") è una lingua romanza del gruppo retoromanzo.

Si è sviluppata a partire dal latino rustico aquileiese, mescolato a elementi celtici, a cui si sono poi aggiunti numerosi elementi slavi e germanici, in quanto i vari popoli di stirpe germanica (longobardi, goti, franchi, tedeschi) hanno dominato il Friuli per oltre 900 anni.

Già nel 1600, come dice Sergio Salvi, "(…) Era del resto opinione comune dei viaggiatori del tempo che il friulano fosse una sorta di francese oppure di spagnolo. Ma soltanto nel 1873, Ascoli dà forma compiutamente scientifica a queste opinioni diffuse."

Lo Stato italiano ha riconosciuto, nel 1999, la "minoranza linguistica storica friulana" e la sua lingua e cultura, con la legge 482/1999, articolo 2.
Huzayma bint Nasser
Huzayma bint Nasser (arabo: حزيمة بنت ناصر, "credente fervente"; La Mecca, 1884 – Baghdad, 27 marzo 1935) è stata una principessa araba e sharifa,  regina consorte di Siria e Iraq come consorte di Faysal I.

Regno Arabo di Siria
Il Regno Arabo di Siria (in arabo المملكة العربية السورية‎?, al-Mamlaka al-‘Arabiyya al-Sūriyya), fu un regno localizzato nella regione del Levante, che visse la sua breve stagione tra il 1918 e il 1920. Nacque come diretta conseguenza della sconfitta nel 1918 dell'Impero ottomano nella prima guerra mondiale a opera delle potenze alleate del Regno Unito, della Francia, dell'Italia e degli Stati Uniti, cui si era unita la piccola entità hascemita che con al-Ḥusayn ibn ʿAlī, Sceriffo della Mecca, aveva proclamato la Rivolta araba.
59º Gruppo intercettori teleguidati
Il 59º Gruppo Intercettori Teleguidati (I.T.) è stato un reparto missilistico dell'Aeronautica Militare Italiana, attivo durante la Guerra Fredda e inquadrato nella 1ª Brigata aerea intercettori teleguidati, dislocato a Vittorio Veneto e in Cansiglio. Era equipaggiato con il sistema missilistico terra-aria statunitense Nike-Hercules. È stato soppresso il 31 Luglio 1977.

MIM-14 Nike Hercules
Il MIM-14 Nike Hercules è un missile di fabbricazione statunitense per la difesa antiaerea. Prodotto a partire dagli anni cinquanta fu in dotazione a molte forze armate che aderivano alla NATO e fu successivamente sostituito dal Patriot.
Amlaíb mac Sitriuc II
Amlaíb mac Sitriuc II ("Amhlaeibh, figlio di Sitric", o Olaf Sigtryggsson) (... – 1034) è stato il figlio del Re di Dublino vichingo-gaelico Sigtrygg Barba di Seta, uno dei membri della dinastia Uí Ímair.

Tra i suoi antenati vi erano Brian Boru, Amlaíb Cuarán e Gormflaith, figure importanti dell'Irlanda medievale. Fu riscattato dai gaelico Re di Brega, ed in seguito ucciso in Inghilterra dagli Anglosassoni durante un pellegrinaggio a Roma nel 1034. Alcuni suoi discendenti divennero in seguito Re di Gwynedd in Galles.

Re di Brega
I re di Brega prendevano il loro nome da Mag Breg, cioè la pianura di Brega, che oggi si trova nella contee di Meath e Dublino, in Irlanda. Facevano parte degli Uí Néill, che apparteneva agli Síl nÁedo Sláine ramo degli Uí Néill del sud. Il regno di Brega comprendeva la collina di Tara, luogo dove venivano incoronati i re supremi d'Irlanda.

Annesso nel VI secolo dagli Uí Néill, il regno nell'VIII secolo fu diviso in due parti, una settentrionale (regno di Cnogba/Knowth) e una meridionale (regno di Lagore). Nonostante ciò, molti sovrani di Brega regnarono su entrambe le zone e quindi su tutta Brega, fino alla scomparsa del regno nei primi anni della conquista normanna dell'Irlanda.
Sahih al-Bukhari
Il Ṣaḥīḥ di al-Bukhārī (in arabo صحيح البخاري‎?) è la più importante delle sei maggiori raccolte di ḥadīth dell'islam sunnita. Queste tradizioni riguardanti il profeta Muhammad furono raccolte dallo studioso musulmano di origine persiana, Muhammad ibn Ismāʿīl al-Bukhārī (810-870), dopo essere state trasmesse oralmente per diverse generazioni. I musulmani sunniti considerano questa collezione come la più fedele raccolta di ḥadīth e l'opera musulmana più importante dopo il Corano. Il termine arabo ṣaḥīḥ viene tradotto come autentico, sano o corretto.

Ḥadīth
Il ḥadīth (in arabo حديث‎?,, plurale in arabo أحاديث‎?, aḥādīth) è una tradizione (letteralmente "racconto") di valore giuridico e religioso, spesso collegato alla vita e alle opere del profeta dell'Islam Maometto.

In genere si tratta di un singolo aneddoto di alcune righe sulla vita di Maometto, ma ha un significato molto più importante perché è parte costitutiva della cosiddetta Sunna, la seconda fonte della Legge islamica (shari'a) dopo lo stesso Corano. Esistono milioni di aḥādīth, classificati per isnād (catena di trasmissione) ed affidabilità. La collezione della totalità dei singoli aḥādīth costituisce appunto la Sunna.
I dotti musulmani hanno definito il ḥadīth/حديث "quello che Muḥammad ha detto, ha fatto o visto che qualcuno stava facendo qualcosa, quindi con il suo silenzio lo ha approvato e non ha avvertito la persona in questione".
Al-Qata'i'
Al-Qaṭāʾiʿ (in arabo القطائـع‎?) è stata una città egiziana di breve vita, edificata nell'anno 868 dal fondatore della dinastia Tulunide, Aḥmad b. Ṭūlūn.
Al-Qaṭāʾiʿ era situata immediatamente a nordest dell'antica capitale governatoriale abbaside di al-ʿAskar, fondata dalla dinastia califfale abbaside quando la sua capitale fu trasferita nel 750 a Baghdad dalla precedente sede di Damasco, voluta dagli Omayyadi.
Essa era contigua a Fusṭāṭ, fondata dal conquistatore arabo dell'Egitto bizantino ʿAmr ibn al-ʿĀṣ, nel 642. Tutti e tre gli insediamenti furono in seguito incorporati nella città fatimide di al-Qāhira (il Cairo), fondata nel 969. La città fu rasa al suolo ai primi del X secolo e di essa sopravvive solo la struttura della Moschea di Ibn Tulun.

ʿAmr ibn al-ʿĀṣ
ʿAmr ibn al-ʿĀṣ (in arabo عَمْرو بْن الْعَاص‎?, ʿAmr ibn al-ʿĀṣ; La Mecca, 573 – al-Fustat, 663 o 664) è stato un condottiero arabo musulmano, noto per essere stato il conquistatore arabo-musulmano della Palestina e dell'Egitto bizantini.
Assioma (matematica)
In matematica si chiamano postulati o assiomi tutti e soli gli enunciati che, pur non essendo stati dimostrati, sono considerati veri. Generalmente forniscono il punto di partenza per delineare un quadro teorico come può essere quello della teoria degli insiemi, della geometria, dell'aritmetica, della teoria dei gruppi o del calcolo delle probabilità.

Nella logica matematica l'idea di assioma e dimostrazione viene completamente formalizzata. Gli assiomi di una teoria proposizionale o di una teoria del primo ordine sono un ben definito insieme di formule che possono essere usate nella teoria per costruire dimostrazioni formali. In questo ambito si fa una netta distinzione tra le due nozioni di assioma logico e assioma non-logico.

Formula ben formata
Nella logica matematica si chiama formula ben formata o - brevemente - FBF di un sistema formale una stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica del sistema formale stesso.

Definizioni specifiche di formula ben formata vengono date nell'ambito della logica proposizionale e dei linguaggi del primo ordine.