If human cognition is substrate-reducible to a formal system, humans are subject to the same Gödelia...