gdy nie jest liczbą Richarda.
Podobnie jak wyżej, pozorna sprzeczność bierze się stąd, że definicja właściwości bycia liczbą Richarda niejawnie zakłada, że podzbiór tych ciągów słów, które definiują właściwości liczb naturalnych jest rekurencyjnie przeliczalny. Ponieważ tak nie jest, nie można w sposób zupełny zdefiniować właściwości bycia liczbą Richarda, przy pomocy ustalonej, skończonej liczby słów.
Zobacz też antynomia Russella definicja niepredykatywna problem stopu
Przypisy
Bibliografia
Kategoria:Paradoksy teorii mnogości Kategoria:Liczby rzeczywiste