>素朴集合論や群が必要になる

中学のユークリッド幾何は図形の科学で公理の数学ではない
代数もしかり