>>10335368
>>10335378
Let me rephrase that.
If you mean some proof like
"assume that the set of (positive) integers is finite
let x be the greatest positive integer
however x + 1 > x
that is a contradiction"
All that is saying is that if you assume that there is a largest positive integer, you get a contradiction, therefore there is no largest positive integer, and thus the integers are not finite.