The unprovability of Rosser consistency may be a byproduct of formal machinery rather than evidence ...
This proposition has not been edited since the history system was added.