發送短信: On Galois correspondences in formal logic