情報求む

Martin-Lofがこの前の日本講演旅行で"Zermelo's Axiom of Choice 100周年"について話をしていたそうですが、その中で「membershipもintensionalでなければならない」と言ってたそうですけれど、詳細をご存じの方いたらお教え下さい。