https://9lib.org/document/q2n6j4x6-gödel-s-second-incompleteness-theorem-explained-words-syllable.html