[irontinkerer]

Per the end of your article, have you started writing about the 2nd theorem yet?

[dvt]

I did (https://dvt.name/2018/04/11/godels-second-incompleteness-the...) -- but like I mentioned, it's not very accessible and I don't think it's a particularly good explanation, either (although I've yet to find one I really like, to be honest).