数学逻辑思维有必要学吗