Arşimet demek her x∈K için ve M∈R için |k⋅x|>M olacak bir k tamsayısı bulunabilir demek değil mi?
Karakteristik p olduğunda {kx:k∈Z}={x,2x,⋯,(p−1)x,0} kümesine eşit olduğu için bu kümenin mutlak değeri de mutlak değer ne olursa olsun sonlu olacaktır. Yani yukarıdaki şartı sağlayamaz.