不完全性定理はメタ数学の定理だな
メタ数学と数学を同一視するかどうかという点で哲学的に一悶着ある