Exponential functions in standard analysis rely on quantification over infinite sequences, which pre...
This proposition has not been edited since the history system was added.