いい勉強した。
公理系aで作った巨大数A
公理系bで作った巨大数B
公理系aと公理系bはたがいに矛盾する。
このとき、巨大数AとBの大きさを比較できない。
故に、巨大数はZFC公理系で競うことで、競技性が確保できると。
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **