Arşimet demek her $x\in K$ için ve $M\in \mathbb{R}$ için $|k\cdot x|>M$ olacak bir $k$ tamsayısı bulunabilir demek değil mi?
Karakteristik $p$ olduğunda $\{kx:k\in\mathbb{Z}\}=\{x,2x,\cdots,(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.