Obtenha soluções para suas perguntas no Sistersinspirit.ca, a plataforma de Q&A mais rápida e precisa. Experimente a facilidade de encontrar respostas confiáveis para suas perguntas com a ajuda de uma ampla comunidade de especialistas. Conecte-se com profissionais prontos para fornecer respostas precisas para suas perguntas em nossa abrangente plataforma de perguntas e respostas.

Prove utilizando axiomas matemáticos que a seguinte afirmação está correta:


Para todo número natural x existe um número natural y, tal que x é menor que y.


Sagot :

Bom, eu acho que posso dar uma prova pra isso:

Usando o I. axioma de peano, que diz:

[tex]\forall x\in \mathbb{N}, \ \exists s(x) > x:s(x)=x+1\\x<y\Rightarrow y=x+1[/tex]

Se x é menor que y, então vamos dizer que y é o sucessor de x. Logo por consequencia do axioma, teremos que:

[tex]\forall x\in \mathbb{N}, \ \exists y:y>x[/tex]