Question

Why we can consider G true?

Answer 1

under such an assumption we can derive either G or "G is true" but as we .... And, finally, if we consider the fact that G has the form

Answer 2

because it is always constant