The natural numbers lack intrinsic boundaries; what counts as 'all' depends on constructive or set-t...
This proposition has not been edited since the history system was added.