理論の解釈可能性
Def:
言語$ \mathscr{L}_Tの理論$ Tと，言語$ \mathscr{L}_Uの理論$ Uとする．
$ \mathscr{L}_T文を$ \mathscr{L}_U文に送る写像$ I:\mathrm{Sent}_{\mathscr{L}_T} \to \mathrm{Sent}_{\mathscr{L}_U}を解釈という．
$ T \vdash \sigma \iff U \vdash I(\sigma)であるような解釈$ Iが存在するとき，$ Tは$ Uで解釈可能であるといい，$ U \rhd Tと書く．
ただし，$ \sigmaは$ \mathscr{L}_Tの文とする．
$ U \rhd Tかつ$ T \rhd Uであるとき，$ U,Tは相互に解釈可能であるという．