It would be nice to add a discussion of [[unfolding (logic)]] and how it connects [[finitist arithmetic]] to PRA and [[non-finitist arithmetic]] to [[Peano arithmetic]], as discussesdiscussed by Feferman, Strahm [https://math.stanford.edu/~feferman/papers/UnfoldFA.pdf Unfolding finitist arithmetic] (2010) but as can be seen, the various red-links make this currently quite difficult. [[Special:Contributions/67.198.37.16|67.198.37.16]] ([[User talk:67.198.37.16|talk]]) 20:31, 8 July 2016 (UTC)
