ヒルベルトは（もちろんその他の人も）無矛盾なら即、研究する価値を持つとは
全然言ってないし書いてもいないので、441の書き方はどうかと思う。
まあ岡先生自身もそういう風には書いてないと思うけど。