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

假设B包含A,就是说A有一部分属于B的一部分,这一部分当然不可能超出A的范围,这时候当然的,A包含着被B所包含的A的一部分

说白了就是你(B)包含你的手(你的胳膊A的一部分),你的胳膊(A)当然包含你的手.

当然这个比喻不是很恰当

我俩共有一件东西,这东西当然即属于你也属于我