非ユークリッド幾何学と数学的道具の代数化