An abstraction principle is a formula stating that two abstract objects are identical if and only if the objects they…