The theorem thus characterizes a structural feature of a human-constructed formal system, making 'on...