This statement (G) is true if and only if it cannot be proven within the system.