This approach also adds certain axioms about equality to the deductive system employed.
Αυτή η προσέγγιση προσθέτει, επίσης, κάποια αξιώματα σχετικά με τη ισότητα στο συμπερασματικό σύστημα που χρησιμοποιείται.