自主數學研究代理循環

結果誘導中介定理生成、逆向公理回填與知識條件化類窮舉的初步架構