算术定律是先验综合的还是分析的？