hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
NGC 6143
NGC 6143 é uma galáxia espiral barrada (SBbc) localizada na direcção da constelação de Draco. Possui uma declinação de +55° 05' 11" e uma ascensão recta de 16 horas, 21 minutos e 42,3 segundos.

A galáxia NGC 6143 foi descoberta em 24 de Abril de 1789 por William Herschel.

Draco
Draco (Dra), o Dragão, é uma constelação do hemisfério celestial norte próxima do polo celeste norte. O genitivo, usado para formar nomes de estrelas, é Draconis.

As constelações vizinhas, segundo as delineações contemporâneas, são a Ursa Menor, a Girafa, a Ursa Maior, o Boieiro, Hércules, a Lira, o Cisne e Cefeu.
25 de fevereiro nos Jogos Olímpicos de Inverno de 2010
O dia 25 de fevereiro foi o décimo quarto dia de competições dos Jogos Olímpicos de Inverno de 2010. Neste dia foram disputadas competições de sete esportes e realizadas seis finais. Foi o último dia de competições do combinado nórdico, do esqui estilo livre e da patinação artística, que ainda terá a apresentação de gala em 27 de fevereiro.

27 de fevereiro nos Jogos Olímpicos de Inverno de 2010
O dia 27 de fevereiro foi o décimo sexto dia de competições dos Jogos Olímpicos de Inverno de 2010. Neste dia foram disputadas competições de sete esportes, sete finais e foi realizada a apresentação de gala da patinação artística. Foi o último dia de competições do bobsleigh, do curling, do esqui alpino, da patinação de velocidade e do snowboard.
Jenna Fischer
Regina Marie "Jenna" Fischer (7 de março de 1974) é uma atriz norte-americana mais conhecida por sua interpretação de Pam Beesly na sitcom The Office, da NBC, pela qual foi indicada ao Emmy do Primetime de melhor atriz secundária numa série de comédia em 2007. Ela também foi produtora da temporada final do programa.

Desde então, Fischer apareceu em filmes como Blades of Glory (2007), Walk Hard: The Dewey Cox Story (2007), The Promotion (2008), Hall Pass (2011), The Giant Mechanical Man (2012), um filme dirigido por seu marido, Lee Kirk. Ela também apareceu como Rhonda McNeil na série de Comédia dramática da NBC You, Me and the Apocalypse. Fischer também estrelou a sitcom da ABC, Splitting Up Together (2018–2019).

O primeiro livro de Fischer, The Actor's Life: A Survival Guide, com uma introdução de Steve Carell, foi publicado em novembro de 2017.

Angela Kinsey
Angela Kinsey (25 de junho de 1971) é uma atriz americana, mais conhecida por interpretar a contadora Angela Martin na série da NBC The Office.

Atualmente Kinsey  protagonizou a série de TV Haters Back Off como "Bethany" mãe da personagem Miranda Sings. A série, original da Netflix  estreou em 14 de outubro de 2016 com o total de 8 episódios.
Fergalicious
"Fergalicious" é o segundo single da cantora Fergie com o álbum The Dutchess (2006). Ela tem participação do líder do Black Eyed Peas, will.i.am, que também produziu a faixa. "Fergalicious" não foi oficialmente lançada no Reino Unido, onde "Glamorous" foi oficialmente lançado como sendo o segundo single em seu lugar. Apesar disso, "Fergalicious" conseguiu alcançar a posição #26 na parada de downloads do Reino Unido e será lançada como o quarto single lá, quase um ano após o lançamento oficial do single, como um A-side duplo com "Clumsy".

Em 4 de Dezembro de 2006, Fergie e will.i.am cantaram a canção ao vivo no Billboard Music Awards de 2006 e no Big In '06 Awards. "Fergalicious" aparece no Guiness Book 2008 como o Single Mais Baixado Em Uma Semana, com milhares de downloads.

Glamorous
"Glamorous" é o terceiro single da cantora Fergie em seu primeiro álbum solo, The Dutchess (2006). O single foi lançado no dia 28 de Janeiro de 2007. Nesta canção Fergie faz uma parceria com o rapper Ludacris. Foi lançada como sendo o segundo single do álbum no Reino Unido, após "London Bridge", enquanto no Brasil foi lançada como quarto single, após "Big Girls Don't Cry". A canção permaneceu por duas semanas no topo da Billboard Hot 100 e alcançou a marca de três milhões de cópias vendidas no segundo semestre de 2012.
Função iterada
Em matemática, função iterada é uma função que é composta consigo mesma, em forma repetida, em um processo chamado iteração.
As funções iteradas são objeto de profundos estudos no campo dos fractais e sistemas dinâmicos.

Sistema dinâmico
Na  física matemática e na matemática,  sistema dinâmico é um conceito no qual uma função descreve a relação no tempo de um ponto em um espaço geométrico. Os exemplos incluem modelos matemáticos que descrevem o balanço do pêndulo do relógio, o fluxo de água em um duto, a relação entrada-saída de tensão em um circuito elétrico, a velocidade angular de saída de um motor, etc.

O conceito de sistema dinâmico nasce da exigência de construir um modelo geral para os sistemas físicos que evoluem no tempo, segundo uma regra que liga o estado presente aos estados passados.
Pi Arae
Pi Arae (π Ara, π Arae) é uma estrela na constelação de Ara. Com uma magnitude aparente de 5,25, é visível a olho nu em boas condições de visualização. Medições de paralaxe mostram que está a uma distância de aproximadamente 145 anos-luz (44,6 parsecs) da Terra, com uma margem de erro de 2 anos-luz. Seu espectro corresponde a uma classificação estelar de A5 IV-V, o que significa que é uma estrela de classe A que apresenta características de uma estrela da sequência principal e subgigante. Tem uma idade estimada de 170 milhões de anos. Apresenta um excesso de emissão de radiação infravermelha, o que pode ser explicado por um disco de poeira circunstelar.

Ara
Ara (Ara), a Ara ou Altar, é uma constelação do hemisfério celestial sul. O genitivo, usado para formar nomes de estrelas, é Arae.

As constelações vizinhas, segundo a padronização atual, são a Coroa do Sul, o Escorpião, o Esquadro, o Triângulo Austral, a Ave-do-Paraíso, o Pavão e o Telescópio.
São Pedro de Moel
São Pedro de Moel é uma povoação com uma afamada praia adjacente que pertence à Freguesia e ao Município da Marinha Grande, na região do Centro, em Portugal. Segundo os Censos de 2011, residem neste lugar 389 pessoas. Fica totalmente inserido no Pinhal de Leiria, um pouco a sul da foz da Ribeira de Moel.

A praia aqui existente é muito procurada por famílias para descansar e gozar férias durante o período de Verão. A água do mar é fria e normalmente agitada, mas costuma permitir o banho. É regularmente utilizada para a prática de surf e bodyboard. Para quem gosta de desporto ao ar livre, existe um campo de ténis, e várias ciclovias. Na praia há um campo de jogos, normalmente com duas redes de vólei.

Existem vários hotéis, restaurantes, cafés e bares para acolher os turistas, bem como dois parques de campismo.

Marinha Grande (freguesia)
A Freguesia de Marinha Grande é uma freguesia portuguesa do Município da Marinha Grande com 138,87 km² de área e 32 322 habitantes (censo de 2021), tendo, por isso, uma densidade populacional de 232,8 hab./km².
Chrysichthys
Chrysichthys é um género de peixe da família Claroteidae.

Este género contém as seguintes espécies:

Chrysichthys grandis

Chrysichthys graueri

Chrysichthys platycephalus

Chrysichthys stappersii

Chrysichthys brachynema

Chrysichthys graueri
Chrysichthys graueri é uma espécie de peixe da família Claroteidae.

Pode ser encontrada nos seguintes países: Burundi, República Democrática do Congo, Tanzânia e Zâmbia.

Os seus habitats naturais são: lagos de água doce.
Cacolo
Cacolo é uma cidade e município de Angola, na província da Lunda Sul, distando cerca de 141 quilómetros da capital da provincial.

Tem cerca de 30 mil 524 habitantes. É limitado a norte pelos municípios de Capenda Camulemba e Lubalo, a leste pelos municípios de Saurimo e Dala, a sul pelos municípios do Moxico e Cuemba, e a oeste pelos municípios de Quirima e Cambundi Catembo.

O município é constituído pela comuna-sede, correspondente à cidade de Cacolo, e pelas comunas de Alto Chicapa, Xassengue e Cucumbi.

Quirima
Quirima é uma cidade e município da província de Malanje, em Angola.

Tem 10 077 km² e cerca de 36 mil habitantes. É limitado a norte pelos municípios de Luquembo e Quitapa, a leste pelos municípios de Xassengue, Alto Chicapa e Luando, a sul pelos municípios de Luando e Cuemba, e a oeste pelo município de Capunda.

O município é constituído pela comuna-sede, correspondente à cidade de Quirima, e pela comuna de Sautar.
Lactarius fulvus
Lactarius fulvus é um fungo que pertence ao gênero de cogumelos Lactarius na ordem Russulales. Encontrado na Malásia, foi descrito cientificamente pelos micologistas Dirk Stubbe e Annemieke Verbeken em 2008. A espécie pertence ao subgênero Plinthogali.

Lactarius
Lactarius é um gênero de fungos que produzem cogumelos. O gênero é caracterizado pelo fato de que tais organismos exalam um líquido leitoso ("látex"), se cortados ou danificados. Como o gênero Russula, com os quais estão agrupados na família Russulaceae, sua carne tem uma distinta consistência frágil. Nos anos 2010, muitas espécies foram separadas do gênero e postas no Lactifluus, com base em evidência filogenética molecular.

Muitas vezes, as lamelas são decorrentes (começando a correr para baixo do caule) e o chapéu é deprimido ou mesmo em forma de funil, quando mais velhos.

Para identificar cada uma das cerca de 400 espécies de Lactarius cujo modelo consta pertence, observe se o chapéu é liso ou gorduroso; aveludado ou peludo nas bordas, principalmente em indivíduos jovens. Também a cor inicial do leite (branco, creme, laranja, violeta...) e a cor final, após a secagem, são características determinantes.
Faculdade Metodista de Santa Maria
A Faculdade Metodista de Santa Maria (FAMES) é uma instituição privada de ensino superior brasileira localizada na cidade de Santa Maria, estado do Rio Grande do Sul.

A FAMES teve início no dia 25 de abril de 1998, com a instalação oficial da Faculdade Metodista de Santa Maria, uma Instituição Privada Confessional Metodista de Ensino Superior. A instituição é mantida pelo Instituto Metodista Centenário e atualmente está localizada na rua Dr. Turi, 2003 - Centro de Santa Maria, estado do Rio Grande do Sul.

Em 2015, a publicação Guia do Estudante, da Editora Abril, avaliou os cursos de graduação oferecidos pela instituição e concedeu ao todo nove estrelas aos cursos da FAMES.

A partir de abril de 2019, a instituição passou a denominar-se Faculdade Metodista Centenário (FMC).

Devido à crise na Rede Metodista de Educação, a FAMES encerrará suas atividades no final de 2023.

Metodismo
O Metodismo é uma família denominacional protestante, originária de um avivamento espiritual cristão ocorrido na Inglaterra do século XVIII. As igrejas originárias do movimento são chamadas de metodistas. A primeira denominação metodista foi organizada em 1739. O movimento enfatizou a relação íntima do indivíduo com Deus, iniciando-se com uma conversão pessoal e seguindo uma vida de ética e moral cristã. Outra ênfase forte do movimento foi o seu engajamento em questões de assistência e ação social. O metodismo foi liderado pelos Reverendos John Wesley (1703–1791) e seu irmão Charles Wesley (1707–1788), considerado um dos maiores expoentes da música sacra protestante, ambos ministros da Igreja Anglicana.
Autonomia de Alash
A Autonomia de Alash (em cazaque: Алаш Автономиясы; romaniz.: Alaş avtonomiyasy) foi um Estado não reconhecido que existiu de 13 de dezembro de 1917 a 17 de agosto de 1920, que abrangia o atual Cazaquistão e parte da Rússia. Sua capital era a cidade de Semey, chamada então Alash-qala.

A Alash Orda, o partido fundador e governante da Autonomia, era alinhada com o Exército Branco e lutava contra os bolcheviques. Em 1919, quando o governo autónomo foi deposto pelas forças do Exército Branco, os líderes Alash procuraram aliar-se aos bolcheviques. Em 1919–1920 os bolcheviques derrotaram os brancos na região e ocuparam o Cazaquistão. Em 26 de agosto de 1920, o governo soviético estabeleceu a República Socialista Soviética Autónoma Quirguize, que em 1925 mudou o nome para República Autónoma Socialista Soviética Cazaque e em 1936 para República Socialista Soviética Cazaque.

Exército Branco
Exército Branco (em russo:  Белая Армия, transl. Bélaya Ármiya) ou Guarda Branca (em russo:  Белая Гвардия, белогвардейцы, transl. Bélaya Gvárdiya, Belogvardeitsy) foi o nome dado ao braço militar do Movimento Branco, durante a Guerra Civil Russa. Era formado por forças nacionalistas e contrarrevolucionárias russas, tinha representação de organizações anti-comunistas, conservadores e, em alguns casos, pró-czaristas,os defensores da antiga República Russa, mencheviques, socialistas revolucionários além de outras facções, que, após a Revolução de Outubro, lutaram contra o Exército Vermelho dos bolcheviques na Rússia.

As outra forças envolvidas na guerra civil foram o anarquista Exército Insurgente Makhnovista (Exército Negro), o nacionalista Exército Verde e o separatista Exército Azul polonês.
Campeonato Chileno de Futebol de 1967
O Campeonato Chileno de Futebol de 1967 (oficialmente Campeonato Nacional de Fútbol Profesional de la Primera División de Chile) foi a 34ª edição do campeonato do futebol do Chile. Os clubes jogavam todos contra todos em turno e returno. O último colocado é rebaixado para a Campeonato Chileno de Futebol - Segunda Divisão. O campeão e o vice se classificam para a Copa Libertadores da América de 1968.

Campeonato Chileno de Futebol
O Campeonato Chileno de Futebol, mais conhecido como Campeonato Nacional de Primera División, e oficialmente como Campeonato Itaú por questões de patrocínio, é uma liga de futebol profissional, sendo a mais alta divisão do sistema de ligas de futebol do Chile. É organizado pela Asociación Nacional de Fútbol Profesional (ANFP), uma associação filiada à Federación de Fútbol de Chile.
WTA de Bad Homburg
O WTA de Bad Homburg – ou Bad Homburg Open, atualmente – é um torneio de tênis profissional feminino, de nível WTA 500.

Realizado em Bad Homburg, sudoeste da Alemanha, estreou em 2021. Estava programado um ano antes, mas não aconteceu por causa da pandemia de COVID-19. Os jogos são disputados em quadras de grama durante o mês de junho.

Torneios WTA 500
WTA 500 é a categoria intermediária do circuito profissional de tênis feminino, da Associação de Tênis Feminino, implantada em 2021. Substitui o nível WTA Premier.

Seus torneios incluem uma premiação total de, salvo exceções, US$ 565.530.

As campeãs recebem 470 pontos.

Comparativamente, a vencedora de um torneio do Grand Slam ganha 2.000 pontos, 1.500 no WTA Finals, 280 no WTA 250. Este sistema difere ligeiramente do implementado pela Associação de Tenistas Profissionais. Na categoria mais próxima, a ATP 500, os campeões são contemplados com 500 pontos.
Sismo de Michoacán de 2022
Em 19 de setembro de 2022, um sismo de magnitude de momento entre 7,6 e 7,7 atingiu a região entre os estados mexicanos de Michoacán e Colima às 13:05:06, horário local [es]. Com uma profundidade de 26,9 quilómetros, o sismo alcançou uma intensidade máxima de VIII (Ruinosa) na Escala de Mercalli Modificada. O USGS relatou que o epicentro estava localizado a 35 quilómetros a sudoeste da cidade de Aquila [en], próximo ao município de Coalcomán [en]. Duas pessoas morreram e pelo menos 35 ficaram feridas em vários estados. Uma réplica de magnitude 6,8 ocorreu em 22 de setembro, causando mais três mortes.

Coincidentemente, o sismo ocorreu no 37º aniversário do Sismo da Cidade do México de 1985, que matou cerca de 10 000 pessoas, e no quinto aniversário do Sismo de Puebla de 2017, que atingiu o estado de Puebla e matou 370 pessoas. Uma simulação nacional de terremoto estava sendo realizada pouco após o meio-dia, menos de uma hora antes do evento.

México (estado)
O estado do México (Estado de México em espanhol) é um dos 32 estados do México. Localizado no centro do país, é o estado mais populoso, com 14.739.060 de habitantes, e sua capital é a cidade de Toluca. Leva o nome do país e da capital nacional, Cidade do México, e oficialmente se chama apenas México, segundo o artígo n.º 43 da Constituição Política dos Estados Unidos Mexicanos.

Se limita ao norte com os estados de Querétaro e Hidalgo, ao sul com Morelos e Guerrero; a oeste com Michoacán, a leste com Tlaxcala e Puebla, e rodeia a Cidade do México. Seu nome provém do náhuatl e significa "lugar no centro (ou no umbigo) da lua".
29 Cygni
29 Cygni (b³ Cygni) é uma estrela na direção da Cygnus. Possui uma ascensão reta de 20h 14m 31.98s e uma declinação de +36° 48′ 22.1″. Sua magnitude aparente é igual a 4.93. Considerando sua distância de 134 anos-luz em relação à Terra, sua magnitude absoluta é igual a 1.86. Pertence à classe espectral A2V.

Cygnus
Cygnus (Cyg), ou Cisne, é uma constelação do hemisfério celestial norte. O genitivo, usado para formar nomes de estrelas, é Cygni.As constelações vizinhas, segundo as delineações contemporâneas, são o Cefeu, o Dragão, a Lira, a Raposa, o Pégaso e o Lagarto.

Cygnus é facilmente reconhecida pelo seu Asterismo, conhecido como Cruzeiro do Norte, composto por suas estrelas mais brilhantes: Deneb, Sadr, Gienah, Delta Cygni e Albireo. Suas estrelas formam um desenho de Cisne sob o plano da Via Láctea.
El Chavo Kart
El Chavo Kart (Chaves Kart no Brasil) é um jogo eletrônico de corrida de kart de 2014 criado pela desenvolvedora colombiana Efecto Studios e pela desenvolvedora mexicana Slang e publicado pela Televisa Home Entertainment para Xbox 360 e PlayStation 3. Uma conversão do jogo também foi lançada para Android, mas foi posteriormente removido. O jogo apresenta quase todos os personagens de Chaves em Desenho Animado (exceto Jaiminho e Glória), com trilhas vagamente baseadas em locações da série animada. Em 2020, uma versão atualizada do jogo foi lançada para iOS e Android com um estilo de arte atualizado que lembra os brinquedos Funko POP!.

Jogo eletrônico de corrida
Jogo eletrônico de corrida é um gênero de jogos eletrônicos em que o jogador participa de competições de corrida com qualquer tipo de veículo terrestre, inclusive motocicletas e quadriciclos. Existem alternativas de jogos com veículos aquáticos, aéreos e até espaciais. Jogos de corrida utilizam a perspectiva de jogo em primeira ou terceira pessoa. Podem ser baseados tanto em competições ou lugares reais quanto em ambientes fictícios, variando entre jogabilidade de simuladores, ou jogos mais arcades.
Mario Braga de Abreu
Mario Braga de Abreu (Curitiba, 25 de abril de 1906 - Curitiba, 8 de julho de 1981) foi um médico brasileiro. Graduado na Faculdade de Medicina do Rio de Janeiro, especializou-se em cirurgia geral e dedicou sua vida às atividades profissionais e ao ensino da cirurgia. Considerado por muitos o maior médico que já existiu no Paraná.

Universidade Federal do Paraná
A Universidade Federal do Paraná (UFPR) é uma das mais antigas instituições de ensino com concepção de universidade do Brasil, fundada em 19 de dezembro de 1912, inicialmente com o nome de Universidade do Paraná.

Atualmente as instalações da universidade estão distribuídas entre os diversos campi de Curitiba e de outras cidades do Paraná. A instituição oferta cursos de graduação, sendo cursos de licenciatura, bacharelado, tecnólogo, de mestrado, de doutorado,  de especialização lato sensu, além de residências médicas, cursos técnicos e à distância.

A UFPR adota desde 2004 em seu vestibular um sistema de cotas próprio que reserva 20% das vagas de cada curso para estudantes oriundos de escolas públicas e 20% para alunos negros e pardos. Em 2013 passou a adotar, concomitantemente, o sistema de cotas instituído pelo governo federal, de maneira que a proporção total deve aumentar para 50% em quatro anos.
Concessionária Novo Litoral
A Concessionária Novo Litoral (CNL) é uma Sociedade de Propósito Específico (SPE), criada para gerir a concessão do Lote Litoral Paulista do programa paulista de concessões rodoviárias do Governo do Estado de São Paulo. A empresa tem sede em Santos.

Atualmente, estão sob gestão da companhia 212 quilômetros de malha rodoviária que percorrem 13 municípios.

A empresa é um consórcio entre as empresas CLD Construtora, Laços Detetores e Eletrônica e pela Companhia Brasileira de Infraestrutura (CBI) para a recuperação e operação do Lote Litoral Paulista do Programa de Parcerias e Investimentos (PPI) do Governo do Estado, em que a CLD detém 35% e a CBI detém 65% da companhia.

SP-98
SP-98 é uma rodovia do estado de São Paulo. Seu nome oficial é Rodovia Dom Paulo Rolim Loureiro, em homenagem ao primeiro bispo da Diocese de Mogi das Cruzes. Também conhecida como Rodovia Mogi-Bertioga, faz a ligação entre os municípios de Mogi das Cruzes, na Grande São Paulo e Bertioga, na Baixada Santista.
Distritos do Malawi
Malawi é dividido em 28  distritos dentro de três regiões:

Região Central
1– Dedza
2– Dowa
3– Kasungu
4– Lilongwe
5– Mchinji
6– Nkhotakota
7– Ntcheu
8– Ntchisi
9– Salima

Região Norte
10– Chitipa
11– Karonga
12– Likoma
13– Mzimba
14– Nkhata Bay
15– Rumphi

Região Sul
16– Balaka
17– Blantyre
18– Chikwawa
19– Chiradzulu
20– Machinga
21– Mangochi
22– Mulanje
23– Mwanza
24– Nsanje
25– Thyolo
26– Phalombe
27– Zomba
28– Neno

Mulanje
Mulanje é um distrito do Malawi localizado na Região Sul. Sua capital é a cidade de Mulanje. Nesse distrito encontra-se o maciço de mesmo nome onde está situado o ponto mais elevado do Malawi que é o Sapitwa, com 3002 metros de altitude.
La Queue-en-Brie
La Queue-en-Brie é uma comuna francesa na região administrativa da Ilha-de-França, no
departamento de Val-de-Marne. Estende-se por uma área de 9,16 km², com  11 504 habitantes, segundo os censos de 2009, com uma densidade de 1 256 hab/km².

Pontault-Combault
Pontault-Combault é uma comuna francesa localizada na região administrativa da Île-de-France, no departamento Sena e Marne. A comuna tem 38 135 habitantes segundo o censo de 2014.

Pontault-Combault é a quarta cidade mais populosa do departamento depois de Chelles, Meaux e Melun.
Mauricio Pochettino
Mauricio Roberto Pochettino Trossero (Murphy, 2 de março de 1972) é um treinador e ex-futebolista argentino que atuava como zagueiro. Atualmente comanda a Seleção dos Estados Unidos.

Como jogador, foi um grande zagueiro. Iniciou a sua carreira no Newell's Old Boys e depois foi para a Espanha, onde passaria dez anos (somando as duas passagens) no Espanyol. Pela equipe catalã, disputou 299 jogos, marcou 14 golos, conquistou dois troféus da Copa do Rei e tornou-se ídolo. Ele também jogou na França por dois clubes: Paris Saint-Germain e Bordeaux.

Ligue 1 de 2021–22
A Ligue 1 de 2021–22, também conhecida por Ligue 1 Uber Eats por motivos de patrocínio, foi a 84ª edição do Campeonato Francês de Futebol. Começou em 6 de agosto de 2021 e terminou em 21 de maio de 2022. O Lille era o atual campeão.
Forma normal
Em sistemas de reescrita de termos, dizemos que um termo está na forma normal se não é possível aplicar nenhuma regra do sistema que o reescreva em outro termo.

A partir deste conceito, podemos estudar sistemas de reescrita de termos quanto as características dos seus termos com a relação as formas normais.

Infinito
Infinito (do latim, infinitus, símbolo: ) é a qualidade daquilo que não tem fim.

É um conceito usado em vários campos, como a matemática, filosofia e a teologia. É representado pelo símbolo ∞, e na matemática é uma noção quase-numérica usada em proposições. Mas é na matemática que o conceito tem as suas raízes mais profundas, sendo a disciplina que mais contribuiu para a sua compreensão.