自分の中でHenkin定数と変数との交換あたりの理解が上手く行かず思うように再構成できない。 一週間くらい考えれば何とかなると信じたい。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。