David_Gerard comments on Explained: Gödel’s theorem and the Banach-Tarski Paradox