基礎論の目的ってそんなものがあるのか?
代数学の目的とか、解析学の目的ってあるの?