ディラック作用素のアノマリーで
超対称性量子力学を多様体上で経路積分し
不変量を求める。
次に 数学の指数定理の証明では 数学の論理に
上げる。
物理の「証明」→数学の「証明」は
方針としてありえる。