ドジソンの本棚

はじめに ここでは【ε-N論法】はさみうちの原理の証明をします。 前回↓の続きです。まだ見てない方は①からどうぞ。 dodgson.hatenablog.com 証明 ・に対し、を満たし、 ,ならば、である。 この証明だ。 準備：まず示したいのは、 ]である。 このように方針を立てるのは重要だ。 を分解して、とすれば道が見えてくるはず。 …