誰うま

第二不完全性定理はメタメタ数学だと思うんだけどほかのそういう例があんまりわからない。

私が興味あることの一つは「メタメタ数学」かもしれない。もちろん、階層をただ一つあげるということではなくて、数学とメタ数学の関係（あるいは、数学とメタ数学とさらにそのメタと……の関係）を数学するの。