記事"Defect of formal algebra 2"にあるように、整合な数学の中には可算集合や連続体は存在しない。
よって代数体や多様体も存在しない。ミレニアム問題ではPoincaré予想とHodge予想が多様体の
問題なので問題自体がナンセンスで証明も否定もできないはず。Poincaré予想は証明されたが
証明の中で連続体を集合としてあつかっているのではなかろうか。もとよりホモトピー球面も複素
射影多様体も存在しないのだ。
代数的整数論は可算集合達の研究だからナンセンス。C上の代数幾何学は連続体達の研究
だからナンセンス。
よって代数体や多様体も存在しない。ミレニアム問題ではPoincaré予想とHodge予想が多様体の
問題なので問題自体がナンセンスで証明も否定もできないはず。Poincaré予想は証明されたが
証明の中で連続体を集合としてあつかっているのではなかろうか。もとよりホモトピー球面も複素
射影多様体も存在しないのだ。
代数的整数論は可算集合達の研究だからナンセンス。C上の代数幾何学は連続体達の研究
だからナンセンス。