I understand that it's a stretch; thus the "in some sense" and "close".

See my last sentence. It's not clear to me how you could reformulate analysis, which in many ways is the study of the infinite, into discrete maths in any way other than the very loose sense of starting with ZFC.