generated at
集合論



descriptive set theory
算術的階層みたいだmrsekut