My understanding is that given those eight definitions, it is impossible to prove any inequalities, because no inequality is given as an axiom, nor any properties that are true of some numbers but not others.
My understanding is that given those eight definitions, it is impossible to prove any inequalities, because no inequality is given as an axiom, nor any properties that are true of some numbers but not others.