yoriyuki is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
yoriyuki @yoriyuki

そこでメレオロジーですよ。

いや、公理が無数にあって沼だし、数学の基礎としては(他の述語を足さない限り)弱すぎる。

· Web · 0 · 1