6.8.5 Теория множеств

условие: Доказать, что существует максимальное (по включению) множество \( A \subseteq \mathbb{R} \) такое, что \[ \forall a, a^{\prime} \in A, a-a^{\prime} \notin Q \text { при } a \neq a^{\prime} . \]