経路積分は無事に数学的に定義されたと聞いた覚えが…
ペレルマンのリーマン予想の証明に出てくるNLSMは
ちゃんと数学的に定義されているのか気になってるけど、
定義されてるから数学的に認められてるんだよね?