متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: در علوم صوری، دامنه سخن (به انگلیسی: domain of discourse)، همچنین جهان سخن، مجموعه جهان، یا به اختصار، جهان، مجموعه‌ای از موجودیت (entity) هاست که متغیرهای صوری مشخصی می‌توانند رو آنها تغییر کنند. 
موضوع:
دامنه سخن