タッパーの自己言及式
このとき、上の不等式を満たす 0 ≤ x ≤ 106 {\displaystyle 0\leq x\leq 106} および k ≤ y ≤ k + 17 {\displaystyle k\leq y\leq k+17} をグラフに描くと、不等式そのもののように見える形になる。
実際には、上の不等式は自己言及的というわけではない。グラフの形の情報は k の値に符号化されており、不等式はそのグラフを描くための一種のデコーダとして機能している。つまり、上に記載した k の値はグラフに描くと不等式の形になるように選ばれており、 k を他の値にすることによって同じサイズの任意の形のグラフを描くことができる。
オリジナルの不等式ではグラフの高さは17という制限が付くが、他のサイズのグラフを描けるように不等式を一般化することもできる。