Report a problem related to object: On the logical semantics of the symmetric constructive logic based on the properties of recursively enumerable sets