解释

数理逻辑。