Nhắn tin cho văn bản này: Logic hình thức