페아노 산술의 언어 L-peano를 해석할 수 있을 정도로 강력한 임의의 언어 L 속의 문장 집합의 일부인 임의의 이론 T에 대하여,

~[T ㅏ Con(T)] or ~Con(T)

T가 모순적이거나, T로부터 T의 무모순성을 증명할 수 없다.