数理逻辑问题:为什么有公理A->(B->A)