Comment by IsTom

> In what sense can a finite set exist and be finite when it is unfindable, unverifiable, and has unboundable size?

The way I see it is that an existence of proof isn't required for something to be true. Something being true is a matter of the model, being provable is a matter of axioms and deduction rules. And there comes the distinction between ⊨ and ⊢.