Is there any plan to support set theory or logical statements

[Dboingue]

I am not sure how to describe this, but it seems absent from the feature set.

The ability to define sets, and space structures. And maybe even have symbolic logic, without having to compute boolean. Mathematica does have such a feature. If there is another wording for equilvalent existing feature, I would be glad to be redirected. Perhaps Sage math also has such feature. I am still looking around.

[ChrisRackauckas]

At this point no one is working on it, but I would not be opposed to someone picking it up.