0322132人目の素数さん垢版 | 大砲2014/05/08(木) 20:00:37.74 集合論の言語は有限文字しかないから 論理式の集まりに整列順序を入れられる。 だからこの場合ACは無くても可算な初等部分構造を取れる。