逻辑公理

昨天 11:063 浏览综合
是否所有对映都有相应二维逻辑线路组合
是否所有数学公理都能找到对应逻辑证明