rmp3sの家の前

1年くらいで消えていく言葉の鉢植えたち

ゲーデル

incompleteness theoremを証明した彼が、無矛盾性の証明にいちばん関心をもっている。構成的という興味のある概念を提出して、すべての集合が構成的であるという公理がいろいろすばらしい結果を生むことを証明した彼が構成的でない集合の存在を信じている

(現代集合論入門 竹内外史

 

現代集合論入門 (日評数学選書)

現代集合論入門 (日評数学選書)