Gödel Incompleteness with Closure | Synapse