خیر، درست است که بین هر دو عدد گنگ، یک عدد گویا هست ولی شما پیشنیاز اولیهٔ بحث چگال بودن یک مجموعه در یک مجموعهٔ دیگر، یعنی زیرمجموعه بودن یکمی دو دومی را از قلم انداختهاید! چون اعداد گویا زیرمجموعهٔ اعداد گنگ نیستند (اصلا اشتراک ندارند) پس اصلا بحث چگال بودنی هم در کار نیست.
