The semantics of a formal system rich enough to contain elementary mathematics cannot be fully defin...