で，リーマン予想がZF公理系で決定不能って証明できれば，リーマン予想が証明されるよね，ってことなのかなぁと
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼（ボカロドン）」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **
