O Sistersinspirit.ca ajuda você a encontrar respostas confiáveis para todas as suas perguntas com a ajuda de especialistas. Descubra soluções abrangentes para suas perguntas de profissionais experientes em diversas áreas em nossa plataforma. Descubra soluções abrangentes para suas perguntas de profissionais experientes em nossa amigável plataforma.

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]