>>71
>並べられる健全性も「証明可能ならば標準モデルで真」と解釈すべきでは？
そういう妙に緩い「健全性」って意味あるんでしょうか？