>>380
つづき

(参考)
youtu.be/XbSTqUinCf4?t=1
存在例化
下嶋篤
2020/07/04
文字起こし

2:25
「その人」という形で一旦ある人を固定する というようなことをやるわけです
3:06
仮の名前・架空の名前を一旦つけてあげる ということをやるんですね
3:11
その架空の名前を — 例えばcという名前を — つけて なんやかんや考えている
3:37
こうやって証明をしていくというやり方なんですね
3:40
ですから一旦存在している人 — 誰かわからないけれども —
3:44
そいつに仮の名前をつけてそれで話を進めていく
3:47
そういうような証明のテクニックが 存在例化ということになります

5:53
ここのポイントはですね
5:58
ここで得られた結論は
6:00
ここで勝手につけた名前k kという名前を含んでいませんね
6:06
これはkという架空の名前 kを使っていない主張になりますね
6:14
ということで
6:17
こういう もはや「k」という名前を使っていない 主張が導けるということは
6:23
ここでどんな名前をつけたって 結局これが得られたってことになるわけです
(引用終り)
以上