Mathematical truths require infinite steps (e.g., proof by induction) yet remain analytic; infinite ...
This proposition has not been edited since the history system was added.