No hybrid proof using diagonalization has emerged in 50+ years despite intense effort, suggesting th...
This proposition has not been edited since the history system was added.