Such a transition from the discrete to the continuous is precisely the point of Nelson's Radically Elementary Probability Theory (REPT). It recently turned out that when viewed as a subsystem of BST, REPT is conservative over ZF+ADC.
Mikhail Katz
- 16.6k
- 2
- 54
- 127