This example is from Wikipedia and may be reused under a CC BY-SA license.
Such theories are neither semi-sensible nor recursively enumerable.
In turn, the latter implies a strong form of undecidability for a sequence: it cannot contain any recursively enumerable subsequence.
It would mean that the real systems that are mentally represented do not happen to specify recursively enumerable languages.
The notion of 'passing any effective statistical test', and its consequence in terms of the non-existence of recursively enumerable subsequences, clarifies two major aspects of randomness as unpredictability.
Therefore, the output of the computational procedure claimed to be the heart of the minimalist notion of grammar can be regarded as a recursively enumerable set of numbers.
The overall effect was to marginalize some existing forms of social identification at the expense of others, and eventually to produce new social formations that were 'modern', fraternal, and enumerable.
The third polytope with simply enumerable coordinates is the standard simplex, whose vertices are standard basis vectors and the origin.
From
Wikipedia