位相的場の理論の公理化は、また別の話だよね？。