逆数学って最先端
今どうなってんの?