nayukana.info は、数々の独立したMastodonサーバーのうちのひとつです。サーバーに登録してFediverseのコミュニティに加わってみませんか。

サーバーの情報

8
人のアクティブユーザー

「ないものはない」は「そこになければないですね」と「すべてありますよ」の両方の解釈ができる

これは数理論理学的に解釈してなぜか考えると……なぜだ……?

こるもJS

「命題P(x)を満たさないならばx∉X(なければない)」と「命題P(x)を満たさないx∉Xは存在しない(すべてある)」の両方が「ないものはない」と言えるから。かな?