入門数学基礎論 の商品レビュー

倉田令二朗(著者)

2012/01/14

数学基礎とは、難しいものの代名詞だということがわかりました。
初めてみたものには、
　スコーレムの定理
　ヘンキンの証明
　エルブランの証明
などがありました。

内容は理解できていません。ごめんなさい。