Library / How Gödel’s Proof Works