kyoneco’s blog

続きです。 kyoneco.hatenablog.com 証明の読み方 7章 限定詞 ー IV 特殊化 ・仮定Aが「存在する」という限定詞を「ある性質」をもった「対象」でそれについて「あることが成り立つ」ようなものが存在するという形で含んでいるとき、このことを証明に使う ・ｘを（ある性質）をもった（対象）で、それに対し（あること）が…