
a qual é verdadeira para
,você supõe que para um
arbitrário
é verdadeira e com base nesta suposição mostra que
também é verdadeira . Ou seja, você está dizendo que
, pois
e
(Hipótese )
implicando
.(Se o todo é sempre maior que qualquer uma de suas partes e esta é maior o todo ; logo só pode ser
)
= o subconjunto dos números naturais
para os quais
,i.e,
.
pertence a
,i.e , checkar se
é verdadeiro .
verdadeiro ; assuma que
,i.e,
é verdadeiro .
. 
Usuários navegando neste fórum: Nenhum usuário registrado e 4 visitantes

.
: