もっていない。高い。 直観主義的集合論 作者:竹内外史 紀伊國屋書店 Amazon 持っている。読んでいないが。 層・圏・トポス―現代的集合像を求めて 作者:竹内 外史 日本評論社 Amazon ゲ-デル 作者:竹内 外史 日本評論社 Amazon 新装版 集合とはなにか はじめ…