該定理斷言:阿基米德絕對值的完全域,除拓撲同構不計外,只能是實數域日與複數域C.這個定理也可以表為以下的形式:若卯是域F的一個阿基米德絕對值,則存在實數:,以及由F到複數C的某個子域的同構。這裡是複數在通常意義下的絕對值.這個定理是奧斯特洛夫斯基(Ostrowski, A. M.)於1915年獲得的.
奧斯特洛夫斯基完全域定理 (Ostrowski theo-rem on complete fields)刻畫阿基米德絕對值的完全域的個數定理。
該定理斷言:阿基米德絕對值的完全域,除拓撲同構不計外,只能是實數域日與複數域C.這個定理也可以表為以下的形式:若卯是域F的一個阿基米德絕對值,則存在實數:,以及由F到複數C的某個子域的同構。這裡是複數在通常意義下的絕對值.這個定理是奧斯特洛夫斯基(Ostrowski, A. M.)於1915年獲得的.