این مطلب در وبسایت ویکیپدیا قرار داده‌شده. شما به عنوان یک ناشر، کدام‌یک از متن‌های زیر را به عنوان خلاصه انتخاب می‌کنید؟

مقاله: دامنه سخن معمولا در ابتدا مشخص می‌شود، به طوری که نیازی نیست هربار محدوده متغیرهای مرتبط را تعیین کنیم. بسیاری از منطق دانان، گاهی اوقات، تلویحا بین دامنه یک علم و جهان سخن یک صوری سازی از آن علم تمایز قائل می‌شوند. جوزپه پئانو، نظریه اعداد (حساب اعداد صحیح مثبت) را صوری سازی کرد، به نحوی که دامنه‌اش را اعداد صحیح مثبت قرار داده و جهان سخن را شامل همه اعداد، و نه فقط اعداد صحیح در نظر گرفت. برای مثال، در یک تعبیر از منطق مرتبه اول، دامنه سخن مجموعه‌ای از اشیاء است که سورها بر روی آنها تغییر می‌کنند. یک گزاره مانند ∀x (x ۲ ≠ ۲) مبهم است، اگر دامنه سخنی مشخص نشده باشد. در یک تعبیر، دامنه سخن می‌تواند مجموعه اعداد حقیقی باشد؛ در تعبیر دیگر، می‌تواند مجموعه اعداد طبیعی باشد. اگر دامنه سخن مجموعه اعداد حقیقی باشد، این گزاره غلط است؛ با x = √ ۲ به عنوان یک مثال نقض. اگر دامنه مجموعه اعداد طبیعی باشد، این گزاره درست است، چرا که ۲ مربع هیچ عدد طبیعی نیست. اصطلاح جهان سخن به‌طور کلی اشاره به مجموعه اشیاء مورد بحث در یک گفتمان خاص دارد. در معناشناسی نظریه مدلی، یک جهان سخن، مجموعه اشیائیست که یک مدل مبتنی بر آن ساخته شده‌است. مفهوم جهان سخن عموما به آگوستوس د مورگان (۱۸۴۶) نسبت داده می‌شود، اما همین نام برای نخستین بار در تاریخ توسط جرج بول (۱۸۵۴) در صفحه ۴۲ از قوانین اندیشهاش در متنی بلند و نافذ به کار رفت که ارزش مطالعه دارد. این مفهوم، احتمالا مستقلا توسط بول در سال ۱۸۴۷ کشف‌شده، نقشی حیاتی در فلسفه منطق‌اش، به خصوص در اصل خیره‌کننده مرجع کل گرای او بازی کرد. یک پایگاه داده، مدلی از نمودی از واقعیت یک سازمان است. این‌که این واقعیت را «جهان سخن» بگوییم یا «دامنه سخن»، قابل مناقشه است.

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