数学的定理および補題名付けは、定理証明と問題解決プロセスに重要な影響を与えます。新しい数学上の概念や関係性を記号化し命名することで、複雑な数学問題を効果的かつ効率良く扱うことが可能となります。具体例として、「レマ」という補題（lemma）用語は主要結果（theorem）へ至る過程で使用され、論証段階ごとに整然かつ論理的に進行します。このような名前付け手法は推論プロセス全体を整備し、洗練させる役割を果たします。また、「エピステミック不確実性」という概念も導入されており，これら名称及びその背後にある抽象化思考パターン等から得られた情報量・予測精度向上等，計算科学分野全体へ波及効果も期待されます。