hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Kluster
Kluster ou Cluster é um grupo de música experimental da Alemanha que influenciou o desenvolvimento de diversos estilos da música popular contemporânea, principalmente a música eletrônica e o ambient music.

Formado originalmente pelo trio Dieter Moebius, Hans-Joachim Roedelius e Conrad Schnitzler em 1969. O nome Kluster foi utilizado de 1969 até meados de 1971, quando Conrad Schnitzler deixou o grupo substituído por Conny Plank, os integrantes restantes rebatizaram-se de Cluster.

Neu!
Neu! (pronunciado [nɔʏ]; alemão para "Novo!"; estilizado em letras maiúsculas) foi uma banda de krautrock da Alemanha Ocidental. Foi formada em Düsseldorf, em 1971, por Klaus Dinger e Michael Rother, após sua saída do grupo Kraftwerk. Os álbuns foram produzidos por Conny Plank, considerado o "membro oculto" do grupo. Eles lançaram três álbuns em primeira fase — Neu! (1972), Neu! 2 (1973) e Neu! 75 (1975) - antes de se separarem em 1975. Eles se reuniram em meados da década de 1980, por um curto período.

Embora tenha tido um mínimo sucesso comercial durante sua existência, a banda é considerada um ato central do movimento krautrock da Alemanha Ocidental dos anos 1970. Eles foram pioneiros na batida "motorik", um ritmo 4/4 minimalista associado a artistas de krautrock. Seu trabalho exerceu ampla influência em gêneros como música eletrônica e punk.
Sistema cristalino ortorrômbico
O sistema cristalino ortorrômbico caracteriza-se por três eixos cristalográficos mutuamente perpendiculares, mas cada um com um comprimento. Possui três eixos binários de rotação ou um eixo de rotação binário e dois planos de imagem reflexa. Permite 59 grupos espaciais. Produz estruturas de grande complexidade tendo como característica comum a todos os cristais deste sistema o apresentarem, ao menos, um eixo binário de simetria.
Compreende 28,6 % das espécies minerais conhecidas, sendo exemplos topázio, crisoberilo e zoisita.

Os grupos pontuais deste sistema cristalográfico:

Sistema cristalino triclínico
O sistema cristalino triclínico agrupa todos as formas cristalinas que não podem ser acomodados em qualquer dos restantes sistemas, exibindo apenas simetria translacional ou inversão.

Possui três eixos cristalográficos, todos diferentes entre si, o mesmo acontecendo com os ângulos entre eles. Permite apenas dois grupos espaciais. Os cristais com este sistema caracterizam-se pela ausência de eixos ou planos de simetria, apresentando três eixos cristalográficos com comprimentos desiguais e oblíquos entre si. Compreende 9% das espécies minerais conhecidas, como rodonita, turquesa e microclínio, por exemplo.
João Emanuel Carneiro
João Emanuel Carneiro Silva (Rio de Janeiro, 17 de fevereiro de 1970) é um roteirista, escritor, diretor de cinema e autor de telenovelas brasileiro. É meio-irmão da atriz Cláudia Ohana e filho da escritora, antropóloga e crítica de arte Lélia Coelho Frota.

Duca Rachid
Duca Rachid, nome artístico de Maria do Carmo Rodrigues Rachid (Mogi das Cruzes, 23 de novembro de 1960), é uma escritora, jornalista e autora de telenovelas brasileira. Formou-se em jornalismo pela Pontifícia Universidade Católica de São Paulo (PUC-SP) e possui dois prêmios Emmy Internacional de Melhor Telenovela: o primeiro conquistado pela autoria da telenovela Joia Rara; e o segundo, pela autoria da telenovela Órfãos da Terra.
Augusto dos Anjos
Augusto de Carvalho Rodrigues dos Anjos (Sapé, 20 de abril de 1884 – Leopoldina, 12 de novembro de 1914) foi um poeta e professor brasileiro reconhecido como um dos principais expoentes do simbolismo e do pré-modernismo brasileiro. Sua obra é marcada pela versificação considerada imprópria para a época, pela crítica à hipocrisia social e à ética cristã e pelo pessimismo cientificista e existencial baseado em Schopenhauer, Herbert Spencer e Hippolyte Taine. Em vida, publicou apenas o livro Eu em 1912, mas não alcançou reconhecimento, morrendo dois anos mais tarde por pneumonia. Na década seguinte, com a reedição de sua obra pelo seu amigo Órris Soares sob o título de Eu e outras poesias, consagrou-se como um poeta inventivo e singular e influenciou o modernismo brasileiro.

É patrono da cadeira número 1 da Academia Paraibana de Letras e da Academia Leopoldinense de Letras e Artes.

Alphonsus de Guimaraens
Afonso Henrique da Costa Guimarães (Ouro Preto, 24 de julho de 1870 – Mariana, 15 de julho de 1921), mais conhecido como Alphonsus de Guimaraens, foi um poeta brasileiro, considerado um dos principais representantes do simbolismo no Brasil. Seus poemas versavam de maneira obsessiva a morte da mulher amada e apresentavam um ritmo melódico e um misticismo católico, temas centrais em livros como Câmara Ardente, com influências barrocas, românticas e decadentistas.

Sua obra, predominantemente poética, consagrou-o como um dos principais autores simbolistas do Brasil. Traduziu também poetas como Stéphane Mallarmé, em referência à cidade em que passou parte de sua vida, é também chamado de "o solitário de Mariana", a sua "torre de marfim do Simbolismo".
Alessandro Nannini
Alessandro Nannini (Siena, 7 de julho de 1959) é um ex-automobilista italiano. Disputou o Campeonato Mundial de Fórmula 1 entre os anos de 1986 e 1990, participando de 78 Grandes Prêmios, obtendo uma vitória, 2 voltas mais rápidas e 65 pontos, representando as equipes Minardi e Benetton. Ele, que também disputou 3 edições das 24 Horas de Le Mans, é também o irmão mais novo da cantora de rock Gianna Nannini.

Johnny Herbert
John Paul "Johnny" Herbert (Brentwood, Essex, 25 de junho de 1964) é um ex-automobilista britânico, nascido na Inglaterra. Foi o vencedor das 24 Horas de Le Mans em 1991, dirigindo um Mazda 787B; e também das 12 Horas de Sebring em 2002, com um Audi R8. Ele competiu na Fórmula 1 entre as temporadas de 1989 até 2000, onde conquistou três vitórias, sendo duas em 1995 pela Benetton e uma pela Stewart em 1999.
Água Viva (telenovela)
Água Viva é uma telenovela brasileira produzida e exibida pela TV Globo de 4 de fevereiro a 8 de agosto de 1980, em 160 capítulos. Substituiu Os Gigantes e foi substituída por Coração Alado, sendo a 24ª "novela das oito" exibida pela emissora.

Escrita por Gilberto Braga e Manoel Carlos, com co-autoria de Leonor Bassères foi dirigida por Roberto Talma e Paulo Ubiratan.

Contou com as participações de Betty Faria, Reginaldo Faria, Raul Cortez, Tônia Carrero, Lucélia Santos, Fábio Júnior, José Lewgoy, Beatriz Segall, Glória Pires, Kadu Moliterno e Cláudio Cavalcanti.

Louco Amor (telenovela brasileira)
Louco Amor é uma telenovela brasileira produzida e exibida pela TV Globo de 11 de abril a 21 de outubro de 1983, em 167 capítulos. Substituiu Sol de Verão e foi substituída por Champagne, sendo a 30ª "novela das oito" exibida pela emissora.

Escrita por Gilberto Braga com a colaboração de Leonor Bassères, teve direção de Wolf Maya, Ary Coslov e José Wilker, com direção geral de Paulo Ubiratan.

Contou com Bruna Lombardi, Fábio Júnior, Tereza Rachel, Antônio Fagundes, Christiane Torloni, Carlos Alberto Riccelli, Reginaldo Faria e Glória Pires nos papéis principais.
Málaga
Málaga é uma cidade da Andaluzia, na Espanha. Capital da província homônima, localiza-se na costa sul do país, no Mediterrâneo. A cidade originou-se de uma colônia grega na antiguidade clássica. É a sexta maior cidade do país, com mais de 560 mil habitantes. Foi fundada pelos fenícios no século XII a.C. Foi incorporada à Coroa de Castela em 1487.

Málaga possui uma estreita relação com o santuário de Torreciudad pois a Padroeira de Málaga, Nossa Senhora da Victoria, tem um lugar especial no santuário, com uma réplica levada em 1996. Desde então milhares de malagueños têm peregrinado até ali, recorrendo à denominada Rota Mariana.

Santander (Espanha)
Santander é uma cidade localizada no norte da Espanha, capital do município homónimo, da comarca homónima e da comunidade autónoma da Cantábria. O município tem 36,1 km² e em 2021 tinha 172 221 habitantes (densidade: 4 770,7 hab./km²). É a cidade mais populosa da Cantábria e a sede da área metropolitana de Santander-Torrelavega [es], uma conurbação com mais de 300 000 habitantes que se estende ao longo da costa da baía de Santander.

O município é limitado a norte pelo mar Cantábrico, a leste com a baía de Santander, que também o rodeia a sul juntamente com o município de Camargo, e a oeste pelo município de Santa Cruz de Bezana. O ponto mais alto do município, o monte Peñacastillo, tem 139 metros de altitude. As áreas mais baixas estão ao nível do mar.
BandNews FM
BandNews FM é uma rede de rádio jornalística brasileira pertencente ao Grupo Bandeirantes de Comunicação. Foi inaugurada em 20 de maio de 2005, como projeto de rádio de programação jornalística 24 horas por dia, o chamado all news, sendo este projeto considerado o primeiro operando exclusivamente em frequência modulada no Brasil. A rede transmite boletins de notícias com duração de 20 minutos durante toda a programação, intercalados por análises de colunistas.

Jovem Pan
Jovem Pan (também conhecida como Jovem Pan SAT) foi uma rede de rádio comercial brasileira com programação voltada ao jornalismo, entretenimento e transmissões esportivas, controlada pelo Grupo Jovem Pan. Operou de 1994 a 2015, quando teve sua programação substituída pela Jovem Pan News.
Alfabeto cirílico
O alfabeto cirílico, também conhecido como azbuka, é um alfabeto cujas variantes são utilizadas para a grafia de seis línguas nacionais eslavas (bielorrusso, búlgaro, macedônio, russo, sérvio e  ucraniano), além do ruteno e outras línguas extintas. Para além disso, é usado por várias línguas não eslavas faladas na antiga União Soviética, como o mongol, o cazaque, o usbeque, o quirguiz e o tajique, entre outras da Europa Oriental, do Cáucaso e da Sibéria.

Desde 2019, cerca de 250 milhões de pessoas na Eurásia usam o cirílico como a escrita oficial de suas línguas nacionais, com a Rússia representando cerca de metade delas. Com a entrada da Bulgária na União Europeia (UE), em 1 de janeiro de 2007, o cirílico tornou-se, ao lado do latino e do grego, o terceiro alfabeto oficial da UE.

Língua abcázia
O abcázio, abecásio, abecázio, abecaze, abcaze ou abcaziano (em alfabeto abcázio: аҧсуа бызшәа) é um idioma falado principalmente na Abcázia, república autônoma separatista da Geórgia, fronteiriça com a Rússia, e classificado no grupo das línguas caucasianas do noroeste.

A maior parte dos falantes do abcázio vive no território da Abcázia, na costa ocidental do Mar Negro, onde (desde 1995) a constituição da Geórgia garantiu a sua condição de segunda língua oficial do país. Fora de sua área de origem, o abcázio é falado por milhares de pessoas da "diáspora abcázia" (século XIX), principalmente na Turquia, Geórgia (região de Adjara), Rússia, Síria e Jordânia, além de comunidades de refugiados abcázios na Europa e Estados Unidos.
Domingão do Faustão
Domingão do Faustão foi um programa brasileiro de auditório, produzido e exibido pela TV Globo de 26 de março de 1989 a 13 de junho de 2021. Foi apresentado por Fausto Silva, exceto no último programa, que teve apresentação de Tiago Leifert.

Teve inicialmente direção de criação e artística de Augusto César Vanucci e direção geral de Detto Costa; já passaram pela direção de produção Marcelo Paranhos, Carlos Henrique de Cerqueira Leite, Aluísio Augusto e Jayme Praça. Até o último programa, contou com a direção geral de Beto Silva, direção artística de Jayme Praça e gerência de produção de Roberto Ribeiro Costa.

Viva a Noite
Viva a Noite é um programa de auditório das décadas de 1980 e 1990 e menor parte dos anos 2000, apresentado por Augusto Liberato, o Gugu, transmitido pelo SBT durante a maior parte dos anos 80 e início dos anos 90, além de ser comandado pela cantora baiana Gilmelândia, em sua única temporada feita em 2007, e por Luís Ricardo em 2025 numa temporada especial.

O programa ficou marcado pelo grito do apresentador ao abri-lo e encerrá-lo: "Viva a Noite! Viva! Viva! Viva!" e pela "Dança do Passarinho".
Mulheres de Areia
Mulheres de Areia é uma telenovela brasileira que foi produzida pela extinta Rede Tupi e exibida entre 26 de março de 1973 a 5 de fevereiro de 1974, às 20 horas, tendo 253 capítulos, substituindo A Revolta dos Anjos e sendo substituída por Os Inocentes.

Foi escrita por Ivani Ribeiro, baseada em sua radionovela As Noivas Morrem no Mar de 1965, essa por sua vez foi inspirada no filme Uma Vida Roubada, dirigida por Edson Braga e com supervisão de Carlos Zara.

Dos 253 capítulos originalmente exibidos, apenas 7 foram preservados, estando sob a guarda da Cinemateca Brasileira.

Contou com Eva Wilma, Carlos Zara, Gianfrancesco Guarnieri, Antônio Fagundes, Maria Isabel de Lizandra, Cleyde Yáconis, Lucy Meirelles e Cláudio Corrêa e Castro nos papéis principais.

O Profeta (1977)
O Profeta é uma telenovela brasileira que foi  produzida e exibida pela Rede Tupi em 24 de outubro de 1977 até 29 de abril de 1978 em 161 capítulos, na faixa das 20 horas. Teve autoria de Ivani Ribeiro, teve direção de Antonino Seabra.

Contou com as atuações de Carlos Augusto Strazzer, Elaine Cristina, Glauce Graieb, Débora Duarte, Rolando Boldrin, Ana Rosa, Cláudio Corrêa e Castro e Márcia de Windsor nos papeis principais.

É uma das poucas telenovelas integralmente preservadas da TV Tupi. Todos os capítulos e materiais extras estão preservados pela Cinemateca Brasileira.
Abas I
Abas I, o Grande (em persa: عباس اول; Herate, 27 de janeiro de 1571 - Tabaristão, 19 de janeiro de 1629) foi xá do Império Sefévida, sucessor de Maomé Codabanda (r. 1578–1587), seu pai, e antecessor de Safi (r. 1629–1642). É geralmente considerado um dos maiores governantes da história iraniana e da dinastia safávida.

Ismail I da Pérsia
Abu Almuzafar Ismail ibne Haidar Safavi (Azerbaijao: Şah İsmayıl Xətai) (em persa: ابو المظفر اسماعین بن حیدر الصافی; romaniz.: Abū l-Muzaffar Isma'in bin Haydar as-Safavi), melhor conhecido como Ismail I ou Xá Ismail ou Xeique Ismail (em persa: شاه اسماعیل; romaniz.: Shāh Ismāʿil; Ardabil, 23 de maio de 1524 - Tabriz, 14 de maio de 1576) foi xá da Pérsia entre 1501 e 1524 e fundador do Império Safávida.
2010
2010 (MMX, na numeração romana) foi um ano comum do século XXI que começou numa sexta-feira, segundo o calendário gregoriano. A sua letra dominical foi C. A terça-feira de Carnaval ocorreu a 16 de fevereiro e o domingo de Páscoa a 4 de abril. Segundo o horóscopo chinês, foi o ano do Tigre, começando a 14 de fevereiro.

O ano de 2010 foi designado como o Ano Internacional da Biodiversidade, pela ONU e o Ano Nacional Joaquim Nabuco, no Brasil.

David Cameron
David William Donald Cameron, Barão Cameron de Chipping Norton (Londres, 9 de outubro de 1966) é um político britânico que serviu como primeiro-ministro do Reino Unido entre 11 de maio de 2010 e 13 de julho de 2016. Também foi líder do Partido Conservador de 2005 a 2016. É visto como um one-nation Tory, da ala moderada do seu partido, defendendo o livre mercado, a redução do tamanho do governo em favor da iniciativa privada e algumas políticas sociais. De 2023 a 2024, ocupou o cargo de Secretário de Estado das Relações Exteriores, Commonwealth e Desenvolvimento, do governo de Rishi Sunak.
Distrito
Distrito é um tipo de divisão administrativa, em alguns países, administrados por um governo local. Eles variam muito em tamanho, abrangendo regiões inteiras, ou condados, vários municípios, ou subdivisões de municípios.

O termo distrito designa uma divisão de um determinado território, que pode ser de natureza política, administrativa, militar, econômica, judicial, fiscal, policial ou sanitária.

Região autônoma
Chama-se região autônoma (português brasileiro) ou autónoma (português europeu) a área de um país que possui algum grau de autonomia ou liberdade de qualquer autoridade externa. Tipicamente, costuma ser geograficamente distinto do país a que pertence, ou é povoado por uma minoria nacional. Países que incluem diversas regiões autônomas costumam ser federações. As regiões autônomas podem ainda ser dividas em autonomias territoriais, autonomias pessoais (autonomia cultural) e autonomias locais.

Podem também se tratar de regiões do país que necessitam destaque em relação ao restante do território, como metrópoles ou regiões remotas.
1924
1924 (MCMXXIV, na numeração romana) foi um ano bissexto do século XX do atual calendário gregoriano, da Era de Cristo, e as suas letras dominicais foram F e E (52 semanas), teve início a uma terça-feira e terminou a uma quarta-feira.

Tenentismo
Tenentismo foi um movimento político-militar, baseado em uma série de rebeliões de jovens oficiais de baixa e média patente do Exército Brasileiro (tenentes), de camadas médias urbanas, que estavam insatisfeitos com o governo da República Oligárquica no início da década de 1920 no Brasil. O movimento defendia reformas na estrutura de poder do país, entre as quais se destacam o fim do voto aberto (fim do voto de cabresto), modalidade de voto que favorecia o coronelismo presente na República Oligárquica, além de defenderem a instituição do voto secreto e a reforma na educação pública.

Os movimentos tenentistas foram: a Revolta dos 18 do Forte de Copacabana em 1922, a Revolta Paulista de 1924, a Comuna de Manaus[carece de fontes?] de 1924 e a Coluna Prestes entre os anos de 1925 e 1927.
Jetix
Jetix foi um canal de televisão por assinatura com programação infantil operado pela Walt Disney Company. O canal encerrou suas atividades no dia 3 de julho de 2009, dando lugar ao Disney XD. Era a versão internacional do canal Toon Disney, disponível na época em poucos países.

Cartoon Network
Cartoon Network é um canal norte-americano de televisão por assinatura de rede de propriedade da Warner Bros. Discovery Networks, de propriedade da Warner Bros. Discovery, que vai ao ar principalmente com  programação animada. O canal foi lançado em 1 de outubro de 1992, depois que Turner comprou o estúdio de animação com desenhos de Hanna-Barbera em 1991. Foi criado para transmitir por 24 horas para as propriedades de animação clássicos das bibliotecas Turner Broadcasting. O canal também transmite uma variedade de programas, que vão de animações com ação à comédia. As séries originais começaram em 1992 com Space Ghost Costa a Costa, juntamente com desenhos animados como Cow and Chicken, Dexter's Laboratory, The Powerpuff Girls, Johnny Bravo, Ed, Edd n Eddy, Coragem, o Cão Covarde, Tom e Jerry, Looney Tunes, Pet Alien e Pecola. Eles faziam parte de Desenhos Incríveis - O Show.
1988
1988 (MCMLXXXVIII, na numeração romana) foi um ano bissexto do século XX que começou numa sexta-feira, segundo o calendário gregoriano. As suas letras dominicais foram CB. A terça-feira de Carnaval ocorreu a 16 de fevereiro e o domingo de Páscoa a 3 de abril. Segundo o horóscopo chinês, foi o ano do Dragão, começando a 17 de fevereiro.

Ramón Valdés
Ramón Esteban Gómez Valdés y Castillo (Cidade do México, 2 de setembro de 1924 – Cidade do México, 9 de agosto de 1988)  foi um ator, humorista e comediante mexicano que celebrizou-se ao interpretar o personagem Don Ramón (Seu Madruga, no Brasil) na série de televisão El Chavo del Ocho (Chaves), além de ter atuado nos mais diversos papéis em outras produções do escritor Roberto Gómez Bolaños, tais como El Chapulín Colorado e Chespirito.

Sua carreira teve início na Era de Ouro do Cinema Mexicano, junto com seus irmãos Manuel "El Loco" Valdés e Germán Valdés Tin Tán.
Hóstia
Na terminologia católica, a hóstia é o pão destinado ao sacrifício eucarístico. Após a consagração realizada pelo sacerdote (que pode ser padre ou bispo) durante a Missa, a hóstia deixa de ser simples pão eucarístico e torna-se verdadeira, real e substancialmente o Corpo de Jesus Cristo, permanecendo apenas as aparências ou “espécies” de pão.

O termo tem origem no latim hostia, que significa “vítima” ou “oferta sacrificial”, expressão que evoca a entrega de Cristo como vítima inocente na cruz, renovada sacramentalmente na Eucaristia. Antes de ser consagrada, a hóstia é chamada de partícula ou pão ázimo (sem fermento), em conformidade com a tradição latina da Igreja, que remonta à Ceia Pascal judaica celebrada por Cristo com os Apóstolos.

Maria de Araújo
Maria Magdalena do Espírito Santo de Araújo, mais conhecida como Beata Maria de Araújo (Juazeiro do Norte, 24 de maio de 1862 — Juazeiro do Norte, 17 de janeiro de 1914), foi uma beata brasileira, considerada santa pela devoção popular.
Vila Olímpia
Vila Olímpia é um bairro nobre localizado na Zona Oeste do município de São Paulo,  localizado no distrito do Itaim Bibi. É um dos grandes centros financeiros da cidade, assim como o Centro, a Avenida Paulista, Avenida Brigadeiro Faria Lima e o Brooklin Novo. Popularmente, e em algumas reportagens, a região é erroneamente considerada como pertencente à Zona Sul, porém é administrada pela Subprefeitura de Pinheiros, sendo oficialmente integrada à Zona Oeste.

A Vila Olímpia é delimitada pelas avenidas Santo Amaro, dos Bandeirantes, Juscelino Kubitschek e pela Marginal Pinheiros, sendo cortada ao meio pelas avenidas Faria Lima e Hélio Pellegrino. Tem como limítrofes os bairros Itaim Bibi, Brooklin Novo, Moema, Vila Nova Conceição  e Cidade Jardim. Vila Olímpia é um dos mais movimentados e valiosos metros quadrados da América Latina.

Brooklin (São Paulo)
O Brooklin é um bairro nobre da cidade de São Paulo. Originalmente chamado de Brooklin Paulista, cresceu, sendo separado hoje em:

Brooklin Velho (bairro-jardim localizado no distrito de Campo Belo)

Brooklin Novo (região formada pelos bairros de Cidade Monções, Vila Cordeiro, Jardim das Acácias e Vila Gertrudes, pertencentes ao distrito do Itaim Bibi)

Atualmente é conhecido por ser um das regiões mais valorizadas da cidade, com grandes conjuntos empresariais e uma agitada vida noturna, que recebe uma miríade de lançamentos imobiliários da cidade (comerciais e residenciais de alto-padrão) e está em franca valorização.
Teorema
Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas. Prova é o processo de mostrar que um teorema está correto. O termo teorema foi introduzido por Euclides, em Elementos, para significar "afirmação que pode ser provada". Em grego, originalmente significava "espetáculo" ou "festa". Atualmente, é mais comum deixar o termo "teorema" apenas para certas afirmações que podem ser provadas e de grande importância "matemática", o que torna a definição um tanto subjetiva.

É importante notar que "teorema" é diferente de "teoria".

Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático. Tecnicamente,  Os Elementos de Euclides, com um modelo consistindo de 23 definições e 10 postulados/axiomas publicados em 13 livros de teoremas com provas, é frequentemente considerado o primeiro sistema formal e mostra as características de um sistema formal. A implicação de um sistema por sua base lógica é o que distingue o sistema formal de outros que podem ter alguma base em um modelo abstrato. Muitas vezes, o sistema formal será a base, ou será identificado por si só, como uma teoria maior ou um campo consistente com o uso da matemática moderna, como a teoria dos modelos.