In article <email@example.com>, firstname.lastname@example.org wrote:
> In mathematics we don't accept elements that cannot appear in mathematical > discourse, dialogue, or monologue (i.e., which cannot be thought of).
We accept all sorts of things that can only be defined as members of defineable sets, but can have no individual definitions.
Note that not every subset of the set of all finite definitions can have for itself a finite definition., as that would require a surjection from a set to its power set, which cannot happen, at least not outside of WM's wild weird world of WMytheology. --