OpenLLM-France/wikimedia huggingface dataset:
# Asperges me

Asperges Me é uma antífona latina rezada ou cantada em uma missa Católica Romana em todas as épocas, exceto na época Pascal e no Domingo de Ramos.«Douay-Rheims Bible, Psalms Chapter 50». drbo.org. Consultado em 9 de março de 2021 Ela acompanha tradicionalmente o Asperges, o ritual de aspersão da congregação pelo celebrante com água benta, como parte de um ritual de entrada, simbolizando a purificação do povo. As palavras são tiradas do texto bíblico Salmo 51 (50):
| Texto | Tradução |
| Asperges me, Domine, hyssopo et mundabor, Lavabis me, et super nivem dealbabor. Miserere mei, Deus, secundum magnam misericordiam tuam. | Molhar-me-ás, Senhor, com hissopo e serei limpo Lavar-me-ás e serei mais esbranquiçado que a neve Tem misericórdia de mim, Deus, segundo Tua grande misericórdia |
É seguido pela doxologia convencional (exceto no primeiro domingo da Maré da Paixão):
| Texto | Tradução |
| Gloria Patri et Filio et Spiritui Sancto Sicut erat in principio, et nunc, et sempre, et in saecula saeculorum. Amém. | Glória ao Pai, ao Filho e ao Espírito Santo Assim como era no princípio, agora e sempre, e pelos séculos dos séculos. Amém. |
A antífona então é recitada uma segunda vez.
Da Páscoa até o Pentecostes, Asperges Me é substituído pela antífona mais longa e florida, Vidi aquam.
Mesmo que geralmente seja cantado em canto simples, Asperges Me foi musicado; dois exemplos conhecidos são os de Gilles Binchois (Bolonha, Museu Internacional e Biblioteca de Música) e Tomás Luis de Victoria .
# Referendo constitucional na Bolívia em 2016

Um referendo constitucional na Bolívia foi realizado em 21 de fevereiro de 2016. As emendas constitucionais propostas removeriam as restrições sobre o número de mandatos presidenciais.

## Antecedentes

O artigo 168 da constituição de 2009 permite que o presidente e o vice-presidente concorram à reeleição apenas uma vez. O referendo foi legalizado por uma sessão da Assembleia Legislativa Plurinacional em 26 de setembro de 2015 por 112 votos a 41. A lei 757, que convocou o referendo para fevereiro, foi aprovada por 113 votos a 43, e foi promulgada em 5 de novembro de 2015.
Por 48 horas antes do referendo, era ilegal comprar ou consumir álcool, sendo tomada esta medida para garantir que os eleitores tivessem conhecimento da sua decisão.
A vitória do "sim" teria permitido que o presidente Evo Morales e o vice-presidente Álvaro García Linera concorressem a outro mandato em 2019. Morales já havia sido eleito três vezes.

## Resultados preliminares

| Escolha | Votos | % |
| Não | 2.682.517 | 51,3 |
| Sim | 2.546.135 | 48,7 |
| Inválidos/votos em branco | 262.267 | – |
| Total votos | 5.490.919 | 100 |
| Eleitores/participação | 6.502.069 | 84,45 |
| Fonte: OEP |||
# Tora e Piccilli

Tora e Piccilli é uma comuna italiana da região da Campania, província de Caserta, com cerca de 1.068 habitantes. Estende-se por uma área de 12 km², tendo uma densidade populacional de 89 hab/km². Faz fronteira com Conca della Campania, Marzano Appio, Presenzano.

## Demografia

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

Spooks (bra: Dupla Identidade) é uma série de televisão sobre espionagem exibida pela BBC entre 2002 e 2011, criada pelo escritor David Wolstencroft.
A série continuou com um filme, Spooks: The Greater Good, que foi lançado em 8 de maio de 2015.
# Orvalhadas

Orvalhadas é o título de uma obra em poesia do escritor português Adolfo Portela, publicada em 1895.
# Rio Luján

O río Luján é um curso fluvial que percorre o norte da província de Buenos Aires (passando pela área metropolitana de Buenos Aires) do centro-este da Argentina.
# Aspergillus felis

Aspergillus felis é uma espécie de fungo da família Trichocomaceae. A espécie foi isolada em gatos com rinossinusite fúngica, aspergilose sino-orbital, aspegilose pulmonar invasiva e com infecção na cavidade sinonasal; assim como em um cão com aspergilose invasiva e um humano com aspergilose pulmonar invasiva crônica.
# Referendo constitucional na Armênia em 2015

O referendo constitucional realizado na Armênia em 6 de dezembro de 2015 propôs alterações à Constituição para mudar o sistema político do semipresidencialismo para uma república parlamentar, sendo que as mudanças passam a valer a partir do ciclo eleitoral 2017-18. O referendo foi aprovado com apoio de 66,2% dos eleitores. A afluência às urnas foi de 50,8%, passando o limite mínimo de 33% para validar os resultados.
Opositores da nova Constituição, que a consideram como maneira do presidente Serzh Sargsyan se manter no poder após o fim do seu segundo e último mandato, alegam que violência, coerção e fraude eleitoral foram usadas para garantir a votação.
# Tora Dahl

Tora Armida Dahl (9 de junho de 1886 - 30 de janeiro de 1982) foi uma professora e romancista sueca. Ela era casada com o crítico literário Knut Jaensson. Entre seus romances está Fosterbarn de 1954. Ela recebeu o Prêmio Dobloug em 1975.
# Solasteridae

Solasteridae é uma família da ordem Velatida, da classe Asteroidea, do qual inclui espécies com de 9 a 18 braços.

## Gêneros

Estão descritos os seguintes géneros:
* †Brachisolaster Blake, 1993
* Crossaster Müller & Troschel, 1840
* Heterozonias Fisher, 1910
* Laetmaster Fisher, 1908
* Lophasater Verrill, 1878
* Paralophaster Fisher, 1940
* Rhipidaster Sladen, 1889
* Solaster Forbes, 1839
# Giuseppe Berto

Giuseppe Berto (27 de dezembro de 1914 – 1 de novembro de 1978) foi um escritor e roteirista italiano, conhecido principalmente por seus romances Il cielo è rosso (1946) e Il male oscuro (O mal obscuro, 1964).

## Trabalhos selecionados

* Il cielo è rosso
* Il male oscuro (Português: O mal obscuro)
* La Passione secondo noi stessi
* La gloria (Lit. A Glória)
# Osmar Molinas

Osmar de la Cruz Molinas González (Capiatá, 3 de maio de 1987) é um futebolista profissional paraguaio que atua como defensor, atualmente defende o Club Libertad.
# Macromedia Flashpaper

O Macromedia FlashPaper, é um produto desenvolvido pela Macromedia, e a partir dele é possível converter documentos tradicionais e comuns de computadores, como arquivos de texto do Microsoft Word e folhas de cálculo do Microsoft Excel, para formatos intercambiáveis entre diferentes plataformas: o Adobe PDF ou o SWF (Apresentação Macromedia Flash).
# Rondocan (distrito)

O Distrito peruano de Rondocan é um dos 7 distritos da Província de Acomayo, situada no Departamento de Cusco, pertenecente a Região Cusco, Peru

## Transporte

O distrito de Rondocan é servido pela seguinte rodovia:
* CU-123, que liga o distrito de San Jerónimo à cidade de Acomayo
* CU-122, que liga o distrito de Acos à cidade de Colcha
# Castelo Asliesk

O Castelo Asliesk (em inglês: Asliesk Castle) foi um castelo do século XVI localizado em Alves, Moray, Escócia.

## História

O castelo foi um dos mais interessantes exemplos de construção entre o período de 1542 e 1700, restando apenas uma parte do gablete oeste, onde existe uma pedra de armas com a data '1587', sendo a única pedra esculpida do lugar.
# Referendo constitucional em São Vicente e Granadinas em 2009

O referendo constitucional são-vicentino de 2009 foi realizado em 25 de novembro.
# Torre de Miguel Sesmero

Torre de Miguel Sesmero é um município da Espanha na comarca de Llanos de Olivenza, província de Badajoz, comunidade autónoma da Estremadura, de área 58 km². Em 2021 tinha 1 235 habitantes (densidade: 21,3 hab./km²).

## Demografia

Variação demográfica do município entre 1991 e 2004 $^[$ :
| 1991 | 1996 | 2001 | 2004 |
| 1305 | 1275 | 1253 | 1220 |
# Sporting Club Morumbi Rondoniense

Sporting Club Morumbi Rondoniense é um clube de futebol brasileiro da cidade de Guajará-Mirim, no estado de Rondônia.
Fundado em 16 de março de 1999$^[$ com o nome de Armazém Morumbi Futebol Clube (cujo acrônimo era AMFC), em janeiro de 2016 alterou o nome para Sporting Club Morumbi Rondoniense. Manda suas partidas no Estádio Municipal João Saldanha, com capacidade para 3.000 torcedores e suas cores são o preto, branco e vermelho.

## Suspensão

Em 2006, chegou a disputar a Segunda Divisão do Campeonato Rondoniense, mas foi suspenso de competições oficiais por dois anos depois de abandonar a partida em que disputava contra o Associação Desportiva Jaruense, no dia 28 de outubro de 2006. Após os 30 minutos do primeiro tempo e já perdendo por 3 a 0, o técnico Mário Sérgio chamou todos os seus jogadores ao vestiário e logo após, todos saíram do estádio, abandonando o jogo. No julgamento do fato, o clube alegou falta de médico no momento da partida, mas foram apresentados provas contrárias as alegações.
# Gorina

Gorina (em cirílico: Горина) é uma vila da Sérvia localizada no município de Leskovac, pertencente ao distrito de Jablanica, na região de Jablanica. A sua população era de 656 habitantes segundo o censo de 2002.

## Demografia

Evolução demográfica :
| 1948 | 1953 | 1961 | 1971 | 1981 | 1991 | 2002 | 2011 |
| 702 | 777 | 774 | 820 | 822 | 821 | 732 | 656 |
# Otero

* 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.
Otero pode referir-se a:

## Localidades

* Otero (Toledo), município espanhol da província de Toledo;
* Otero de Bodas, município espanhol da província de Zamora;
* Otero de Herreros, município espanhol da província de Segóvia;
* Villaobispo de Otero, município espanhol da província de León;
* Condado de Otero (Colorado), condado do estado americano do Colorado;
* Condado de Otero (Novo México), condado do estado americano do Novo México;
* Ramos Otero, localidade argentina do partido de Balcarce, na província de Buenos Aires.

## Pessoas

* Jorge Otero (1969), ex-futebolista espanhol;
* Marcelo Otero (1971), ex-futebolista uruguaio;
* Raúl Otero (1970), ex-futebolista uruguaio, irmão do jogador acima;
* Ramón Otero Pedrayo (1888–1976), geógrafo, escritor e intelectual espanhol;
* Manolo Otero (1942–2011), cantor e ator espanhol;
* David Otero (1980), cantor, guitarrista e compositor espanhol;
* Jorge Otero Menéndez (1944–2004), jornalista uruguaio;
* Mariana Otero (1963), cineasta francesa;
* Ruy Otero (1968), encenador, realizador, argumentista, artista plástico, ator e humorista português;
* Monica Otero (????), ultramaratonista brasileira;
* Rómulo Otero Vásquez (1992), futebolista venezuelano, atualmente no Corinthians.

## Outros

* 1126 Otero, asteróide da cintura principal.
# Magdalena Woźniczka

Magdalena Woźniczka (11 de abril de 1997) é um voleibolista profissional polonês, jogador posição ponteira.
Sua irmã gêmea Maria também é jogadora de vôlei.
# Rolando Serrano

Rolando "Loco" Serrano Zazaro (Pamplona, 13 de novembro de 1938 - 13 de junho de 2022), foi um ex-futebolista colombiano que atuava como meia.

## Carreira

Rolando Serrano fez parte do elenco da Seleção Colombiana de Futebol, na Copa do Mundo de 1962.
# Castelo Auchenharvie

O Castelo Auchenharvie (em língua inglesa Auchenharvie Castle) é um castelo localizado em North Ayrshire, Escócia.
O castelo foi protegido na categoria B do listed building, em 14 de abril de 1971.
# Referendo constitucional na Irlanda em 2009

O referendo constitucional na Irlanda em 2009 foi uma proposta de alteração da Constituição da República da Irlanda. A 28.ª emenda permitiria ao país ratificar o Tratado de Lisboa (também conhecido como o Tratado Reformador), da União Europeia, após o fracasso da alteração anterior em 12 de Junho de 2008. Como parte da promulgação da lei, foi programado um referendo para outubro de 2009.
A sondagem de janeiro de 2009 dizia que 55% dos eleitores estavam a favor ao Tratado de Lisboa, contra 37%.
O Tratado de Lisboa foi ratificado no referendo realizado em 2 de outubro de 2009 por uma maioria "convincente" superior a 67,1%, tal como foi assegurado pelo ministro de Assuntos Exteriores da Irlanda, Michéal Martin.

## Resultados

| | Número | Inscritos em % |
| Inscritos | 3 132 475 | 100 % |
| Abstenção | 1 316 377 | 42,02 % |
| Votantes | 1 816 098 | 57,98 % |
| | Número | Votantes em % |
| Votantes | 1 816 098 | 100 % |
| Brancos ou nulos | 7 274 | 0,4 % |
| Expressos | 1 808 874 | 99,6 % |
| Não : 594 606 (32,87%) | Sim : 1 214 268 (67,13%) |
# Torbjörn Caspersson

Torbjörn Oskar Caspersson (Motala, 15 de outubro de 1910 – 7 de dezembro de 1997) foi um biólogo celular e Geneticista sueco.

## Vida

Estudou medicina e biofísica na Universidade de Estocolmo, onde obteve em 1936 o grau de Doutor em Medicina (MD).
Com seu professor, o bioquímico Einar Hammarsten (1889–1968; que trabalhou no Instituto Karolinska com George de Hevesy) e Rudolf Signer, estudou a viscosidade e a birrefringência de soluções de DNA; anteriormente eles separaram o DNA por filtração sob alta pressão de resíduos das proteínas desnaturadas. Desde o início da década de 1930 desenvolveu a técnica de registrar os espectros de absorção de radiação ultravioleta em ácidos nucleicos, bem como a microscopia de ultravioleta de células. Em 1934 mostrou com Hammarsten que o DNA é um polímero. William Astbury forneceu-lhe amostras de DNA.
Recebeu em 1973 a Medalha Schleiden e em 1979 o Prêmio Balzan de biologia. Em 1988 foi agraciado com o Prêmio William Allan.

## Publicações

* Zur Kenntnis der Optik weißer Sole; III. Die optischen Verhältnisse bei der Koagulation; In: Colloid & Polymer Science; 1933
* Druckfiltrierung von Thymonucleinsäure; In: Biochemische Zeitschrift, Volume 270, 1934
* Methoden zur physikalischen Analyse der Zellstruktur; In: Fortschritte der Zoologie; 1934
* Molcular shape and size of Thymonucleic Acid; com Signer e Hammersten; In: Nature; 141, 1938, p. 122
* Nucleic acid metabolism of the chromosomes in relation to gene reproduction; In: Nature; 142, 1938, p. 294–295
* The localization of the adenylic acids in striated muscle-fibres; 1942
* Studies on protein metabolism in the cells of epithelial tumours; 1942
* Cell growth and cell function. Norton, New York 1950
* Cytochemical aspects of the problem of tumour growth. The morphological precursors of cancer. In: Proceedings Intern. Conf. Univ. Perugia; 1961
* Caspersson T. e Lomakka Gösta: Scanning microscopy techniques for high resolution quantitative cytochemistry In: Annals of the New York Academy of Sciences. 97/1962, p. 449–463.
* Carlson Leon, Caspersson T., Foley G. E., Kudynowski Jan, Lomakka Gösta, Simonsson E., Sören L.: The application of quantitative cytochemical techniques to the study of individual mammalian chromosomes. In: Experimental Cell Research. 31/1963, p. 589–594.
* Auer Gert, Eriksson E., Azavedo E., Caspersson T., Wallgren A.: Prognostic significance of nuclear DNA content in mammary adenocarcinomas in humans. In: Cancer Research. 44/1984, p. 394–396.
* History of the development of cytophotometry from 1935 to the present. In: Analytical and Quantitative Cytology and Histology. 9/1987, p. 2–6.
# Star Sports (Ásia Oriental)

Star Sports (anteriormente ESPN Star Sports) foi um canal esportivo de televisão por assinatura da Ásia Oriental transmitido para a China continental e Coreia do Sul, operado pela Fox Networks Group Asia Pacific, uma subsidiária da The Walt Disney Company. Anteriormente, fazia parte das operações da Fox Sports no leste e sudeste da Ásia (anteriormente ESPN Star Sports), mas esta versão manteve o nome Star Sports. A ESPN para a China Continental foi renomeada para Star Sports 2.

## História

A Star TV, com sede em Hong Kong, lançou a Prime Sports (mais tarde renomeada como Star Sports) em parceria com a empresa americana TCI, proprietária dos canais esportivos regionais sob a marca Prime. O canal foi transmitido em toda a Ásia, assim como através do AsiaSat 1. Desde então, a Star TV regionalizou o canal com várias versões, incluindo uma versão dedicada para Taiwan. Mais tarde, a ESPN entrou na região como concorrente da Star Sports.
Em outubro de 1996, a ESPN e a Star Sports concordaram em combinar suas operações em toda a Ásia. Como resultado, uma joint venture chamada ESPN Star Sports foi formada, com sede em Singapura.
Em junho de 2012, foi anunciado que a News Corporation compraria a participação da ESPN International na ESPN Star Sports. Após a aquisição da News Corporation, a ESPN em toda a Ásia seria relançada como Fox Sports, mas o relançamento da ESPN Star Sports como Fox Sports não afetou grande parte do leste da Ásia, pois a Star Sports continuou a transmitir na China continental e na Coreia do Sul. Em vez disso, a versão da ESPN para a China Continental foi renomeada como Star Sports 2 em 10 de janeiro de 2014.
Juntamente com outros canais de propriedade da Disney na Ásia, os dois canais Star Sports foram encerrados em 1º de outubro de 2021, após o que os espaços criados pela Prime Sports Asia em 1991 e ESPN Asia em 1992, foram fechados e deixaram de existir.
# Gorillini

Gorillini é uma tribo de primatas que faz parte da família Hominidae. Inclui os gorilas (gênero Gorilla) e o gênero já extinto "Chororapithecus".

## Taxonomia

* Género Gorilla
** Gorilla gorilla
*** Gorilla gorilla gorilla
*** Gorilla gorilla diehli
** Gorilla beringei
*** Gorilla beringei beringei
*** Gorilla beringei graueri
* Género Chororapithecus †
** Chororapithecus abyssinicus †
# Osvaldo Ríos

Osvaldo Rios Alonso (Carolina, 25 de outubro de 1960), mais conhecido como Osvaldo Ríos, é um ator e cantor porto-riquenho. É mais conhecido por seus papéis em telenovelas.

## Biografia

Ele já apareceu em várias telenovelas, incluindo Abrázame muy fuerte, a versão de 1996 da La Viuda de Blanco, e a telenovela venezuelana, Kassandra, na qual interpretou os gêmeos Luis David e Inácio, e foi exibido no Brasil, em 2000, transmitido pela emissora SBT.
Em 2007, Rios desempenhou o papel de Don Alejandro de la Vega na telenovela colombiana, Zorro: La Espada y la Rosa. Ele desempenha o papel de Santiago na telenovela El Juramento produzido pela Telemundo.
Ele foi casado três vezes, com a atriz Sully Diaz, a jornalista Carmen Dominicci e com Geraldine Fernández. Ele tem dois filhos, Giuliano e Osvaldo. Ele também teve um romance com a cantora Shakira, que o fez avançar a sua carreira.
Ele iniciou sua carreira como músico em 1982. Seu primeiro álbum "Osvaldo" foi lançado em Janeiro de 1984. Desde esse tempo, ele lançou 11 álbuns e muitos deles foram sido muito bem sucedidos, vendendo mais de 8 milhões de álbuns em todo o mundo.$^[$

## Filmografia
### Telenovelas

As produções de telenovelas que Osvaldo atuou são:$^[$
* Triunfo del Amor (2010) - Osvaldo Sandoval
* Corazón Salvaje (2009) - Juan de Dios San Román
* El Juramento (2008) - Santiago de Landeros
* Zorro, la espada y la rosa (2007) - Alejandro de la Vega
* Decisiones (2006)
* Ángel rebelde (2004) - Alejandro Valderrama
* Gata salvaje (2002) - Silvano Santana Castro
* Abrázame muy fuerte (2001) - Diego Hernández
* Rauzán (2000) - Sebastian de Mendoza
* La viuda de Blanco - Diego Blanco Albarracín
* Tres destinos (1993) - Juan Carlos
* Kassandra (1992) - Ignácio Contreras/Luis David Contreras
* Amor de nadie (1990)

### Cinema

As produções de cinema que Osvaldo atuou são:$^[$
* Elsa & Fred (2014)
* Más allá del límite (2002) - Andrés 'El Indio' Solís
* Plaza vacante (2002)
* Bento Cego (2001)
* Chona, la puerca asesina (1990) - Alejandro
# Magdalenaea

Magdalenaea é um género botânico pertencente à família Scrophulariaceae.
# Roberto I de Dreux

Roberto I de Dreux, cognominado o Grande (1123 — 11 de outubro de 1188), foi conde de Dreux e Senhor do Castelo de Brie-Comte-Robert.
Era o quinto dos nove filhos do rei Luís VI da França e de Adelaide de Saboia. Em 1137, recebeu de seu pai o Condado de Dreux como apanágio. Ele o manteve até 1184, quando passou-o a seu filho mais velho.
Com seu irmão, o rei Luís VII da França, participou na Segunda Cruzada, em 1147, e no Cerco de Damasco, em 1148. Antes do fim da cruzada, voltou a França e montou uma conspiração contra seu irmão, o rei, na esperança de adquirir poder. Suas ações, no entanto, foram sucessivamente rebatidas pelo abade Suger de Saint-Denis, que garantiu a preservação da regência durante a falta do rei.
Em 1154, participou do cerco de Séez, na Normandia, e, em 1158, combateu os ingleses.

## Relações familiares

Foi filho do rei Luís VI da França e de Adelaide de Saboia. Casou por três vezes, a primeira em 1139 com Inês de Garlande, condessa de Rochefort-en-Yvelines (1125 —?) de quem teve:
* Simão de Dreux, Senhor de La Noue (1141 — 1144).
O segundo casamento aconteceu em 1144 e foi com Edviges de Évreux (1130 —?) de quem teve:
* Alice de Dreux (1144 — 1209) casou 4 vezes, a primeira com Valeriano III de Breteuil, Senhor de Breteuil, a segunda com Guido II de Châtillon, Senhor de Châtillon, a terceira com João de Thourotte, Senhor de Thourotte e a quarta com Raul III de Nesle, conde de Soissons.
O terceiro casamento ocorreu em 1152 e foi com Inês de Baudement (1130 — 24 de julho de 1204) senhora de Brie-Comte-Robert e filha de Guido de Baudement e de Alícia de Braine, de quem teve:
* Roberto II de Dreux, conde de Dreux (1154 — 1218) casou por duas vezes, a primeira com Matilde de Borgonha, condessa de Vitteaux e a segunda com Iolanda de Coucy.
* Ana de Dreux casou com Eustáquio II "O velho de Fiennes"
* Henrique de Dreux, bispo de Orleães (1155 — 1198)
* Alice de Dreux (1156 — 1217) casou com Raul I de Coucy, Senhor de Coucy e de Marle.
* Filipe de Dreux, conde e bispo de Beauvais (1158 — 1217)
* Isabel de Dreux, senhora de Arc-en-Barrois casou com Hugo III, Senhor de Broyes.
* Pedro de Dreux (1161 — 1188).
* Guilherme de Dreux, Senhor de Braye e de Torcy (1163 — 1185).
* João de Dreux (1164 — 1188).
* Massília de Dreux (1166 — 1200) prioreza de Wareville.
* Margarida de Dreux (1167 —?) prioreza de Charmes.

## Bibliografa

* Gislebertus de Mons, Crônica de Hainaut , Trans. Laura Napran, Boydell Press, 2005.
* Medieval França: uma enciclopédia , Ed. William W. Kibler, Routledge, 1995.
* Michel, Edmond, Histoire de la ville de Brie-Comte-Robert , Vol.1, Dujarric & Cie, 1902.
* Power, Daniel, A fronteira Norman nos séculos XII e XIII cedo , Cambridge University Press, 2004.
# Axioma do conjunto vazio

Em teoria axiomática dos conjuntos, o axioma do conjunto vazio é um postulado lógico para garantir, formalmente, a existência de um conjunto sem elementos. O axioma possui, usando-se a linguagem da lógica formal, o seguinte enunciado:
    $\exists x\,\forall y\,\lnot (y\in x).$
Em palavras,
    Existe um conjunto sem elemento algum.
Em algumas formulações da axiomática de Zermelo-Fraenkel, o axioma do conjunto vazio vem incluso no axioma do infinito; em outras não. Contudo, em qualquer modelo axiomático da teoria dos conjuntos que admita a existência de um conjunto e possua o axioma-esquema da separação, como Zermelo-Fraenkel, o axioma do conjunto vazio é derivado como teorema. Realmente, escolhe-se um predicado contraditório e aplica-se o axioma-esquema da separação para tal predicado. Por exemplo, se $x$ é um conjunto, escolhendo $\varphi (y):y\neq y$ temos que $\{y\in x:\varphi (y)\}=\{y\in x:y\neq y\}$ é um conjunto vazio.
Numa teoria axiomática de conjuntos em que o axioma-esquema da separação não é assumido, é preciso prová-lo como teorema usando o axioma-esquema da substituição; e, dependendo de como se formula o axioma-esquema da substituição, pode ser necessário assumir o axioma do conjunto vazio.