This is a needless qualifier for the argument at hand.

A proof can just be "assuming these axioms.....the area of a triangle is X"