>>809
大筋では良いと思うけど、いくつか。
B^AはあるA,Bに対するf:A→Bの全体であって、欲しいのは任意のA,Bに対するf:A→Bの全体（真のクラス）では？
Termとは閉項全体の集合？そうであればTermでなく議論領域とすべき。いずれにしろ無限モデルを持つ一階理論は任意無限濃度のモデルも持つ。
あと細かいが、論理式全体は言語に依存する。当然だから略記してるのであれば問題無い。