If prime, 2017 is the year Riemmen's Hipothesis is proven right or wrong

are you kidding? on a slow moving board like Veeky Forums?

this isn't /an/ or /po/

Maybe.

QED

it's still slow enough to manage

That's not how meme magic works.

>8693019

ah well i forgot an arrow

damnit

ha!

For a statement S, could there ever be a proof P1 of that statement such that P1 doesn't prove S directly, but rather it proves that another proof P2 must exist and be valid, and that P2 does prove S?
And P1 is unequal to P2.

Ie could we prove that a proof must exist for some statement, without actually finding that proof?