Such a statement is a sort of Catch-22: if G is provable, then it is false, and the system is therefore inconsistent; and if G is not provable, then it is true, and the system is therefore incomplete.
このような言明は、キャッチ22とよばれる種類であり、Gが証明可能であればそれは偽で、したがって体系は矛盾しており、Gが証明不可能であればそれは真で、したがって体系は不完全である。