逻辑公理

05/0810 浏览
是否所有对映都有相应二维逻辑线路组合
是否所有数学公理都能找到对应逻辑证明