Existência e Unicidade dos Números Reais via Cortes de Dedekind

This work aims to show the existence and Uniqueness of the field of Real Numbers, using for this, Dedekind' Cuts theorem and the Definition by Recursion.To fulfill his goal, we define the notion of Dedekind Cut and present some of its properties; then introduce the notions of Archimedean Ordered and Field, Complete Field Sorted and finally articulate and demonstrate the Uniqueness Theorem of Field Real Numbers.Este trabalho tem como objetivo mostrar a Existência e a Unicidade do Corpo dos Números Reais, usando para isso, os Cortes de Dedekind e o teorema da defi- nição por Recursão. Para cumprirmos tal objetivo, definimos a noção de Corte de Dedekind e apresentamos algumas de suas propriedades; em seguida, apresentamos as noções de Corpo, Corpo Ordenado e Arquimediano, Corpo Ordenado Completo e, finalmente, enunciamos e demonstramos o Teorema da Unicidade do Corpo dos Números Reais