question to chase
Which of the three conditions is the weakest link when the theorem is applied to minds?
The theorem needs rules a computer can check, enough arithmetic, and consistency. For a mind, each of the three is a claim someone has to defend.