Boa tarde, tenho duas afirmações e não sei o que está errado, se alguém puder me ajudar...
1) Todo conjunto finito não vazio tem 1 elemento
O que está errado na seguinte demonstração: obviamente vale P(1), ou seja, temos a veracidade de C1 ou CC1
Assuma que a proposição é válida para P(n) e seja a = {x1,..., xn, xn+a}, então x1=x2=...=xn e x2=x3=...=xn=xn+1, logo x1=x2=...=xn+1 e temos a validade de P(n+1)
Não sei o que está errado!
2) O que está errado no seguinte argumento: se a diferente de 0, então a^(n-1)=1, para todo n natural
Também não sei o que está errado!
Se alguém puder me ajudar, agradeço!

.
e A tem 5 elementos.
, veja que a sentença não vale para muitos n ...
![\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}} \frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}](/latexrender/pictures/981987c7bcdf9f8f498ca4605785636a.png)
e elevar ao quadrado os dois lados)