In turn, this list serves as the definition of the natural numbers and the set of all the sets that conform to this list is denoted as NAT.
Im Gegenzug dient diese Liste als Definition der Natürlichen Zahlen und die Menge aller Mengen die mit dieser Liste konform sind wird mit NAT bezeichnet.