Writing the completion also requires explicit use of the equality predicate and the inclusion of a set of appropriate axioms for equality.
Написання завершення також вимагає явного використання предиката рівності і включення набору відповідних аксіом для рівності.