数理逻辑一致性

1