New posts in Finitism

How far can one get in analysis without leaving $\mathbb{Q}$?

If all sets were finite, how could the real numbers be defined?