18125 | Berry's Paradox considers the meaning of 'The least number not named by this name' [Bostock] |
13484 | Berry's Paradox: we succeed in referring to a number, with a term which says we can't do that [Hart,WD] |
9638 | Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR] |
13370 | 'x is a natural number definable in less than 19 words' leads to contradiction [Priest,G] |