強制法ではよく「上のジェネリックフィルター」をとる.こんなものは実在しないのであるが,ではなぜそれがあると考えて議論してもいいのだろうか. 一つの正当化の方法として,Lévyの反映定理を使うものがある.それを紹介しよう. 以下の命題を例に取ろう…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。