是的。你把公理系统考虑成一个argument，实际上就是 Axioms => Theorems，这个本身就是逻辑推断的结构，问题是这个结构有没有前提？我们为什么要这样思考，这样思考是不是一定有效的？
“(ii) Identity through time. I can identify experience as mine only if I locate it in time. I must therefore ascribe it to a subject who exists in time and endures through time. My unity requires my continuity. But to endure is to be substantial, and nothing can be substantial unless it also enters into causal relations. I endure only if my past explains my future. Otherwise there is no difference between genuine duration and an infinite sequence of momentary selves. If I can be conscious of my experience at all, I can therefore conclude that I belong to a world to which such categories as substance and cause are correctly applied, since they are correctly applied to me. A condition of self-consciousness is, therefore, the existence of just that objective order which my experience suggests to me.”
Excerpt From: Roger Scruton. “Kant: A Very Short Introduction (Very Short Introductions).” Apple Books.
按照康德的说法，人之所以会按上面的这种 A => B 进行思考，是因为这样的思维模式是被experience presupposed的，所以是先验的。人的思维模式来自于对时间和空间的感知，不过这里我只关注的是时间。