2021-05-22から1日間の記事一覧
今回の数学エッセーでは、以前にも述べた、定義による保存拡大についてです。 実は、私は初めから統語論的に証明を与えて、一安心して使っていたのですが、 その統語論的な証明が、一般的には難しいとのご意見を聞いたことがあります。 これが完璧な定式化だ…
今回の数学エッセーでは、以前にも述べた、定義による保存拡大についてです。 実は、私は初めから統語論的に証明を与えて、一安心して使っていたのですが、 その統語論的な証明が、一般的には難しいとのご意見を聞いたことがあります。 これが完璧な定式化だ…