Proof sketch for Gödel's first incompleteness theorem

ID: proof-sketch-for-godel-s-first-incompleteness-theorem

New to topics? Read the docs here!