阿廷-施賴埃爾定理(Artin-Schreier theorem )序域實閉包的序同構性定理.對於任何一個序域(F,>)，它所有的實閉包都是互為序同構的，換言之，除序同構不計外，序域的實閉包是惟一確定的.
