\mathh{Q} \forall \aleph_0 \mathbb{N}