Gödel's incompleteness theorems
その目的自体は不可能であることがクルト・ゲーデルの不完全性定理より1931年に証明された。だが、数学の一般的なトレンドは、完全に定義をすることができない数学的対象を考慮することを避けることを根拠として、有限項的なアプローチを用いることである。