とりあえず >>707の集合論の知識と論理的思考力が心配になった