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