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:

http://www.brunni.de/sets/natural_number.cgi?number=*number*#set

Example: 10

http://www.brunni.de/sets/rational_number.cgi?a=*numerator*&c=*denominator*#set

Example: 5/3

http://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 V_{6} - which contains all 65536 elements of
V_{5} 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.