@kfogel Would you accept "real number" or "ordinal" in #constructiveMathematics ? Although I suppose that might be too technical of an example; your examples are quite good.
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.