>>169
決定可能と認識論的に弱いこととはどういう関係があるの?