If exponentiation behaves consistently across all standard formal systems, distinguishing provabilit...
This proposition has not been edited since the history system was added.