P vs NP differs from known independence results—it's concrete (about algorithms), while CH is abstra...
This proposition has not been edited since the history system was added.