Comment by LPisGood

If a theorem has a published proof, it is either formalizable or incorrect.