> Godel-type unprovability is separate from logical independence What do you mean by this? The Goedel sentence of a system is logically independent from the sy

> Godel-type unprovability is separate from logical independence What do you mean by this? The Goedel sentence of a system is logically independent from the system by the standard meaning of "logical independence".