成下标1。给定素数，进赋值的定义如下：任何非零的有理数可以唯一写成formula_7。其中整数、和两两互质。是整数。的进赋值为：
另一个奥斯特洛夫斯基定理.另一个奥斯特洛夫斯基定理指出，任何阿基米德的绝对赋值完备域（从代数结构和拓扑结构方面）同构于实数域或复数域。这有时也称为奥斯特洛夫斯基定理。