修士論文。Solovayによる「ZF+弱い選択公理+“任意の実数の集合が可測”」という体系の無矛盾性証明と、およびKhomskiiによる一般化、そしてSolovayの逆向きの結果であるShelahの結果についてのサーヴェイ論文。また、上述の体系における代替的な解析学の結果も簡単に紹介。