how to prove...

by Ozyavas, Adem :: Rate this Message:

Dear All,

How does one go about proving that a real number is not a finite sequence:

for n being real number holds not n is FinSequence

Thanks...

Adem Ozyavas

« Return to Thread: how to prove...