Assertion: real number | /r/CapableOf | use finite strings of symbols
Facets:
Source sentences:
text: (No system for labeling the real numbers using finite strings of symbols take from a finite alphabet, no matter how huge, can possibly work.)