2025.10.12

https://gyazo.com/f9530695f5c6b5c78efc78fd18134845

メモ

セトリ2が完成，これから上の画像になる

思った

メモ

クワインの新基礎集合論NFは無矛盾であることが証明されているが全然使われているのを見たことがないのはシンプルに使い物にならないぐらい弱い体系なのか技術的に面倒なのかどういう理由なんだろう