調べたら トポス量子重力があった。
何でも当てはめられる万能の数学論理、
圏論 トポス、
数学でも 一般化無意味の批判があったが。
今の数学証明は形式だけかなw