物理の理論そのものを数学的対象として扱う理論ってありますか?