このような言明は、キャッチ22とよばれる種類であり、gが証明可能であればそれは偽で、したがって体系は矛盾しており、gが証明不可能であればそれは真で、したがって体系は不完全である。