代数幾何とか微分幾何とかをやる場合に二階「算術」で行うのは人工的な制限だと思う