User blog comment:Ikosarakt1/Another research in comparisons between FGH and SGH/@comment-5529393-20131030210834/@comment-5150073-20131031222411

Yes, if we want to get a complete system of axioms, we must include inequalities and equalities as well.