Re: universe set?

On 06/18/2024 06:18 AM, FromTheRafters wrote:

David Chmelik has brought this to us :

On Tue, 18 Jun 2024 12:05:45 -0000 (UTC), David Chmelik wrote:
>

Is the universe set called univrset?

>
'universet'

>
Domain of Discourse. Usually a blackboard bold (or doublestruck) D is
the symbol.

See for exampler Forster's "Set Theory with a Universal Set".
The idea that a universal set exists is called "Domain Principle"
or "Domainprinzip".
The domain of discourse is a usual term.
See for example Finsler and Boffa, Kunen inconsistency,
set of all sets, order type of ordinals, group of all groups,
infinite-dimensional space, "Continuum", sometimes just
"the world".