数体系が無矛盾であれば決定不能な命題を含む、というのはそういうことではないんですか？
集合論の公理系または論理体系そのものがまだ役不足のものしか見つかっていないということでは
ないんですか？