Gödel Incompleteness with Closure v2 | Synapse