前から何となく思っていたんですがロッサーの不完全性定理があるのに何でわざわざゲーデルの第一不完全性定理をテキストに載せるんですか？
ゲーデルに敬意でも払ってるんですかね？

テーラー展開があるのにわざわざx=0の時だけマクローリン展開と言ってるような違和感を感じますｗ