The notion of existence in formal logic isn't the same as what it means generally, nor are the notions of proof and truth the same. In a formal setting, proof i

The notion of existence in formal logic isn't the same as what it means generally, nor are the notions of proof and truth the same. In a formal setting, proof is a sequence of symbols accepted by a formal system, and "exists" means you have a structure verifiable by that system using proof.