rmp3sの家の前

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

2017-06-27から1日間の記事一覧

ゲーデル

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