從暫態公理到可回填橋樑

黎曼猜想案例中的結果誘導中介命題重建 — 一個非證明性的逆向結構設計實驗