Konstrukcja z części  I gwarantuje, że wszystkie definicje liczb rzeczywistych znajdą się na liście aL za wyjątkiem liczby L, będącej graniczną wartością zbieżnych przedziałów. Lista RL∞ nie jest pusta, bo znajduje się na niej tekst definiujący granicę przedziałów zagnieżdżonych lim∞aL i nie może pozostać na niej definicja żadnej liczby rzeczywistej różnej od L, bo wtedy...Read More