bookwor.ms is one of the many independent Mastodon servers you can use to participate in the fediverse.
a Mastodon instance for book lovers.

Server stats:

96
active users

まげ店長

選択公理をツォルンの補題、ツェルメロの整列定理と結びつけるのは定番なんだけどね。