Mathematical facts about what is unprovable in PA remain invariant regardless of how we notate prova...
This proposition has not been edited since the history system was added.