发送短信: On Galois correspondences in formal logic