EDB — 1ZK

[1ZK]Un campo ordinato \(F\) è archimedeo se \(∀ x,y∈ F\) con \(x{\gt}0,y{\gt}0\) esiste un \(n∈ℕ\) per cui \(n x{\gt}y\). (Si veda [20R]↺↻ per la definizione di \(n x\)).