しばしば幾何学が自然科学における数学として演じている．代数学，解析学だけだとわざわざ数学と自然科学とを分ける必要はない．自然科学によって得られた数学的データはそれが形式的な証明で理解されることによって自然科学としての事実として扱われる．