確定記述を使った主語述語構文 "The F is G." を標準的な述語論理の言語に翻訳すると ∃x(Fx ＆ ∀y(Fy → x=y) ＆ Gx) となる（ラッセルの記述理論）。ただし、述語論理の言語にイオタ演算子ιを付け加えて*1、"the F"を個体を指示するタームのように扱う方法も…