https://antennamediatorino.eu/en/did-russell-understand-godels-incompleteness-theorems/