This encoding fails. Choose two distinct sets and , for example the first two finite von Neumann ordinals. The distinct ordered triples and both encode asIndeed the repeated singleton in the first encoding and the repeated two-element set in the second disappear when forming an ordinary set. Thus the middle coordinate cannot always be recovered. The issue is loss of multiplicity, not a failure to construct a set.
Articles by others on the same topic
There are currently no matching articles.