The essence of Gödel's incompleteness proof

cross-posted from: https://lemmy.world/post/30756980

Oh really?

In a user manual I came across recently.