OpenLLM-France/wikimedia huggingface dataset:
# Pierre Lemaitre

Pierre Lemaitre (Paris, 19 de abril de 1951) é um escritor e roteirista francês vencedor do Prix Goncourt, conhecido internacionalmente pelos romances policiais com o personagem Comandante Camille Verhœven.

## Biografia

Nascido em Paris, Pierre Lemaitre ensinou literatura francesa e americana, análise literária e cultura geral. É hoje escritor e roteirista. Seus romances são traduzidos em mais de quinze línguas.

## Prêmios

Seu primeiro romance Alex ganhou o CWA International Dagger de melhor romance policial de 2013.
Em novembro de 2013, ele recebeu o Prix Goncourt, o principal prêmio literário da França, por Au revoir là-haut, um épico sobre a Primeira Guerra Mundial. Seus romances Camille e Au revoir là-haut ganharam o CWA International Dagger em 2015 e 2016, respectivamente.
Sobre quando ganhou o prêmio Goncourt, ele relata:

## Obras
### Série do Camille Verhœven

* Travail soigné (2006) no Brasil: Irene (Universo dos Livros, 2015) / em Portugal: Irene (Clube do Autor, 2015)
* Alex (2011) no Brasil: (Universo dos Livros, 2021) / em Portugal: (Sextante Editora, 2012)
* Les Grands Moyens (2011)
* Camille (2012) no Brasil: (Universo dos Livros, 2021) / em Portugal: A Cicatriz do Mal (Clube do Autor, 2017)

### Trilogia Les Enfants du désastre

* Au revoir là-haut (2013)
* Couleurs de l'incendie (2018)
* Miroir de nos peines (2020)

### Série Les Années glorieuses

* Le Grand Monde (2022)

### Livros isolados

* Robe de marié (2009) no Brasil: Vestido de Noivo (Vestígio, 2013) ou Bodas de Sangue (Gutenberg, 2020)
* Cadres noirs (2010) no Brasil: Recursos desumanos (Gutenberg, 2020)
* Trois jours et une vie (2016)
* Le Serpent majuscule (2021)

## Filmografia
### Cinema

* Alex (2014) (supervisão do roteiro)
* Au revoir là-haut (2017) (supervisão do roteiro) (wikipedia em inglês: en:See You Up There (film))
* Au secours (2017) (realização)
* Trois jours et une vie (2019) (roteiro e papel do Promotor do Rei)

## Adaptações
### Televisão

* Dérapages (2018) (mini-série - ARTE) baseado em seu romance Cadres noirs. (wikipedia em inglês: en:Inhuman Resources)
# Olivier Tébily

Olivier Tébily (Abidjã, 19 de dezembro de 1975) é um ex-futebolista marfinense que atuava como zagueiro. É primo do ex-atacante Didier Drogba.

## Carreira

Nascido em Abidjã, Tébily era torcedor do Arsenal na infância. Após mudar-se para a França e obter a cidadania local, o zagueiro iniciou sua carreira no Chamois Niortais em 1993. Jogou 91 vezes pelo clube em 4 temporadas, balançando as redes 6 vezes. Em janeiro de 1998 assinou com o Châteauroux, e embora não conseguisse evitar o rebaixamento à Ligue 1, seu desempenho chamou a atenção do Sheffield United, que pagou 200 mil libras pelo zagueiro em 1999. A passagem de Tébily pelos Blades durou apenas 8 partidas.
Em junho do mesmo ano, foi contratado pelo Celtic, na época treinado por John Barnes, que tinha encerrado sua carreira de jogador e estrearia como técnico nos Bhoys. Também jogaria poucas vezes no clube escocês: nas 3 temporadas em que vestiu a camisa do Celtic, entreou em campo apenas 33 vezes. Regressou ao futebol inglês em 2002, assinando com o Birmingham City, pelo qual atuou em 83 partidas. Deixou o clube em janeiro de 2008 e passou 3 meses treinando no Toronto FC, que contratou o jogador em abril. Embora o técnico dos Reds, John Carver, acreditasse numa evolução do desempenho de sua equipe usando a versatilidade de Tébily, o zagueiro disputou apenas 4 jogos e rescindiu o contrato, voltando à França em julho.
Após 3 anos fora dos gramados, Tébily voltaria a atuar nas divisões amadoras, pelo SL Châteaubernard, encerrando sua carreira definitivamente em 2012.

## Seleção

Tébily integrou a Seleção Marfinense de Futebol na Copa Africana de Nações realizada em 2000, jogando 2 partidas. Pelos Elefantes, o zagueiro participou de 18 jogos entre 1999 e 2004.

## Vida pessoal

O zagueiro é primo de 5 jogadores, todos atacantes: Didier Drogba (com quem chegou a jogar na Seleção Marfinense), Freddy Drogba, Joël Drogba, Severin Drogba e Isaac Drogba (filho de Didier).

## Títulos
### Celtic

* Scottish Premiership: 2 (2000–01 e 2001–02)
* Copa da Escócia: 1 (2000–01)
* Copa da Liga Escocesa: 2 (1999–2000 e 2000–01)
# Pra Sempre Cazuza

Pra Sempre Cazuza é o primeiro e único DVD do cantor brasileiro Cazuza, lançado em 2008 pela Universal Music. O DVD inclui dois especiais exibidos pela TV Globo: Mixto Quente, gravado em 1985 na Praia do Pepino; e Uma Prova de Amor, gravado em 1988 no Teatro Fênix, no Rio de Janeiro.
O DVD traz como material bônus, dois videoclipes ("O Mundo é Um Moinho" e "Faz Parte do Meu Show") e depoimentos e entrevistas com o próprio Cazuza, Ney Matogrosso, Sandra de Sá e Simone.
Foi certificado com Disco de Ouro no Brasil pelas mais de 25 mil cópias vendidas no país, comprovados pela Pro-Música Brasil.

## Faixas
### Mixto Quente

| N.º | Título |
| 1. | "Exagerado" |
| 2. | "Medieval II" |
| 3. | "Por Que a Gente é Assim?" |

### Uma Prova de Amor

| N.º | Título |
| 4. | "Vida Louca Vida" |
| 5. | "Boas Novas" |
| 6. | "Ideologia" (feat. Frejat) |
| 7. | "O Nosso Amor a Gente Inventa (Estória Romântica)" |
| 8. | "Blues da Piedade" (feat. Frejat e Sandra de Sá) |
| 9. | "Faz Parte do Meu Show" |
| 10. | "Todo Amor Que Houver Nessa Vida" (feat. Caetano Veloso, Gal Costa, Leila Pinheiro e Olivia Byington) |
| 11. | "Codinome Beija-Flor" (feat. Simone) |
| 12. | "Preciso Dizer Que Te Amo" |
| 13. | "Só as Mães São Felizes" |
| 14. | "O Tempo Não Para" |
| 15. | "Bete Balanço" (feat. Frejat) |
| 16. | "Um Trem para as Estrelas" (feat. Gilberto Gil) |
| 17. | "Brasil" (feat. Gal Costa) |

### Extras

* Videoclipes: "O Mundo é Um Moinho" e "Faz Parte do Meu Show"
* Depoimentos e entrevistas com Cazuza, Ney Matogrosso, Sandra de Sá e Simone
# Praça da República

* 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.
Praça da República pode referir-se a:

## Brasil

* Praça da República (Belém)
* Praça da República (Niterói)
* Praça da República (Recife)
* Praça da República (Rio de Janeiro)
* Praça da República (São Paulo)

## Portugal

* Praça da República (Braga)
* Praça da República (Porto)
* Praça da República (Elvas)
* Praça da República (Póvoa de Varzim)
# Praça da República (Elvas)

A Praça da República localiza-se na freguesia urbana de Assunção, Ajuda, Salvador e Santo Ildefonso, cidade e concelho de Elvas, no distrito de Portalegre, em Portugal. É a principal praça do centro histórico desta cidade.

## História

As obras de abertura da praça, iniciadas em 1511, foram realizadas no contexto de grandes melhoramentos promovidos durante o reinado de Manuel I de Portugal (1495-1521), quando a povoação foi elevada à categoria de cidade. Os planos para criar uma nova praça eram antigos, datando de 1477 um documento da Câmara Municipal que afirma que o antigo centro da vila - uma praça localizada nos Cantos da Carreira - era "indigna" da povoação.
A partir de 1517 foi erguida na praça - chamada então "Praça Nova" - a Igreja de Nossa Senhora da Assunção, desenhada por Francisco de Arruda no estilo vigente na época, o manuelino. Esta igreja, cuja construção durou todo o século XVI, foi elevada ao rango de catedral e serviu como Sé de Elvas até 1882, quando a diocese foi dissolvida. Em 1538 foram transferidos a um edifício da praça os novos Paços do Concelho, construído junto à muralha da época muçulmana. A Praça Nova era, assim, o centro religioso e administrativo de Elvas, além de ser o local onde eram realizadas feiras e touradas.
Em 1886 passa a chamar-se "Praça do Príncipe D. Carlos" e em 1910 passa a "Praça da República". Hoje é um local de passagem obrigatória para o turista que visita a cidade.
É na Praça da República que se encontra também desde 2007, um parque de estacionamento subterrâneo com 3 pisos e uma capacidade para cerca de 300 automóveis, gerido pela Câmara Municipal de Elvas.
É também nesta praça que se encontra sediada a Câmara Municipal de Elvas, o Serviço de Finanças de Elvas, o principal Posto de Turismo da cidade, a Agência de Elvas do Novo Banco, a Aquelvas (empresa que faz a gestão de águas no concelho de Elvas), o Centro Municipal da Juventude, além também da Universidade Sénior de Elvas, a Loja Ponto Já do Instituto Português da Juventude, o Ginásio Sénior Municipal e ainda diversos cafés, várias lojas, escritórios de todo o tipo de empresas nacionais e locais, clínicas dentárias e veterinárias, etc.
Nas noites de Verão, a Praça da República é bastante procurada pelas suas grandes esplanadas.
É nesta Praça que decorre também nos meses de Verão, o Festival Medieval de Elvas, a Feira Ibérica do Livro, o Festival Noites de Verão e o Festival Internacional de Folclore, entre muitos outros eventos.
# Olivier Voinnet

Olivier Voinnet (França, 1 de junho de 1972) é um biólogo francês, professor de biologia do RNA no Instituto Federal de Tecnologia de Zurique.
Voinnet obteve um doutorado em 2001 na Inglaterra no grupo de David Baulcombe e obteve mais tarde de líder independente de grupo no Centre national de la recherche scientifique (CNRS) em Estrasburgo, onde foi promovido a Directeur de Recherche em 2005. em 2010 foi para o Instituto Federal de Tecnologia de Zurique, onde foi apontado professor de biologia do RNA. Seu trabalho causou controvérsias devido a alegações de manipulação de imagens, que levaram a diversas correções e retrações de artigos publicados.

## Manipulação investigada

Em 2015 seu trabalho foi investigado por manipulação. A investigação no Instituto Federal de Tecnologia de Zurique constatou que ele feriu seu dever de cuidado na manipulação de imagens bem como em seu dever de supervisor como um diretor de pesquisa ... e receberá uma advertência em relação a esta conduta" mas também concliu que "isto não é um caso de má conduta científica como definido pelas Regras de Procedimento do Instituto Federal de Tecnologia de Zurique". Outra investigação independente pelo CNRS estabeleceu "a existência de manipulações de diagramas, em quebra dos padrões éticos aplicáveis para a apresentação de resultados científicos" e prosseguiu dizendo que tais "apresentações inapropriadas de dados experimentais, contudo não se amoldam aos fatos". Oito dos artigos de Eight foram invalidados e para 13 publicações foram publicadas correções.

## Manipulação investigada 2

Em 2018, Olivier Voinnet envolveu-se, juntamente com seu colega Patrice Dunoyer, em mais uma investigação interna do CNRS por má conduta científica. Os processos, desta vez, se relacionavam às correções incompletas, publicadas após as sanções recebidas em 2015, bem como a novas publicações contendo, mais uma vez, imagens manipuladas. Em comunicado à imprensa o CNRS divulgou, em 3 de outubro de 2018, o resultado da investigação ressaltando que: "Essas faltas, que se inserem no âmbito da má conduta científica, causaram danos à imagem do CNRS e, mais amplamente, à comunidade científica como um todo." As sanções consistiram numa advertência para Olivier Voinnet e num rebaixamento de grau para P. Dunoyer.

## Prêmios

Em 2009 Voinnet recebeu a Medalha de Ouro EMBO da Organização Europeia de Biologia Molecular.

### Devolução

Em 2016 a Organização Europeia de Biologia Molecular requisitou de volta a Medalha de Ouro concedida em 2009.
# Praça da República (Cuiabá)

A Praça da República é uma praça em Cuiabá, Mato Grosso. É considerada como o primeiro núcleo urbanístico da cidade, encontrando-se nas proximidades a Igreja, a Cadeia Pública, a Casa do Ouvidor e o Senado da Câmara. A praça foi tombada pelo IPHAN como patrimônio histórico em 13 de dezembro de 1983. Atualmente encontra-se em estado de abandono, embora hajam planos para seu restauro.
# Price Induction

Price Induction é uma empresa francesa que desenvolve e fabrica o turbofan DGEN, um motor projetado para aviões leves (4/6 lugares) conhecidos como PLJ (Personal Light Jets). A companhia está sediada em Anglet, emprega cerca de cinquenta pessoas e possui três subsidiárias localizadas em Atlanta, GA, USA, São José dos Campos, SP, Brasil e Berlim, Alemanha.

## História

A empresa Price Induction foi fundada por Jean e Bernard Etcheparre, que inicialmente criaram e desenvolveram as empresas conhecidas mundialmente como Lectra Systèmes e Brigantine Aircraft. No curso dos anos 1996 e 1997, a ideia de um programa de desenvolvimento de um motor destinado à aviação leve surgiu como um assunto especialmente promissor e os estudos teóricos foram realizados durante este período. Após três anos de preparação, nasceu o conceito dos DGEN, e decidiu-se então lançar o seu desenvolvimento.

## DGEN

Este programa tem por objetivo o desenvolvimento de uma gama de reatores, corpo duplo, fluxo duplo (turbofan) chamados de DGEN 380 e 390, destinados a equipar aviões de 4 a 6 lugares em configuração birreator, de massa máxima compreendida entre 1400 kg e 2150 kg. Os motores DGEN são reconhecidamente os únicos do mercado a terem sido desenvolvidos para um envelope de voo da aviação geral (altitude abaixo de 20.000 pés e Mach 0,35). Eles são caracterizados por um baixo consumo específico, uma massa reduzida e um bom preço. O motor DGEN tem uma arquitetura típica de um turbofan da aviação civil e integra inovações como por exemplo o conceito “todo elétrico”.
O DGEN já foi exibido em vários eventos da aviação mundial, tais como Paris air show, Aero Expo em Friedrichshafen e EAA AirVenture Oshkosh.

## WESTT

Price Induction desenvolve e fabrica a família de produtos Westt (Whole Engine Simulator Turbine Technology) que foi lançada em 2010, e consiste em equipamentos para ensino e pesquisa orientados para universidades, escolas profissionalizantes e institutos de pesquisa. Os equipamentos são baseados na tecnologia DGEN e já estão presentes em universidades na França, como por exemplo ISAE em Toulouse, e escolas de aviação do Brasil, como a EWM Aviation Ground School, em São Paulo. Em Abril 2012, a Price Induction assinou um acordo comercial com a empresa de aviação chinesa AVIC International Holding Corporation.
# Price Your Bike

A equipa de ciclismo Price Your Bike é uma antiga equipa de ciclismo suíça que participou nos circuitos continentais de ciclismo e em particular o UCI Europe Tour. No final de 2011, a equipa desaparece, após seis anos de existência.

## Classificações UCI

A equipa participou nas provas das circuitos continentais e em particular do UCI Europe Tour. O quadro abaixo apresenta as classificações da equipa nos circuitos, bem como o seu melhor corredor à classificação individual.
UCI America Tour
| Temporada | Classificação por equipas | Melhor corredor na classificação individual |
| 2009 | 23.º | Nico Keinath (78.º) |

## Estações precedentes
### Elenco
### Elenco

Lista dos ciclistas da equipa para a temporada de 2008 :
| Ciclista | Data de nascimento | País | Equipa 2007 |
| Danilo Andrenacci | 07.02.1978 | Itália | Ex-pró |
| Fader Ardila | 08.06.1984 | Colômbia | Néo-pró |
| Michael Bär | 12.01.1988 | Suíça | |
| Armando Camelo | 26.01.1981 | Itália | Néo-pró |
| Sante Di Nizio | 05.03.1984 | Itália | Néo-pró |
| Christopher Duperrut | 18.09.1988 | Suíça | |
| Tobias Eggli | 19.06.1986 | Suíça | |
| Marco Ghiselli | 19.05.1982 | Itália | Néo-pró |
| Daniel Henggeler | 29.12.1988 | Suíça | Néo-pró |
| Pasquale Iachini | 08.07.1984 | Itália | Néo-pró |
| Julián David Muñoz | 15.08.1983 | Colômbia | Néo-pró |
| Americo Novembrini | 08.08.1986 | Itália | Néo-pró |
| Bernhard Oberholzer | 08.09.1985 | Suíça | |
| Michael Randin | 29.01.1985 | Suíça | |
| Florian Salzinger | 05.07.1983 | Alemanha | |
| Philippe Schnyder | 17.03.1978 | Suíça | Serramenti PVC Diquigiovanni |

### Elenco

Lista dos ciclistas da equipa para a temporada de 2009 :
| Ciclista | Data de nascimento | Nacionalidade | Equipa 2008 | Equipa 2010 |
| Danilo Andrenacci | 07.02.1978 | Itália | | CDC-Cavaliere |
| Giuseppe Atzeni | 04.08.1978 | Suíça | Ex-pró | |
| Michael Bär | 12.01.1988 | Suíça | | Atlas Personal-BMC |
| Armando Camelo. | 26.01.1981 | Itália | | |
| Guillaume Dessibourg | 24.12.1986 | Suíça | Néo-pró | Atlas Personal-BMC |
| Sante Di Nizio | 05.03.1984 | Itália | | |
| Christopher Duperrut | 18.09.1988 | Suíça | | |
| Tobias Eggli | 19.06.1986 | Suíça | | Adageo Energy |
| Marco Ghiselli | 19.05.1982 | Itália | | |
| Daniel Henggeler | 29.12.1988 | Suíça | | Price-Custom Bikes |
| Nico Keinath | 14.01.1987 | Alemanha | Ista | NetApp |
| Alex Meenhorst | 26.02.1987 | Nova Zelândia | Néo-pró | NetApp |
| Julián Muñoz | 15.08.1983 | Colômbia | | UMA-EPM |
| Americo Novembrini | 08.08.1986 | Itália | | Suspensão para dopagem |
| Bernhard Oberholzer | 08.09.1985 | Suíça | | Price-Custom Bikes |
| Leopoldo Rocchetti | 19.01.1986 | Itália | Néo-pró | Miche |
| Gianfranco Visconti | 18.02.1983 | Itália | Néo-pró | Betonexpressz 2000-Universal Caffé |
# Operação Coalizão Vermelha

Operação Coalizão Vermelha ou Operação Coligação Vermelha é um suposto plano de atentados terroristas nos Estados Unidos. Os atentados teriam como alvo, primariamente, o embaixador saudita nos Estados Unidos, Adel Al-Jubeir, além das embaixadas de Israel e Arábia Saudita em Washington, D.C.. Duas pessoas foram indiciadas pelas acusações: o cidadão americano de origem iraniana Manssor Arbabsiar e Gholam Shakuri, que seria um membro da Força Quds, uma unidade de operações especiais da Guarda Revolucionária Iraniana.

## Suposto plano

No dia 11 de outubro de 2011 a rede de notícias ABC News publicou uma reportagem em que oficiais federais dos Estados Unidos afirmam que agentes do FBI e DEA teriam desmontado "um plano para 'cometer um atentado terrorista significativo nos Estados Unidos' ligado ao Irã".
Segundo os oficiais, o plano incluía o assassinato de Adel Al-Jubeir, embaixador da Arábia Saudita nos Estados Unidos, em um atentado com uma bomba. A este atentado, seguir-se-iam ataques nas embaixadas de Israel e Arábia Saudita em Washington, D.C. Ainda segundo os oficiais, ataques com bombas às embaixadas sauditas e israelenses em Buenos Aires também foram mencionados.
Manssor iria contratar um membro do cartel de drogas mexicano Zetas. Segundo a revista The Atlantic, Manssor teria oferecido US$ 1,5 milhões a um agente da DEA infiltrado para que procedesse com os atentados, supondo que o agente seria realmente um membro do cartel. Manssor teria agendado duas transferências de US$ 49960 para agosto de 2011, além de sugerir ao agente que seus contatos no governo iraniano poderiam prover "toneladas de ópio" ao cartel.
O suposto contratante teria dito que recebia ordens de membros do alto escalão do governo iraniano - incluindo um sobrinho que seria "membro do Exército Iraniano mas não usa uniforme".

## Reações à notícia

O advogado-geral dos Estados Unidos, Eric Holder, afirmou no mesmo dia em que a notícia foi publicada que uma fação do governo iraniano concebeu, apoiou e direcionou o plano a partir do Irã. Ele ainda afirmou que o plano era uma violação "flagrante" das leis norte-americanas e internacionais, e que os Estados Unidos estariam comprometidos a responsabilizar o Irã. O diretor do FBI, Robert Muelle, afirmou que os Estados Unidos imporiam "todo o peso da lei" aos responsáveis, e que atentados em solo americano não seriam tolerados. Por sua vez, oficias superiores da Casa Branca afirmaram que não havia nenhum indício de que o Líder Supremo Iraniano, aiatolá Ali Kamenei, ou o presidente iraniano, Mahmoud Ahmadinejad, conheceriam os planos dos atentados. Disseram ainda que os Estados Unidos "buscarão um caminho para resposta que não inclua a possibilidade de um conflito armado com o Irã."
Um representante iraniano em Washington teria dito à ABC que os informes do governo eram "falsos", mas não teria apresentado mais informações. Oficiais iranianos teriam dito em redes de notícias ligadas ao governo de Teerã que as notícias eram um "cenário prefabricado" e que as acusações seriam o início de "uma nova campanha de propaganda contra o Irã".
# Oncidium ornithorynchum

O Oncidium ornithorynchum é uma espécie de orquídeas do gênero Oncidium, também chamado de dama dançante, da subfamília Epidendroideae da família das Orquidáceas.

## Significado do nome científico

"Oncidium" do latim = "inchaço", "tubérculo", "tumor".
"ornithorynchum" por causa de sua parecença com pássaros em pleno voo.

## Habitat

Esta espécie é nativa do México e da América Central. Esta Orquídea cresce sobre árvores. Áreas de clima úmido de montanha em altitudes de 1200 a 1800 metros.

## Descrição

O Oncidium ornithorhyncum é uma orquídea epífita e ocasionalmente rupícola com pseudobolbos cilíndricos achatados lateralmente, de que saem apicalmente duas folhas coriáceas estreitas oblongo linguladas, as basais curvadas ou pêndulas. Em seu centro emergem duas hastes florais de numerosas e diminutas flores. Florescem na primavera e no outono. Possui uma haste floral paniculada. Flores muito perfumadas de racemo médio pela manhã, de cor púrpura com manchas amarelas na coluna.

## Cultivo

Tem preferência por alta luminosidade ou com sombra moderada. Para cultivar, deve-se plantar em um tronco com a base reta não muito larga, para que se possa manter em pé e colocar a orquídea amarrada a um tutor virado para o leste.
Pode-se plantar no exterior como os Cymbidiums para estimular a floração. No inverno, manter o substrato seco com poucas regas. Florescem no Outono e na primavera.
# Price

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

## Economia

* Tabela Price

## Geografia

* Price (Utah)

## Biografias

* Alan Price (1942)
* George R. Price (1922-1975)
* Leontyne Price (1927)
* Llewellyn Ivor Price (1905-1980)
* Reynolds Price (1933)
* Richard Price (1723-1791)
* Rodman M. Price (1816-1894)
* Vincent Price (1911-1993)
# Postulado de Dedekind

O postulado de Dedekind é um axioma de continuidade formulado em termos de cortes de Dedekind. Este postulado é equivalente ao axioma do supremo na construção dos números reais.

## Enunciado

Seja um partição $(A,B)\,$ um corte de Dedekind em um corpo ordenado $K\,$, ou seja:
* $a\in A,b\in B\Longrightarrow a<b\,$
* $A\bigcup B=K\,$
então $A\,$ possui um maior elemento ou $B\,$ possui um menor elemento.

## Teorema

* Todo corpo ordenado que satisfaz o postulado de Dedekind é isomórfico ao corpo dos números reais.
Esboço da prova
Por ser um corpo ordenado, este corpo K possui um subcorpo isomórfico a $\mathbb {Q} \,$, então inicia-se com este isomorfismo $f:\mathbb {Q} \to Q_{K}\subseteq K\,$. Seja $x\in \mathbb {R} \,$, então definem-se:
    $A_{x}=\{k\in K|\forall q\in \mathbb {Q} ,f(q)<k\}\,$
    $B_{x}=K-A_{x}\,$
Deve-se agora provar que A$_x$ e B$_x$ satisfazem ao postulado, e definir g(x) como o (único) ponto que satisfaz ao corte. Em seguida, prova-se que g é um isomorfismo de $\mathbb {R} \,$ em sua imagem. Finalmente, prova-se que não pode haver mais nenhum elemento em K (visto que tal elemento teria um inverso infinitesimal, e não existem infinitésimos em $\mathbb {R} \,$).