她的数学证明有数可推，每一步逻辑都严密。

1. 【严密】    - 很紧密，没有空隙罐头封得很严密｜文章结构十分严密； 周全，没有疏漏严密地封锁｜自然科学发展成为严密的综合体系。

2. 【数学】    - 研究现实世界的空间形式和数量关系的学科，包括算术、代数、几何、三角、微积分等。

3. 【有数】    - 有差别;有等差； 有技艺； 指具体的表象； 有气数﹐有因缘。旧谓命中注定； 谓数量不多或极难得； 谓不止一端;不止一个； 犹言有限度； 谓了解情况﹐心中有底。

4. 【证明】    - 用可靠的材料或事实来表明或判定真伪对错等证明一条定理｜我证明他当时不在场； 可用来证实的材料事实是最好的证明； 以若干判断为根据，断定另一个判断为真的思维形式。断定一个判断为真，不等于该判断确实为真，也不等于一个判断的真实性确实得到断定。只有正确的证明，才能确实断定一个判断的真实性。一切证明都由论题、论据和论证组成，都通过推理实现，论据相当于推理的前提，论题相当于推理的结论，论证相当于推理形式。因此，证明必须遵守推理的规则。

5. 【逻辑】    - 思维的规律：这几句话不合～；客观的规律性：生活的～｜事物发展的～；逻辑学。