Tennenbaumの定理を追う ～素モデル～

　今回はTennenbaumの定理（の前準備）に必要な素モデルとタイプについてかきました．切りどころがつかめなかったので今回は短めです。

あくまでもTennenbaumの定理の証明を目指していますが，定義可能な元の集合や素モデルはそれ自体が興味深い対象です．そこで余談として「真の算術の素モデル」，「特徴のない数」として少しだけ紹介しています．