2011-01-22 テキスト 凄い!……けど日本語でも内容が分からないorz まとめ 勉強 数学 オンラインで入手できる数理論理学・数学基礎論のテキスト 凄い!……けど日本語でも内容が分からないorz