اعداد گویا یکی از مجموعه‌های بنیادی اعداد در ریاضیات هستند. هر عددی که بتوان آن را به‌صورت نسبت دو عدد صحیح با مخرج ناصفر نوشت، یک عدد گویا است. مجموعه اعداد گویا با نماد \( \mathbb{Q} \) نمایش داده می‌شود و به‌صورت زیر تعریف می‌شود:
$$ \mathbb{Q} = \left\{ \frac{p}{q} \;\middle|\; p,q\in\mathbb{Z},\ q\neq0 \right\} $$
اعداد صحیح نیز گویا هستند، زیرا هر عدد صحیح \(n\) را می‌توان به شکل \(n/1\) نوشت. نمایش اعشاری یک عدد گویا یا متناهی است یا از یک الگوی دوره‌ای پیروی می‌کند؛ برای مثال \(0.75\) و \(0.\overline{3}\) هر دو گویا هستند.
اعداد گویا تحت جمع، تفریق و ضرب بسته‌اند و تقسیم دو عدد گویا نیز، به شرط آنکه مقسوم‌علیه صفر نباشد، عددی گویا به دست می‌دهد. همچنین \( \mathbb{Q} \) یک میدان مرتب است و بین هر دو عدد حقیقی متفاوت، بی‌نهایت عدد گویا وجود دارد؛ بااین‌حال مجموعه اعداد گویا نسبت به فاصله معمول کامل نیست.