>>497
「証明された後の言明そのものは単なる自同律」「今後は公理系の話でも始める?」 

どう答えれば満足する?