Conflating these two levels obscures whether a claim's unprovability stems from formal limitations o...
This proposition has not been edited since the history system was added.