結果誘導的中介定理生成法與逆向公理回填法

一種由目標反向生成證明節點、再由基礎正向回填的雙向證明工程方法論