ike comments on What’s going on with “provability”?

[ike]

There’s a non-trivial proof of “P or not P” for a specific P.