An attempt at implementing abstract set theory in the Wolfram Language