OpenLLM-France/wikimedia huggingface dataset:
# Prévillers

Prévillers é uma comuna francesa na região administrativa de Altos da França, no departamento de Oise. Estende-se por uma área de 5,18 km². Em 2010 a comuna tinha 238 habitantes (densidade: 45,9 hab./km²).
# Quindia

* Esta é uma página de desambiguação que lista os artigos que podem ser associados a um ou vários títulos. Se uma ligação interna o conduziu até aqui, sugerimos que a corrija para apontá-la diretamente ao artigo adequado.
Quindia ou Kindia pode referir-se a:
* Quindia (folclândia) — região histórica da Suécia
* Quindia (região) — região da Guiné
* Quindia (cidade) — cidade da Guiné
* Quindia (prefeitura) — prefeitura da Guiné
# Quindia (folclândia)

Quindia (em latim: Kindia/Quindia; em sueco: Kinda) era uma das treze terras pequenas (semelhantes às folclândias da Uplândia) que se uniram para formar a Esmolândia, na Suécia, e compunha parte da sua porção norte.

## História

Eclesiasticamente, Quindia era subordinada à Diocese de Lincopinga e juridicamente vigorava ali a Lei da Gotalândia Oriental. Ela e Ídria não aparecem nas fontes de 1310 ou 1315 das províncias da Gotalândia Oriental e Esmolândia, talvez indicando que estavam fora do sistema ou dentro do bailiado de Estegeburgo, sede da Gotalândia Oriental. Desde cerca de 1360, com o estabelecimento do condado do Castelo de Stäkeholm, Quindia, Tiúscia e Ídria tornar-se-iam suas dependências.
Em 1364, os reis Haquino VI (r. 1343–1380) e Magno IV (r. 1319–1364) prometeram Quindia, Vedbo e Ídria para Pedro Duve, Jacó e Canuto. Do fim da Idade Média ao século XVI, ambas estavam subordinadas à Esmolândia, mas depois tornar-se-iam dependências da Gotalândia Oriental em definitivo.
# Quo Vadis (1985)

Quo Vadis é um filme italiano de 1985, baseado no romance homônimo de Henryk Sienkiewicz.

## Sinopse

Produzido originalmente para a Tv (360 min) e compactado (124 min) para projeção em tela de cinema, essa produção italiana (financiada com capital multinacional: Itália, Alemanha Ocidental, Reino Unido, França, Suíça e Espanha), dirigida por Franco Rossi, trata com absoluta liberdade a obra de Sienkiewicz, fazendo de Nero o personagem central da trama. Além disso, renuncia a cenas grandiosas e empolgantes, típicas dos filmes épicos, privilegiando tomadas em interiores e adotando um ritmo lento e reflexivo.

## Elenco

* Klaus Maria Brandauer - Nero
* Frederic Forrest - Petrônio
* Cristina Raines - Popeia
* Barbara De Rossi - Eunice
* Francesco Quinn - Marco Vinício
* Marie-Theres Relin - Lígia
* Max von Sydow - Pedro
* Marko Nikolic - Tigelino
* Gabriele Ferzetti - Pisão
* Massimo Girotti - Aulo Pláucio
* Françoise Fabian - Pompônia
* Philippe Leroy - Paulo de Tarso
* Leopoldo Trieste - Chilon
* Olga Karlatos - Epicaris
* Ángela Molina - Acte
* Radomir Kovacevic - Ursus
* Robert Spafford - Sêneca
# RTEMS

RTEMS (Real-Time Executive for Multiprocessor Systems) é um sistema operacional de tempo real open source projetado para sistemas embarcados.
O acrônimo RTEMS significava, inicialmente, 'Real-Time Executive for Missile Systems', posteriormente passou a significar 'Real-Time Executive for Military Systems' até mudar para o atual significado.
O desenvolvimento do RTEMS começou no final da década de 80, com as primeiras versões do RTEMS disponíveis via ftp. O projeto RTEMS é atualmente gerenciado pela OAR Corporation em cooperação com a Steering Committee, que inclui neste comitê alguns usuários do sistema.
O RTEMS é projetado para sistemas embarcados, tempo real, e é compatível com várias arquiteturas de processador-alvo, como, por exemplo:
* ARM
* Atmel AVR
* Blackfin
* Freescale ColdFire
* Texas Instruments C3x/C4x DSPs
* H8/300
* Intel 80386, Pentium, e processadores de arquitetura x86
* Lattice Mico32
* 68k
* MIPS
* Nios II
* PowerPC
* Renesas M32C
* Renesas M32R
* Renesas SuperH
* SPARC
* ERC32
* LEON
RTEMS é projetado para atender a várias API open source, incluindo POSIX e uITRON. A API conhecida como clássica do RTEMS foi originalmente baseada nas especificações do Real-Time Executive Interface Definition (RTEID). RTEMS também é compatível com vários filesystems, incluindo NFS e FAT filesystem.
# Raulino Reitz

Raulino Reitz (Antônio Carlos, 19 de setembro de 1919 — Itapema, 19 de novembro de 1990) foi um padre católico, botânico e historiador brasileiro.
Descendente de alemães, fundou em 1942 o Herbário Barbosa Rodrigues, que contém um grande catálogo de plantas catarinenses, hoje com sede no município catarinense de Itajaí. Foi diretor do Jardim Botânico do Rio de Janeiro entre os anos de 1971 a 1975 e diretor da Fundação do Meio Ambiente (FATMA) de Santa Catarina de 1976 a 1983.
É patrono da cadeira 4 da Academia Itajaiense de Letras.

## Obras

* Paróquia de Sombrio, 1948
* Frutos da imigração: História e genealogia da família Reitz; lista de imigrantes, viagens 1963
* Flora Ilustrada Catarinense, 1965
* Humiriáceas (co-autoria com R.M. Klein), 1971
* Trigoniáceras (co-autoria com R.M. Klein), 1973
* Nictagináceas (co-autoria com A. Bresolin e R.M. Klein), 1973
* Madeiras do Brasil (co-autoria com A. Reis e R.M. Klein), 1979
* Restauração da fauna desaparecida na baixada do Maciambu, editora da FATMA, 1982
* Alto Biguaçu: Narrativa cultural tetrarracial. Florianópolis : Lunardelli e Editora da UFSC, 1988
* Santa Bárbara - Primeiro núcleo da colonização alemã em Santa Catarina. Florianópolis : Editora da UFSC, 1991.
# Raulinosa

Raulinosa é um género botânico pertencente à família Rutaceae.
# Radar Patrol vs. Spy King

Radar Patrol vs. Spy King (bra O Rei dos Espiões) é um seriado estadunidense de 1949, gênero espionagem, dirigido por Fred C. Brannon, em 12 capítulos, estrelado por Kirk Alyn e Jean Dean. Foi produzido e distribuído pela Republic Pictures, e veiculou nos cinemas estadunidenses a partir de 23 de novembro de 1949.
Foi o 53º entre os 66 seriados produzidos pela Republic Pictures.

## Sinopse

John Baroda, um neo-nazista, seu alter ego, The Spy King e sua ajudante Nitra, fazem parte de um time de sabotadores de um grande sistema de defesa de estações de radar ao longo da fronteira dos Estados Unidos. O operador do Radar Defense Bureau, Chris Calvert, tenta o resgate da cientista Joan Hughes, que foi sequestrada pelos capangas de Baroda.

## Elenco

* Kirk Alyn ... Chris Calvert
* Jean Dean ... Joan Hughes
* John Merton ... John Baroda
* George J. Lewis ... Lt Manuel Agura
* Eve Whitney ... Nitra
* Anthony Warde ... Ricco
* Stephen Gregory ... Hugo
* Tristram Coffin ... Franklin Lord

## Produção

Radar Patrol vs. Spy King foi orçado em $164,970, porém seu custo final foi $164,632. Foi filmado entre 20 de setembro e 12 de outubro de 1949, e foi a produção nº 1706.

### Dublês

* Tom Steele … Chris Calvert & Ricco Morgan (dublando Kirk Alyn & Anthony Warde)
* Dale Van Sickel … Chris Calvert, Ricco Morgan & Lt Manuel Agura (dublando Kirk Alyn, Anthony Warde and George J. Lewis)
* David Sharpe … Tenente Manuel Agura (dublando George J. Lewis)

## Lançamento
### Cinema

O lançamento oficial de Radar Patrol vs. Spy King é datado de 23 de novembro de 1949, porém essa é a data da disponibilização do 6º capítulo. Foi seguido do relançamento de Undersea Kingdom ao invés de uma novo seriado, como era costume da Republic, intercalando seriados novos com relançamentos. O próximo seriado novo seria The Invisible Monster, em 1950.

## Capítulos

* The Fatal Fog (20min)
* Perilous Trail (13min 20s)
* Rolling Fury (13min 20s)
* Flight of the Spy King (13min 20s)
* Trapped Underground (13min 20s)
* Wheels of Disaster (13min 20s)
* Electrocution (13min 20s)
* Death Rings the Phone (13min 20s)
* Tomb of Terror (13min 20s)
* Death Dive (13min 20s)
* Desperate Mission (13min 20s)
* Day of Reckoning (13min 20s)
$_{Fonte:}$
# Rangi e Papa

Na mitologia maori, o par primário Rangi e Papa (ou Ranginui e Papatuanuku) aparecem em um mito de criação que explica a origem do mundo (embora existam muitas versões diferentes). Em alguns dialetos da Ilha Sul, Rangi é chamado Raki ou Rakinui.
# Receptor canabinoide tipo 1

O receptor endocanabinoide tipo 1, muitas vezes abreviado para CB1, é um tipo de receptor canabinoide localizado no cérebro. Ele é ativado por neurotransmissores endocanabinoides incluindo a anandamida, a serotonina e a melatonina,etc... e pelo composto psicoativo"THC", encontrado nas flores da planta da cannabis.

### Estrutura e Localização

Os receptores CB1 são proteínas acopladas a G (GPCRs) que, quando ativadas, iniciam uma cascata de sinalização intracelular que afeta a neurotransmissão. Eles são codificados pelo gene CNR1 e sua ativação é mediada principalmente pelo ∆9-tetrahidrocanabinol (THC), o principal composto psicoativo encontrado na Cannabis, bem como por endocanabinoides, que são canabinoides produzidos naturalmente pelo corpo, como a anandamida e o 2-aracdonilglicerol (2-AG).
# Receptor da manose

O receptor da manose (ou CD206) é um tipo de lectina tipo C presente principalmente na superfície de macrófagos e células dendríticas imaturas, mas também se expressa na superfície de células da pele como os fibroblastos dérmicos humanos e queratinócitos. É o primeiro membro da família de receptores endocíticos que inclui Endo180 (CD280), PLA2R tipo M e DEC-205 (CD205).
Este receptor reconhece resíduos terminais de manose, N-acetilglicosamina e fucose em glicanos ligados a proteínas que se encontram na superfície dalguns micro-organismos, desempenhando um papel tanto no sistema imunitário inato como no adaptativo. Outras funções que exerce são a eliminação de glicoproteínas da circulação, entre elas hormonas glicoproteicas sulfatadas e glicoproteínas liberadas em resposta a situações patológicas. O receptor da manose é continuamente reciclado entre a membrana plasmática e os compartimentos endossómicos duma maneira dependente da clatrina.

## Estrutura
### Organização dos organismos

O receptor da manose é uma proteína transmembranar do tipo I com um extremo N-terminal extracelular e outra C-terminal intracelular. Sintetiza-se inicialmente na forma dum precursor inactivo, mas é clivado proteoliticamente dando lugar à sua forma activa no complexo de Golgi. A porção extracelular do receptor é composta por 8 domínios de reconhecimento de carboidratos (CDR) consecutivos do tipo C próximos à membrana plasmática, seguidos por um único domínio de repetição de fibronectina de tipo II e um domínio rico em cisteína N-terminal. A cauda citoplasmática não tem capacidade de transdução de sinais em isolamento, uma vez que carece dos motivos apropriados de sinalização.
# Raúl Servín

Raúl Servín (29 de abril de 1961) é um ex-futebolista mexicano que competiu na Copa do Mundo FIFA de 1986.
# Raúl Silva

Raúl Michel Melo da Silva, mais conhecido como Raúl Silva (Belém, 4 de novembro de 1989), é um futebolista brasileiro que atua como zagueiro. Atualmente, joga pelo Universitatea Craiova.

## Carreira
### Início

Foi formado nas categorias de base do Remo, e fez sua estreia no time principal no dia 24 de fevereiro de 2010, na partida São Mateus 1–2 Remo, onde atuou apenas 3 partidas.

### Athletico Paranaense e Remo

No mesmo ano foi emprestado ao Atlético Paranaense. Retornou ao Remo em 2011.

### Sport

Foi transferido para o Sport. Mas atuou apenas uma partida.

### Arapongas e Criciúma

Foi emprestado para o Arapongas e depois para o Criciúma em 2012.

### Paysandu

Em 2013, foi para o Paysandu, onde conseguiu se firmar entre os titulares, atuando em 27 partidas.

### Figueirense

No início de 2015, Raúl foi apresentado ao Figueirense. Não conseguiu se firmar entre os titulares e não teve seu contrato renovado.

### Marítimo

Em janeiro de 2015, foi confirmado como o novo reforço do Marítimo para a temporada de 2015.

### Ceará

Em janeiro de 2016, Raúl Silva foi emprestado ao Ceará por 1 ano.
Em maio de 2016, foi devolvido ao Marítimo.

### Braga

Em maio de 2017, chega ao Braga depois de ter confirmado a sua fama goleadora no Marítimo, indo para a sua quarta temporada em Portugal.

### Estoril

Em Janeiro de 2022, Raul Silva foi jogar no Estoril Praia até final da temporada, por empréstimo do SC Braga.

### Universitatea Craiova

Em 28 de junho de 2022, Raúl Silva foi anunciado pelo Universitatea Craiova, assinando por duas temporadas.

## Títulos
### Paysandu

* Campeonato Paraense: 2013

### Figueirense

* Campeonato Catarinense: 2014

### Braga

* Taça de Portugal: 2021-22
# Redondesco

Redondesco é uma comuna italiana da região da Lombardia, província de Mântua, com cerca de 1.387 habitantes. Estende-se por uma área de 19 km², tendo uma densidade populacional de 73 hab/km². Faz fronteira com Acquanegra sul Chiese, Gazoldo degli Ippoliti, Marcaria, Mariana Mantovana, Piubega.

## Demografia

* Variação demográfica do município entre 1861 e 2011
* Fonte: Istituto Nazionale di Statistica (ISTAT) - Elaboração gráfica da Wikipedia
# Real Enfermaria de Edimburgo

A Real Enfermaria de Edimburgo foi estabelecido em 1729 e é o hospital voluntário mais antigo da Escócia. Os novos edifícios de 1879 foram aclamados como o maior hospital voluntária no Reino Unido, e mais tarde do Império. É o local de ensino de medicina clínica, bem como um hospital-escola da Escola de Medicina da Universidade de Edimburgo. Segundo a Saga Healthcare Survey, a Real Enfermaria de Edimburgo é o melhor hospital na Escócia. Ele é atualmente gerido pela NHS Lothian.

## Fundação e história inicial

John Munro, presidente da Incorporação de Cirurgiões, em 1712, pôs em marcha um projeto de criação de um "Seminário de Educação Médica", em Edimburgo, dos quais um hospital geral era parte integrante. Seu filho, Alexander Monro primus, pelo então Professor de Anatomia, circulou um panfleto anônimo em 1721 sobre a necessidade e a vantagem de construir um hospital para os doentes pobres. Em 1725 o Colégio Real de Médicos de Edimburgo escreveu para os detentores de ações da Companhia de Pesca, que estava prestes a ser dissolvida, o que sugere que eles atribuem suas ações com a finalidade de tal hospital. Outros doadores incluirão muitos cidadãos ricos, a maioria dos médicos e vários cirurgiões, numerosas paróquias de Igrejas da Escócia (a pedido de sua Assembléia) e as casas de reuniões episcopais em Edimburgo. A comissão criada pelos doadores arrendaram "uma casa de pequeno aluguel" perto do Colégio da Universidade há 19 anos.
# Real Estate

Real Estate é uma banda norte-americana formada no ano de 2009 em Ridgewood, Nova Jérsei.

## História

A banda formou-se no ano de 2009 quando o vocalista e guitarrista Martin Courtney, o baixista Alex Bleeker, o guitarrista Matthew Mondanile e o baterista Etienne Pierre Duguay se juntaram para criar a banda. Mais tarde, já em 2011, juntou-se ao grupo Jonah Maurer na guitarra e teclado e Jackson Pollis substituiu Etienne Duguay na bateria.
Após o lançamento do seu primeiro álbum Real Estate em 2009, a banda iniciou uma série de tours acompanhando bandas como Girls, Kurt Vile, Woods e Deerhunter em vários festivais e salas por todo o mundo. Em 2011, já através da editora Domino Records, a banda lançou o seu segundo álbum Days.

## Estilo e influências

A sonoridade dos Real Estate é frequentemente associada a estilos indie rock, dream pop e psicadélico e a banda diz-se influenciada por nomes como Paul Mccartney, Doobie Brothers, The Feelies, The Clean e Julian Lynch.

## Discografia
### Álbuns de estúdio

* Real Estate (2009)
* Days (2011)
* Atlas (2014)
* In Mind (2017)
# Registro Nacional de Lugares Históricos em Montana

Edifícios, locais, distritos e objetos no Registro Nacional de Lugares Históricos em Montana. Desde 7 de fevereiro de 2014 existem 1 137 propriedades e distritos do Registro Nacional de Lugares Históricos listados em 55 dos 56 condados de Montana, incluindo os 26 nomeados no Marco Histórico Nacional.
O condado de Flathead é o que contem a maior quantidade de registros, enquanto outros quatro condados possuem apenas um registro cada um. Os primeiros NRHPs em Montana foram designados em 15 de outubro de 1966 e o mais recente em 24 de dezembro de 2013.

## Números de propriedades por condado

A relação a seguir lista as entradas atuais, por condado, pertencentes ao Registro Nacional de Lugares Históricos. Estas somas são baseadas em inscrições no Banco de Dados do Cadastro Nacional de Informações a partir de 24 de abril de 2008, e nas novas listas semanais postadas desde então no site do National Register of Historic Places. Há inclusões freqüentes e exclusões ocasionais à lista, fazendo com que as contagens mostradas aqui sejam aproximadas e não oficiais. Igualmente, a contagem desta tabela exclui o aumento e diminuição de fronteiras que modificam a área coberta por uma propriedade existente ou distrito e que apresentem um número de referência nacional distinto no Regisro Nacional.
| Chief Plenty Coups (Alek-Chea-Ahoosh) House, no condado de Big Horn | Condado Nº de lugares 1 Beaverhead 19 2 Big Horn 39 3 Blaine 6 4 Broadwater 7 5 Carbon 63 6 Carter 0 7 Cascade 44 8 Chouteau 22 9 Custer 18 10 Daniels 3 11 Dawson 13 12 Deer Lodge 34 13 Fallon 2 14 Fergus 41 15 Flathead 152 16 Gallatin 104 17 Garfield 1 18 Glacier 26 19 Golden Valley 5 20 Granite 11 21 Hill 9 22 Jefferson 7 23 Judith Basin 3 24 Lake 10 25 Lewis and Clark 68 26 Liberty 2 27 Lincoln 7 28 Madison 17 29 McCone 2 30 Meagher 6 31 Mineral 16 32 Missoula 85 33 Musselshell 2 34 Park 26 35 Petroleum 3 36 Phillips 5 37 Pondera 4 38 Powder River 2 39 Powell 16 40 Prairie 3 41 Ravalli 85 42 Richland 2 43 Roosevelt 4 44 Rosebud 21 45 Sanders 21 46 Sheridan 7 47 Silver Bow 17 48 Stillwater 11 49 Sweet Grass 8 50 Teton 1 51 Toole 7 52 Treasure 3 53 Valley 14 54 Wheatland 2 55 Wibaux 4 56 Yellowstone 34 (duplicados) (7) Total: 1 137 | Yucca Theatre, no condado de Treasure |
# Classe Espora

A Classe Espora (MEKO 140) é uma classe de navios de guerra do tipo corvetas a serviço da Marinha Argentina desde 1985.

## Projeto

As corvetas MEKO 140 fazem família de navios de guerra MEKO desenvolvidos pela empresa alemã Blohm + Voss. Foram projetadas em 1979 a pedido da Armada Argentina pelos estaleiros navais alemães da Blohm & Voss, como um aperfeiçoamento das corvetas portuguesas da Classe João Coutinho, algumas das quais haviam sido construídas naqueles estaleiros. Apesar de origem alemã, os navios da classe têm vindo a ser construídos na Argentina, no Estaleiro Rio Santiago na cidade de Ensenada, na província de Buenos Aires.
# NGC 5200

NGC 5200 é uma estrela dupla na direção da constelação de Virgo. O objeto foi descoberto pelo astrônomo Sydney Coolidge em 1859, usando um telescópio refrator com abertura de 15 polegadas.

## Veja também

* Astronomia extragaláctica
* Lista de galáxias
* Lista de objetos NGC
# Caspar Hedio

Caspar Hedio ou Kaspar Hedio (Ettlingen, 1494 — Estrasburgo, 17 de outubro de 1552) foi um teólogo protestante, pregador, reformador e historiador alemão. Junto com Wolfgang Capito, Matthäus Zell e Martinus Bucerus, foi um dos grandes expoentes da reforma em Estrasburgo. Também é referido por Kaspar Heyd, Kaspar Bock, Kaspar Böckel.

## Biografia

Nasceu de uma família próspera e frequentou a escola em Pforzheim. Em 1513, iniciou seus estudos em Friburgo em Brisgóvia e mais tarde estudou em Basileia (1518), onde recebeu seu diploma de teologia, em 1519, defendendo tese sobre os atributos de Deus e a predestinação, e tendo como Wolfgang Capito como professor. Naquela época, iniciou seu relacionamento com Ulrich Zwingli e se correspondeu (23 de Junho de 1520) com Martinho Lutero. Doutorou-se em Mogúncia e obteve um posto de pregador na Catedral de Estrasburgo em 1523. Suas convicções protestantes se tornaram mais sólidas quando ele casou com Margarete Trenz, filha de um patrício.
Em Estrasburgo, participou do Colóquio de Marburgo (1529). Sua influência se estendeu até a Alsácia, a Marca de Baden, e o Palatinato. Enviou muitas opiniões e conselhos ao conde Oto Henrique, Eleitor Palatino (1502-1559). Recomendou, por exemplo, a instituição de uma biblioteca que ficasse aberta também ao público. Quando Philipp Melanchthon visitou a França, Hedio foi escolhido para acompanhá-lo. Em 1541, transferiu-se para Regensburgo para se juntar a Bucerus e a outros no desenvolvimento da doutrina protestante. Como representante de Estrasburgo, participou de debates na Dieta de Worms (1545) e de Ratisbona (1541).
Hedio era muito interessado em história, por isso, traduziu muitos tratados dos Pais da Igreja, publicou uma crônica sobre a primeira igreja cristã, baseadas nas obras de Eusébio de Cesareia e Sozomeno e compilou uma história do mundo.

## Obras

* Chronicon Abbatis Urspergensis correctum et paralipomena et addita usque ad a. (1230–1537), 1539, narra a história do mundo desde o rei Nino até o ano de 1229.
* Historia ecclesiastica, escrita por Eusébio de Cesareia
* Vida dos Papas, de Bartolomeo Platina (1421-1481)
* Chronica der Altenn Christlichen Kirchen, 1530
* Von dem Zehenden zwu traeffliche Predig, Augsburgo, 1525)
* Cuspiniani Caesares, uma história dos imperadores de Roma segundo João Cuspiniano (1473-1529)
* Chronicon germanicum, em três volumes
* Ablehnung uf Cunrats Tregers Büchlin, outubro 1524
* Traktat vom Zehnten, "Tratado sobre os dízimos"
* De subventione pauperum, do reformador Juán Luis Vives (1492-1540)
# Axioma do par

O axioma do par diz que, dados dois conjuntos, existe um conjunto no qual esses dois conjuntos são elementos.
Em termos um poucos mais técnicos, sejam A e B conjuntos quaisquer (que podem ser iguais). Então existe um conjunto C tal que $A\in C\,$ e $B\in C\,$.
Nota: existem formulações alternativas do axioma, que dizem que C não tem outro elemento além de A e B, e que C é único, mas, junto com os axiomas da extensão e da separação, mostra-se que essas formulações são equivalentes.
Em linguagem matemática, o axioma se escreve assim:
    $\forall x,y\ \exists z\ (x\in z\land y\in z)\,$
Usando-se os axiomas da extensão e da separação, chega-se ao seguinte teorema:
    $\forall x,y\ \exists !z\ (x\in z\land y\in z\land \forall w\ (w\in z\rightarrow (w=x\lor w=y)))\,$
Esboço da prova: o axioma da separação é usado para construir, a partir do z que existe, o conjunto
    $\{w\in z:w=x\lor w=y\}\,$
e o axioma da extensão garante que todos conjuntos z que satisfazem $x\in z\land y\in z\land \forall w\ (w\in z\rightarrow (w=x\lor w=y))\,$ são iguais.
Como esse conjunto que tem o par de conjuntos como elementos é único, podemos dar um nome para ele, a saber:
    $\{x,y\}\,$
Como nada nos axiomas obriga x a ser diferente de y, definimos também:
    $\{x\}=\{x,x\}\,$
# Axioma peripatético

O axioma peripatético é: "Nada está no intelecto que não tenha estado primeiro nos sentidos" (latim: "Nihil est in intellectu quod non sit prius in sensu"). Pode ser encontrado no De veritate, de Tomás de Aquino, q. 2 a. 3 arg. 19.
Aquino adotou esse princípio da escola peripatética da filosofia grega, estabelecida por Aristóteles. Aquino argumentou que a existência de Deus poderia ser provada raciocinando a partir de dados dos sentidos. Ele usou uma variação da noção aristotélica de "intelecto ativo" ("intellectus agens") que ele interpretou como a capacidade de abstrair significados universais de dados empíricos particulares.
# Arandon-Passins

Arandon-Passins é uma comuna francesa na região administrativa de Auvérnia-Ródano-Alpes, no departamento de Isère. Estende-se por uma área de 26.14 km². Em 2010 a comuna tinha 1 870 habitantes (densidade: 71,5 hab./km²).
Foi criada em 1 de janeiro de 2016, a partir da fusão das antigas comunas de Passins (sede da comuna) e Arandon.
# Castelo Pitreavie

O Castelo Pitreavie (em inglês: Pitreavie Castle) é um castelo do século XVII localizado em Dunfermline, Fife, Escócia.
Encontra-se classificado na categoria "A" do "listed building" desde 12 de janeiro de 1971.