#exists exactly one #unique existence #mathematical uniqueness #formal logic #singularity symbol #one solution