3 ms·Perhaps he does, but I don't think he does so in the proofs of his incompleteness theorems.by rcthompson 15y agoPerhaps he does, but I don't think he does so in the proofs of his incompleteness theorems.