数学逻辑定义