Gödel’s Completeness Theorem on the Tech Tree