数学的逻辑性强吗