In another thread, which I cannot find now, the argument was made that from Zeno's paradox one sees that space and time cannot be Continuous and has to be discrete. Quite apart from what science shows about space time eventually, it has been showed that Zeno's paradox can be resolved without much of a problem in modern Mathematics and set theory. Thus finite line segments can indeed be composed of an infinite number of zero dimensional points and such a line can indeed be composed out of an infinite number of ever decreasing intervals... both for intervals of time and intervals of space. The proof for this was requested. I believe the best one is the visual proof of Balzano-Weirstrass theorem (see below) which shows the idea of line segments made of infinite number of points or an infinite number of decreasing intervals is quite consistent.
Bolzano–Weierstrass theorem - Wikipedia
Bolzano–Weierstrass theorem - Wikipedia