>>249
>強制法には到達不能基数が必要と考えているとすればそれは間違い
その通り。あくまで到達不能基数が必要な場合があるというだけ。どんな場合でも必要というのは間違い。

Lは到達不能基数、強制法どちらとも相性が悪い。
だからといって
>強制法には到達不能基数が必要
は帰結されない。