A formal system that requires quantification over a domain carries commitment to that domain's exist...