Quantifying over 'every natural number' already assumes the totality of naturals exists; using only ...
This proposition has not been edited since the history system was added.