這些抽像的問題要到集合論set theory 出現才真正說清楚的。

此前一二百年，費馬、牛顿、莱布尼兹發展微積分也是先信賴直覺(幾何圖形的性质)，放手去做；否則，事事要嚴格的邏輯基礎，將寸步难行。