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