>>548がメタ定理

　「哲学は１００％数学の研究に影響しない。」

の証明に失敗した模様です。