>>399
> 公理的集合論(略)の研究者で

実際に何やってる人?
組合せ論的な構成可能集合の研究とか?