Michael F. Atiyahがリーマン予想を証明しました。

Michael F. Atiyahがリーマン予想を証明しました。at MATH

Michael F. Atiyahがリーマン予想を証明しました。 - 暇つぶし2ch265:１３２人目の素数さん
18/10/01 20:52:09.39 upvW/ol+.net
なぜなら、
もしAが真であることがペアノの公理系から証明可能なら、
ZFCの中でペアノシステムを構成して同じ