The deduction is a finite object that can be verified by hand or computer.
From the point of view of formal languages this is immediately a problem, since syntax rules are expected to generate finite objects.
In a finite, tangible world, numbers merely enumerate finite, tangible objects.
And it was perfectly natural that the form of art that dominated his culture should be sculptures: static, finite objects bounded by surfaces.
Finitism is a philosophy of mathematics which only accepts the existence of finite mathematical objects.
All agreed about finite mathematical objects like natural numbers.
Therefore allowing infinite mathematical objects would not cause a problem regarding finite objects.
This consistency proof should preferably use only "finitistic" reasoning about finite mathematical objects.
It took several hours for the dot to grow into a finite object.
Instead of gazing at infinite space, we find ourselves staring at the nether regions of a finite object.