#mathematical uniqueness #unique quantifier #logical symbols #exists unique #distinct element #symbolic logic #proof symbol