类比在精确的数理领域里的高级作用