莫利範疇性定理(Money categoricity then -rem)模型論的基本定理之一設T為可數語言獷中的完全理論.如果T對某一不可數基數a是a範疇的，則T對每一不可數基數R都是R範疇的.莫利(Morley,M.)的這一定理及有關研究，開闢模型論中關於形式理論的範疇性及穩定性的新的研究方向.隨後，謝拉赫(Shelah , S.)把這一定理推廣到不可數語言的情況.謝拉赫等人並在穩定性研究方面作了大量工作，深人發展了模型論中的穩定性理論.
