数理逻辑是在传统归纳逻辑的基础上发展起来的。