シェファードソンの表現定理とゲーデルの不完全性定理は、すれ違いがある。
シェファードソンの表現定理がいくら威張っても、ゲーデルの不完全性定理を
克服することはできない。