ポコチンが人並みであるかどうかを
証明するためには
他の人のポコチンを見なければならないが
それを見たところで
やっぱりその人のポコチンが
人並みかどうかを証明するために
また他の人のポコチンを見なければならない
つまり、ポコチンが人並みであるかどうかは
完全に証明することは不可能である

このことを
短小界では
不完全性器定理と呼ぶ