今回はTennenbaumの定理（の前準備）に必要な素モデルとタイプについてかきました．切りどころがつかめなかったので今回は短めです。あくまでもTennenbaumの定理の証明を目指していますが，定義可能な元の集合や素モデルはそれ自体が興味深い対象です．そこ…