数学逻辑性强吗