finally, hereditary sets have arrived in the Linked Open Data cloud!
You can use the following URIs to refer to some of them or retrieve machine readable data about them:
https://www.brunni.de/sets/natural_number.cgi?number=number#set
Example: 10
https://www.brunni.de/sets/rational_number.cgi?a=numerator&c=denominator#set
Example: 5/3
https://www.brunni.de/sets/v6.cgi?number=index#set
Where index is a natural number. A set with index a is element of the set with index b iff bit a-1 of b-1 is 1.
See Von Neumann universe.
The natural number 0 (the empty set) has index 1.
The natural number 1 has index 2.
The natural number 2 has index 4.
The natural number 3 has index 12.
The natural number 4 has index 2060.
The index of natural number 6 already has much more digits than the number of atoms in the know universe.
The last element of V6 - which contains all 65536 elements of V5 is here. The index of this set has 19729 decimal digits that are part of the URL - maybe your browser cannot handle this. This server should handle URLs with up to 32751 characters.