>>796
>他にも、定理Yの証明の中で別の定理Xの証明の中で使われてる数式や議論を参照することがあるけど、
>これはプログラミングの世界で言えば、ある関数の中で別の関数の中の変数を参照することと同じ。完全な御法度。
これはよく使われるのでサブルーチンとして使いまわしてるモジュール化的手法だろ。
>昔の本なんて酷い時なんて、定義/定理/証明の枠組みで述べることすら放棄して、自分の頭の中にあることを書き殴って、｢さてここで定理として述べておいておこう｣なんてざらにあるからな。
これこそ人間相手に可読性を持たせる為いちばん重要なコメント文になってるケースが多い。