数学上指从已知条件出发，根据定律、定理等寻求未知问题的答案。