証明の同義語

https://arxiv.org/abs/2102.03044 の冒頭、同語義：

• {mathematical | logical | rigorous | formal | rational}* {derivation | proof}

単なる多義語ならいいのだけど、実際には曖昧語になっているのがタチが悪い。