そんな文章の中の一単語が正しいとか間違いだとかいい加減やめようぜ。
文章の大意には何の関係もないし。もっと本質的な議論しようよ。

思うに>>358が核心を突いていると思う：
>反基礎の公理が必要（または有効）な「理論展開」には
>フラグメントのモデルを中に作るっていう面倒な方法で我慢しろと言っておいて、
>基礎の公理が必要（または有効）な理論展開（超限帰納法とか）については
>「well-founded part に制限したときに成り立つ結果と読みかえる」
>のは「大きな犠牲」というのは、手前味噌過ぎないだろうか？
相手には議論のたびにフラグメントを取ってそのモデル（推移的でない）で我慢せぃ、
自分たちは（フラグメントではない）推移的モデルでも我慢できない。
これにPFA派から反論とかあると面白いんだが。