>>182
そのやり方では、公理系のモデルを構成する側の体系の無矛盾性に問題を移し替えただけ