there is an x such that

[ریاضیات] یک x وجود دارد که