Do finitists, rejecting the axiom of infinity, believe there is the biggest natural number, or that there exist arbitrarily big numbers, but they just can't talk about a set of all naturals?
And if it's the latter, do they think set of all naturals exist, but it's existence can't be proven in their framework, like large cardinals in ZFC, or that it doesn't and can't exist?