寧ろ生物学とかの他の自然科学の方が
言葉の定義は緩いだろう。

原生生物の厳密な定義とか、いまだに分からんし。
原始的な真核生物、くらいの意味だろうとは分かるんだけど。

数学の証明は、原理的には機械でチェックできるレベルまで厳密に書けるからね。