derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ logic math-other math-category 公理論的集合論もどき - らんだむな記憶で触れた公理論的集合論であるが、ガチな本に近づくほど記号論理学の推件式などが多く出てくる。復刊 公理論的集合論 | 西村 敏男, 難波 完爾 | 本 | Amazon.co.jpなどがそうでとても読めない。 特に推件式まわりでは記号論理学(3) - らんだむな記憶で触れた右含意を含め幾つかの推論規則が理解できず、証明論は1ページ目で頓挫する状態が数年続いていたので困っていた。公理論的集合論もまたこの理由で実質1ページ目で頓挫するのだ。 しかしながら、圏論は小さい圏や真クラス(或は本来的なクラス; proper class)を扱うところで、本当はZFCなり… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F20%2F164003" title="記号論理学(5)と公理論的集合論と圏論と - らんだむな記憶" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-02-20 16:40:03 rich https://randommemory.hatenablog.com/entry/2016/02/20/164003 1.0 100%