戻る

> They will also point out to the author

また、そういったシステム (ツール) は数学者に指摘してくれるだろう、

> cases when it turns out that they didn’t fully perceive what they were doing

(数学者) 自身が何をしようとしているか完全に理解していないことが判明した場合には。

> (by pointing out possibly nontrivial issues which need to be resolved in order to make an argument complete).

議論を完全にするために解決が必要な非自明な課題を指摘することによって。