Gödel Incompleteness with Closure v3 | Synapse