Strict finitists can represent finite approximations and concrete bounds on computation for practica...
This proposition has not been edited since the history system was added.