P = NP

Theorem 42:

The P = NP problem is unsolvable. The unsolvability property is unprovable.

Proof:

1. Bruce knows everything
2. Bruce has not proved P = NP
3. Therefore P = NP is unsolvable
4. But Bruce has not proved this
5. Therefore this is unprovable