>>264
>いろんな対象に名前を付ける 各人勝手で良い
>選択関数fを、gでも良いし、hでも良いし 各人勝手
>ある人のある議論の中だけの固定

残念ながら、ある議論の中で、
fという名前しか出てこなければ
その議論の中で複数の人が出てくるとしても
各人が勝手にgとかhとかいう別の名前の
別の関数を使うことは許容されない
それがfへの一意化　それが議論　それが証明