losetorain@tg says to 電訊台 "akhually, clerk, the rational numbers are the elements of the countable set such that ⇒⇒⇒⇒⇒⊃⊃⊃≡ 3 ∧ ∧ ∧ ¬P v Q ∧ P + ⊕PQP ⇔ 𝔻 ⊥ ⊥ ⊥ T ∃ ¬P ∧ P ⊨ ⊨ ⊢ ( )"