提高数理逻辑智慧