可能な限り大きな有限の数を定義するために、可能な限り大きな可算無限の数を探そうとする試みのひとつが「みくみく順序数」ですが、現状、めちゃんこでデカイですが、研究者界隈ではかなり小さいです。
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **