“There exists at least one X that …” is what logicians have settled on as the most easily satisfiable and least objectionable phrasing.
“There exists at least one X that …” is what logicians have settled on as the most easily satisfiable and least objectionable phrasing.