数学逻辑性是什么意思