hyperarithmetical theory

ウィキペディアから