>>50
＞初めに与えられた 述語、関数記号が整列されている場合、

で、PAやZFCでは、述語、関数記号が整列されていることは
「よく知られている」のですか？

よく御存知とはおもいますが、関数記号の中には定数記号も含まれます。
定数記号も整列可能である、と断言できるのですね？