論理学にはまっている。 議論の展開をみていると、文章の集合を考えて、それを分解して原子命題(公理)まで還元できるかという話に落ちている。「これって、集合論より圏論のほうが見通しがいいじゃないかなぁ。」と思っていると、やはりあった。「圏論による…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。