ある理論 が -範疇的であるとは， 「濃度が である任意の二つのモデルが同型である」 ときにいい，目標である範疇性定理は当然この範疇性にかかわる定理です．さて，今回は逆に「範疇的でない理論」を考えようと思います．どのような理論は範疇的にならない…