Follow

Con(T)はT+Con(T)から(当然)独立じゃないのに「Con(T)がTから独立かどうか」はT+Con(T)から独立になるの冷静に考えるとめちゃくちゃ面白いな

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.