Text this: From Gödel incompleteness to the consistency of circuit lower bounds