また抽象の話なんだけどさ、数学を構造として見渡すために抽象的な公理的方法によって数学を記述するっていうこととはようは前にも書いたように全体像というか、とりあえず記述する内容のものに関して言えば全体像が見えているってことだよね。そういう全体…