不完全性定理のスケッチが示された15年後にはQuineによって「算術というより連結という操作が良くない！」という洞察が得られているのあまりにも鋭いと思うし、その後Grzegorczykが取り上げるまで60年ぐらい下火だったっぽいの悲しすぎる（これは不確かな歴史です）