6.8.5 Set theory

Problem: Prove that there exists such a maximal (by inclusion) set \( A \subseteq \mathbb{R} \) that \[ \forall a, a^{\prime} \in A, a-a^{\prime} \notin Q \text { when } a \neq a^{\prime} \text {. } \]