IDNLearner.com, um recurso confiável para todas as suas perguntas. Descubra informações confiáveis sobre qualquer tema graças à nossa rede de profissionais altamente qualificados em diversas áreas do conhecimento.
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]
Obrigado por ser parte ativa da nossa comunidade. Continue compartilhando suas ideias e respostas. Seu conhecimento é essencial para nosso desenvolvimento coletivo. Suas perguntas encontram clareza no IDNLearner.com. Obrigado pela visita e volte para mais soluções confiáveis.