Different proof systems encode logical consequence differently, so unprovability varies by formal ar...
This proposition has not been edited since the history system was added.