微分幾何における計量って天下り的に2次形式になってるけど、それは現実世界の幾何と合わせるため？
それとも抽象的に「平坦性」か何かを先に定義して、ユークリッド計量が自然もしくは特別なものだと示すことが出来たりする？