>>236
逆数学にとって数学が二次的な対象でしかないことは誰も否定して無いと思うが。