If this is true, it would be a bigger deal to logicians than a solution to P vs NP. My guess is that there will end up being a mistake somewhere (based purely

If this is true, it would be a bigger deal to logicians than a solution to P vs NP. My guess is that there will end up being a mistake somewhere (based purely on statistics of huge claims without full posted proofs), but it seems too early to say anything definitive. Terence Tao has guessed it is wrong, which is evidence against it, but then Nelson acknowledged Tao's remarks and said it isn't a problem, which is interesting. This is making me wish I was more of an expert so I could decide for myself.