Kiểm tra xem cụm từ sau đây có phải là một công thức được hình thành tốt không
∃x P(x)
Đúng, đây là một công thức tốt trong toán học. Cụm từ này có nghĩa là "tồn tại ít nhất một phần tử x sao cho P(x) là đúng", trong đó P(x) là một mệnh đề về x.<|end_of_text|>