>>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.