On: How Gödel's Proof Works (2020)

[jpulgarin]

G says: "I am not provable". As shown by Gödel, that's a true statement about G, ergo G is true. That first-order logic cannot prove it to be true is an indictment on the power of deduction, not on the truthiness of G.