被数理逻辑的成功激励的